Re: "Strong typing vs. strong testing"

Nick Keighley writes: > On 27 Sep, 20:29, p...@informatimago.com (Pascal J. Bourguignon) > wrote: >> If you start with the mindset of static type checking, you will consider >> that your types are checked and if the types at the interface of two >> modules matches you'll think that everything's o

Re: "Strong typing vs. strong testing"

TheFlyingDutchman writes: > In this example RG is passing a long literal greater than INT_MAX to a > function that takes an int and the compiler apparently didn't give a > warning about the change in value as it created the cast to an int, > even with the option -Wall (all warnings). I think it's

Re: The Modernization of Emacs: terminology buffer and keybinding

Twisted <[EMAIL PROTECTED]> writes: > The Windows world may have a fair bit to learn from the Unix world > about software reliability and QA, and also about better supporting > task automation. But not about user interface design for when tasks > are done manually. That's the point. Manual tasks

Re: The Modernization of Emacs: terminology buffer and keybinding

Falcolas <[EMAIL PROTECTED]> writes: > On Jun 22, 3:06 pm, Pascal Bourguignon <[EMAIL PROTECTED]> wrote: >> How do you call a Mac user interface that let a user work during 3 >> hours to do a simple modification to a MS-Word file that takes 15 >> seconds to do w

Re: The Modernization of Emacs: terminology buffer and keybinding

Twisted <[EMAIL PROTECTED]> writes: > On Jun 21, 12:09 pm, Robert Uhl <[EMAIL PROTECTED]> wrote: >> Twisted <[EMAIL PROTECTED]> writes: >> >> >> > I have that exact URL now -- >> >> >http://www.asktog.com/columns/027InterfacesThatKill.html >> >> >> Utterly unrelated to Emacs. >> >> > I think it is

Re: I need some cleanings tips and advice.

Neil Cerutti <[EMAIL PROTECTED]> writes: > ["Followup-To:" header set to comp.lang.python.] > On 2007-06-22, Colin B. <[EMAIL PROTECTED]> wrote: >> In comp.lang.perl.misc [EMAIL PROTECTED] wrote: >>> Me and my buddy made a website called www.stupidpinheads.com, its >>> basically a free forum and

Re: I need some cleanings tips and advice.

"Colin B." <[EMAIL PROTECTED]> writes: > In comp.lang.perl.misc [EMAIL PROTECTED] wrote: >> Me and my buddy made a website called www.stupidpinheads.com, its >> basically a free forum and free blog driven web site dedicated as a >> source people can goto to find out how to clean and remove stains

Re: merits of Lisp vs Python

"Rob Thorpe" <[EMAIL PROTECTED]> writes: > Anders J. Munch wrote: >> jayessay wrote: >> > Please note: GC is not part of CL's definition. It is likely not part >> > of any Lisp's definition (for reasons that should be obvious), and for >> > the same reasons likely not part of any language's def

Re: merits of Lisp vs Python

Paul Rubin writes: > André Thieme <[EMAIL PROTECTED]> writes: >> and the Lisp version has only 9: >> nth, 1+, truncate, signum, num, list, pos, zero, neg > > Oh come on, you have to count the parentheses too. No. Parentheses are editor commands. They don't count anymor

Re: merits of Lisp vs Python

Christophe <[EMAIL PROTECTED]> writes: > Robert Uhl a écrit : >> [EMAIL PROTECTED] (Aahz) writes: >>> Consider this: Lisp has had years of development, it has had millions of >>> dollars thrown at it by VC firms -- and yet Python is winning over Lisp >>> programmers. Think about it. >> >> The arg

Re: merits of Lisp vs Python

Kirk Sluder <[EMAIL PROTECTED]> writes: > In article <[EMAIL PROTECTED]>, > "mystilleef" <[EMAIL PROTECTED]> wrote: > >> 1). More and better mature standard libraries (Languages don't matter, >> libraries do). > >> On Lisp Macros: >> >> I think they are overrated, and in general cause more

Re: merits of Lisp vs Python

[EMAIL PROTECTED] writes: > However, it is nice to work > with friends, who know Python and not Lisp.) It would be nicer a friendship if you taught them Lisp... -- __Pascal Bourguignon__ http://www.informatimago.com/ In a World without Walls and Fences, who needs Windows an

Re: What is a type error?

Chris Smith <[EMAIL PROTECTED]> writes: > But the point here is that I don't WANT the compiler to be able to infer > that, because it's a transient consequence of this year's tax code. I > want the compiler to make sure my code works no matter what the tax code > is. The last thing I need to

Re: languages with full unicode support

Joachim Durchholz <[EMAIL PROTECTED]> writes: > Oliver Bandel schrieb: >> Matthias Blume wrote: >> >>> Tin Gherdanarra <[EMAIL PROTECTED]> writes: >>> >>> Oliver Bandel wrote: > こんいちわ Xah-Lee san ;-) Uhm, I'd guess that Xah is Chinese. Be careful with such things in r

Re: What is Expressiveness in a Computer Language

"Marshall" <[EMAIL PROTECTED]> writes: > Yes, an important question (IMHO the *more* important question > than the terminology) is what *programs* do we give up if we > wish to use static typing? I have never been able to pin this > one down at all. Well, given Turing Machine equivalence... I'd m

Re: What is Expressiveness in a Computer Language

Matthias Blume <[EMAIL PROTECTED]> writes: > Pascal Bourguignon <[EMAIL PROTECTED]> writes: > >> Matthias Blume <[EMAIL PROTECTED]> writes: >> >>> Pascal Bourguignon <[EMAIL PROTECTED]> writes: >>> >>>> Moreover, a good p

Re: What is Expressiveness in a Computer Language

"Marshall" <[EMAIL PROTECTED]> writes: > Pascal Costanza wrote: >> >> Consider a simple expression like 'a + b': In a dynamically typed >> language, all I need to have in mind is that the program will attempt to >> add two numbers. In a statically typed language, I additionally need to >> know tha

Re: What is Expressiveness in a Computer Language

Matthias Blume <[EMAIL PROTECTED]> writes: > Pascal Bourguignon <[EMAIL PROTECTED]> writes: > >> Moreover, a good proportion of the program and a good number of >> algorithms don't even need to know the type of the objects they >> manipulate. >> >

Re: What is Expressiveness in a Computer Language

Pascal Costanza <[EMAIL PROTECTED]> writes: > Andreas Rossberg wrote: >> Pascal Costanza wrote: >>> >>> Consider a simple expression like 'a + b': In a dynamically typed >>> language, all I need to have in mind is that the program will >>> attempt to add two numbers. In a statically typed language

Re: What is Expressiveness in a Computer Language

Andreas Rossberg <[EMAIL PROTECTED]> writes: > Pascal Costanza wrote: >> Consider a simple expression like 'a + b': In a dynamically typed >> language, all I need to have in mind is that the program will >> attempt to add two numbers. In a statically typed language, I >> additionally need to know

Re: What is Expressiveness in a Computer Language

Joachim Durchholz <[EMAIL PROTECTED]> writes: > Raffael Cavallaro schrieb: >> a program which would be perfectly permissible in a dynamically >> typed language such as common lisp - for example - heterogeneous >> lists and forward references to as yet non-existent functions. > > Um... heterogenous

Re: The Nature of the “Unix Philosophy”

Frank Silvermann <[EMAIL PROTECTED]> writes: > Nils O. Selåsdal wrote: >> Xah Lee wrote: >>> The Nature of the “Unix Philosophy” > [snip] > >> Perhaps you should take a peek at the ideas in Plan 9 from Bell Labs, >> which is a continuation of this philosophy, unlike the "modern" unix >> clones. >

Re: Software Needs Philosophers

John D Salt writes: > <[EMAIL PROTECTED]> wrote in news:[EMAIL PROTECTED]: > > [Snips] >> Wrong. We live in a paradise of ideas and possibilities well beyond the >> wildest dreams of only 20 years ago. > > What exciting new ideas exist in software that are both important and > cannot be traced b

Re: Software Needs Philosophers

"SamFeltus" <[EMAIL PROTECTED]> writes: > Software needs philosophers is an interesting point, perhaps the most > important function of Philosophers is exposing Sacred Cows as just > Cattle. As I see it philosophers have a big problem: nobody need them, so they're out of job. That's why we see oc

Re: Tabs versus Spaces in Source Code

"Jonathon McKitrick" <[EMAIL PROTECTED]> writes: > Pascal Bourguignon wrote: >> (defun ιοτα (&key (номер 10) (단계 1) (בכוכ 0)) >> (loop :for i :from בכוכ :to номер :by 단계 :collect i)) > > How do you even *enter* these characters? My browser seems to trap

Re: Tabs versus Spaces in Source Code

Edmond Dantes <[EMAIL PROTECTED]> writes: > It all depends on your editor of choice. Emacs editing of Lisp (and a few > other languages, such as Python) makes the issue more or less moot. I > personally would recommend choosing one editor to use with all your > projects, and Emacs is wonderful in t

Re: Tabs versus Spaces in Source Code

"[EMAIL PROTECTED] opalinski from opalpaweb" <[EMAIL PROTECTED]> writes: >> Simply put, tabs is proper, and spaces are improper. >> Why? This may seem >> ridiculously simple given the de facto ball of confusion: the semantics >> of tabs is what indenting is about, while, using spaces to align code

Re: Programming challenge: wildcard exclusion in cartesian products

Mark Carter <[EMAIL PROTECTED]> writes: > I'd like to propose a coding challenge of my own. The challenge is to > reproduce the TEA (Tiny Encryption Algorith): > http://www.simonshepherd.supanet.com/tea.htm > in your language of choice. > > Here's the code, just two simple functions: > > void enci

Re: Xah's Edu Corner: Tech Geekers and their Style

"Xah Lee" <[EMAIL PROTECTED]> writes: > Sometimes you want your text to flow into multiple columns, as in > newspaper's layout. However, as of 2005-12 this is not yet possible. > One can make-do by hard-coding it into HTML TABLE using multiple > columns. It is a pain because when you change your t

Re: Xah's Edu Corner: Responsible Software Licensing

"Xah Lee" <[EMAIL PROTECTED]> writes: > As i've indicated in the Responsible Licensing article, that today's > software come with disclaimers that essentially say the producer is not > liable even if the software don't work at all. It will be hard to > change this zero responsibility stance to a 1

Re: Xah's Edu Corner: Examples of Quality Technical Writing

"Xah Lee" <[EMAIL PROTECTED]> writes: > i had the pleasure to read the PHP's manual today. > > http://www.php.net/manual/en/ > > although Pretty Home Page is another criminal hack of the unix lineage, > but if we are here to judge the quality of its documentation, it is a > impeccability. > > it h

Re: Can python 'read disk sectors' like/via linux:dd ?

Tauno Voipio <[EMAIL PROTECTED]> writes: > Pascal Bourguignon wrote: > >> In unix, disks are files like any other file. So if your programming >> language allows you to read and write files, it allows you to read and >> write disks. >> Just write the equiv

Re: Can python 'read disk sectors' like/via linux:dd ?

[EMAIL PROTECTED] writes: > Hi, > in order to justify learning another language I'd first need to be convinced > that python could easily do the following:- > > ReadSectors2Bufr(hdx, StartSectr, SectrCnt, Bufr); <-- like linux: dd > PrintDecOf4Bytes(Offset, Bufr); <-- and also 1 and 2 byte v

Re: Jargons of Info Tech industry

Roedy Green <[EMAIL PROTECTED]> writes: > 3. You don't have to guess what the end user will see. If you include the fonts, which makes big documents which slows down the loading and rendering... I've seen quite a number of PDF that are ill-rendered or not rendered at all. -- "You cannot really

Re: Lisp-likeness

[EMAIL PROTECTED] (Peter Lewerin) writes: > Fred Gilham <[EMAIL PROTECTED]> wrote > > > > And Lisp's "macro language" isn't involved at all here. > > > Also, #' is a read-macro. > > A read-macro and a macro aren't the same thing. > > > Then there's the "defun" macro . . . . > > There is IMHO

Re: what's OOP's jargons and complexities?

"Larry" <[EMAIL PROTECTED]> writes: > Xah Lee wrote: > > in computer languages, often a function definition looks like this: > > > [EMAIL PROTECTED] > > http://xahlee.org/PageTwo_dir/more.html > > Your ideas are original, insightful and simply reflect incredibly deep > creative genius. I have