Re: What is a type error?

2006-07-14 Thread George Neuner
On 13 Jul 2006 08:45:49 -0700, "Marshall" <[EMAIL PROTECTED]> wrote: > >On the other hand, there is no problem domain for which pointers >are a requirement. I agree they are deucedly convenient, though. > I would argue that pointers/references _are_ a requirement for I/O. I know of no workable me

Re: Xah Lee network abuse

2006-06-11 Thread George Neuner
On Sun, 11 Jun 2006 06:05:22 GMT, "Mike Schilling" <[EMAIL PROTECTED]> wrote: > >"Philippa Cowderoy" <[EMAIL PROTECTED]> wrote in message >news:[EMAIL PROTECTED] >> On Sun, 11 Jun 2006, Mike Schilling wrote: >> >>> I'm not aware of any definition of libel that includes "making statements >>> that

Re: What is Expressiveness in a Computer Language

2006-06-19 Thread George Neuner
On 19 Jun 2006 10:19:05 +0200, [EMAIL PROTECTED] (Torben Ægidius Mogensen) wrote: >If you don't have definitions (stubs or complete) of the functions you >use in your code, you can only run it up to the point where you call >an undefined function. So you can't really do much exploration until >y

Re: What is Expressiveness in a Computer Language

2006-06-19 Thread George Neuner
On 19 Jun 2006 13:53:01 +0200, [EMAIL PROTECTED] (Torben Ægidius Mogensen) wrote: >George Neuner writes: > >> On 19 Jun 2006 10:19:05 +0200, [EMAIL PROTECTED] (Torben Ægidius >> Mogensen) wrote: > >> >I expect a lot of the exploration you do with incomplete progr

Re: What is Expressiveness in a Computer Language

2006-06-20 Thread George Neuner
On Mon, 19 Jun 2006 22:02:55 + (UTC), Dimitri Maziuk <[EMAIL PROTECTED]> wrote: >Yet Another Dan sez: > >... Requiring an array index to be an integer is considered a typing >> problem because it can be checked based on only the variable itself, >> whereas checking whether it's in bounds req

Re: What is Expressiveness in a Computer Language

2006-06-21 Thread George Neuner
On Wed, 21 Jun 2006 16:12:48 + (UTC), Dimitri Maziuk <[EMAIL PROTECTED]> wrote: >George Neuner sez: >> On Mon, 19 Jun 2006 22:02:55 + (UTC), Dimitri Maziuk >><[EMAIL PROTECTED]> wrote: >> >>>Yet Another Dan sez: >>> >>>... Requ

Re: What is Expressiveness in a Computer Language

2006-06-21 Thread George Neuner
On 21 Jun 2006 15:04:23 -0700, "Greg Buchholz" <[EMAIL PROTECTED]> wrote: >I haven't been following this thread too closely, but I thought the >following article might be of interest... > >Eliminating Array Bound Checking through Non-dependent types. >http://okmij.org/ftp/Haskell/types.html#br

Re: What is Expressiveness in a Computer Language

2006-06-25 Thread George Neuner
On 22 Jun 2006 08:42:09 -0700, [EMAIL PROTECTED] wrote: >Darren New schrieb: >> I'm pretty sure in Pascal you could say >> >> Type Apple = Integer; Orange = Integer; >> and then vars of type apple and orange were not interchangable. > >No, the following compiles perfectly fine (using GNU Pascal):

Re: What is Expressiveness in a Computer Language

2006-06-25 Thread George Neuner
On Sun, 25 Jun 2006 13:42:45 +0200, Joachim Durchholz <[EMAIL PROTECTED]> wrote: >George Neuner schrieb: >> The point is really that the checks that prevent these things must be >> performed at runtime and can't be prevented by any practical type >> analysis perfo

Re: What is Expressiveness in a Computer Language

2006-06-26 Thread George Neuner
On Sun, 25 Jun 2006 14:28:22 -0600, Chris Smith <[EMAIL PROTECTED]> wrote: >George Neuner wrote: >> >Undecidability can always be avoided by adding annotations, but of >> >course that would be gross overkill in the case of index type widening. >> >>

Re: What is Expressiveness in a Computer Language

2006-06-27 Thread George Neuner
On Mon, 26 Jun 2006 13:02:33 -0600, Chris Smith <[EMAIL PROTECTED]> wrote: >George Neuner wrote: > >> I worked in signal and image processing for many years and those are >> places where narrowing conversions are used all the time - in the form >> of floating

Re: What is a type error?

2006-07-09 Thread George Neuner
On Mon, 26 Jun 2006 11:49:51 -0600, Chris Smith <[EMAIL PROTECTED]> wrote: >Pascal Costanza <[EMAIL PROTECTED]> wrote: > >> This is maybe better understandable in user-level code. Consider the >> following class definition: >> >> class Person { >>String name; >>int age; >> >>void bu

Re: What is a type error?

2006-07-11 Thread George Neuner
On Tue, 11 Jul 2006 14:59:46 GMT, David Hopwood <[EMAIL PROTECTED]> wrote: >What matters is that, over the range >of typical programs written in the language, the value of the increased >confidence in program correctness outweighs the effort involved in both >adding annotations, and understanding

Re: is laziness a programer's virtue?

2007-04-17 Thread George Neuner
On 17 Apr 2007 08:20:24 -0700, Ingo Menger <[EMAIL PROTECTED]> wrote: >On 17 Apr., 12:33, Markus E Leypold ><[EMAIL PROTECTED]> wrote: > >> What makes Xah a troll is neither off-topic posts nor being >> incoherent -- its the attitude. He's broadcasting his drivel to a >> number of groups not with

Re: The Modernization of Emacs: terminology buffer and keybinding

2007-10-01 Thread George Neuner
On Tue, 02 Oct 2007 03:38:08 GMT, Roedy Green <[EMAIL PROTECTED]> wrote: >On Fri, 28 Sep 2007 18:27:04 -0500, Damien Kick <[EMAIL PROTECTED]> >wrote, quoted or indirectly quoted someone who said : > >>"free as in beer". > >but does not "free beer" nearly always come with a catch or implied >obli

Re: The Modernization of Emacs: terminology buffer and keybinding

2007-10-01 Thread George Neuner
On Tue, 02 Oct 2007 01:16:25 +0100, [EMAIL PROTECTED] wrote: >Ken Tilton wrote: >> Kenny happened to solve the traveling >> salesman problem and protein-folding and passed the fricking Turing test >> by using add-42 wherever he needed 42 added to a number, and RMS wants >> credit and ownership

Re: The Modernization of Emacs: terminology buffer and keybinding

2007-10-03 Thread George Neuner
On Wed, 3 Oct 2007 09:36:40 + (UTC), [EMAIL PROTECTED] (Bent C Dalager) wrote: >In article <[EMAIL PROTECTED]>, David Kastrup <[EMAIL PROTECTED]> wrote: >>[EMAIL PROTECTED] (Bent C Dalager) writes: >> >>> In article <[EMAIL PROTECTED]>, >>> Frank Goenninger <[EMAIL PROTECTED]> wrote: >>

Re: The Modernization of Emacs: terminology buffer and keybinding

2007-10-03 Thread George Neuner
On Wed, 3 Oct 2007 18:20:38 + (UTC), [EMAIL PROTECTED] (Bent C Dalager) wrote: >In article <[EMAIL PROTECTED]>, >George Neuner wrote: >>On Wed, 3 Oct 2007 09:36:40 + (UTC), [EMAIL PROTECTED] (Bent C >>Dalager) wrote: >> >>> >>>Only if yo

Re: The Modernization of Emacs: terminology buffer and keybinding

2007-10-03 Thread George Neuner
On Wed, 03 Oct 2007 23:07:32 +0100, [EMAIL PROTECTED] wrote: >George Neuner wrote: >> Symbolism over substance has become the mantra >> of the young. > >"Symbolism: The practice of representing things by means of symbols or >of attributing symbolic meanings or signif

Re: The fundamental concept of continuations

2007-10-09 Thread George Neuner
On Tue, 09 Oct 2007 05:15:49 -, [EMAIL PROTECTED] wrote: >Again I am depressed to encounter a fundamentally new concept that I >was all along unheard of. Its not even in paul graham's book where i >learnt part of Lisp. Its in Marc Feeley's video. > >Can anyone explain: > >(1) its origin Lambd

Re: The fundamental concept of continuations

2007-10-11 Thread George Neuner
On Wed, 10 Oct 2007 12:49:58 +0200, David Kastrup <[EMAIL PROTECTED]> wrote: >[EMAIL PROTECTED] writes: > >> Again I am depressed to encounter a fundamentally new concept that I >> was all along unheard of. Its not even in paul graham's book where i >> learnt part of Lisp. Its in Marc Feeley's vid

Re: The fundamental concept of continuations

2007-10-14 Thread George Neuner
On Mon, 15 Oct 2007 11:56:39 +1300, Lawrence D'Oliveiro <[EMAIL PROTECTED]> wrote: >In message <[EMAIL PROTECTED]>, Barb Knox wrote: > >> Instead of function A returning to its caller, the >> caller provides an additional argument (the "continuation") which is a >> function B to be called by A wit

Re: Distributed RVS, Darcs, tech love

2007-10-20 Thread George Neuner
On Sun, 21 Oct 2007 01:20:47 -, Daniel Pitts <[EMAIL PROTECTED]> wrote: >On Oct 20, 2:04 pm, llothar <[EMAIL PROTECTED]> wrote: >> > I love math. I respect Math. I'm nothing but a menial servant to >> > Mathematics. >> >> Programming and use cases are not maths. Many mathematics are >> the wor

Re: TeX pestilence (was Distributed RVS, Darcs, tech love)

2007-10-22 Thread George Neuner
On Mon, 22 Oct 2007 05:50:30 -0700, Xah Lee <[EMAIL PROTECTED]> wrote: >TeX, in my opinion, has done massive damage to the computing world. > >i have written on this variously in emails. No coherent argument, but >the basic thoughts are here: >http://xahlee.org/cmaci/notation/TeX_pestilence.html

Re: Choosing a new language

2007-12-28 Thread George Neuner
On Fri, 28 Dec 2007 12:54:57 -0800, John Nagle <[EMAIL PROTECTED]> wrote: >Actually, the ability to "fix a running program" [in Lisp] isn't >that useful in real life. It's more cool than useful. Editing a >program from a break was more important back when computers were slower >and just rer

Re: Choosing a new language

2007-12-30 Thread George Neuner
On Fri, 28 Dec 2007 22:07:12 -0800 (PST), [EMAIL PROTECTED] wrote: >Ada is airline/dod blessed. Airline blessed maybe. The DOD revoked its Ada only edict because they couldn't find enough Ada programmers. AFAIK, Ada is still the preferred language, but it is not required. George -- for email r

Re: DEK's birthday

2008-01-12 Thread George Neuner
On Sat, 12 Jan 2008 12:03:49 -0800 (PST), [EMAIL PROTECTED] wrote: >On Jan 10, 9:57 am, Jim <[EMAIL PROTECTED]> wrote: >> DEK celebrates 70 today. >> >> I doubt he'll read this but I'll say it anyway: Happy Birthday! >> >> Jim Hefferon > >Donald Knuth is a son of a bitch who made a lot of money fr

Re: Mathematica 7 compares to other languages

2008-12-08 Thread George Neuner
On Sun, 7 Dec 2008 14:53:49 -0800 (PST), Xah Lee <[EMAIL PROTECTED]> wrote: >The phenomenon of creating code that are inefficient is proportional >to the highlevelness or power of the lang. In general, the higher >level of the lang, the less possible it is actually to produce a code >that is as ef

Re: Mathematica 7 compares to other languages

2008-12-12 Thread George Neuner
On Wed, 10 Dec 2008 21:37:34 + (UTC), Kaz Kylheku wrote: >Now try writing a device driver for your wireless LAN adapter in Mathematica. Notice how Xah chose not to respond to this. George -- http://mail.python.org/mailman/listinfo/python-list

Re: Mathematica 7 compares to other languages

2008-12-12 Thread George Neuner
On Thu, 11 Dec 2008 10:41:59 -0800 (PST), Xah Lee wrote: >On Dec 10, 2:47 pm, John W Kennedy wrote: >> Xah Lee wrote: >> > In lisp, python, perl, etc, you'll have 10 or so lines. In C or Java, >> > you'll have 50 or hundreds lines. >> >> C: >> >> #include >> #include >> >> void normal(int dim,

Re: Mathematica 7 compares to other languages

2008-12-12 Thread George Neuner
On Mon, 8 Dec 2008 15:14:18 -0800 (PST), Xah Lee wrote: >Dear George Neuner, > >Xah Lee wrote: >> >For example, >> >the level or power of lang can be roughly order as >> >this: >> >> >assembly langs >> >C, pascal >> &

Re: Python's doc problems: sort

2008-05-02 Thread George Neuner
On Wed, 30 Apr 2008 12:35:10 +0200, "John Thingstad" <[EMAIL PROTECTED]> wrote: >PÃ¥ Wed, 30 Apr 2008 06:26:31 +0200, skrev George Sakkis ><[EMAIL PROTECTED]>: > >> >>\|||/ >> (o o) >> ,ooO--(_)---. >> | Please| >> | don't feed the | >> | TROLL's !

Re: The Importance of Terminology's Quality

2008-05-07 Thread George Neuner
On Wed, 7 May 2008 16:13:36 -0700 (PDT), "[EMAIL PROTECTED]" <[EMAIL PROTECTED]> wrote: >I'd like to introduce a blog post by Stephen Wolfram, on the design >process of Mathematica. In particular, he touches on the importance of >naming of functions. > >• Ten Thousand Hours of Design Reviews (200

Re: The Importance of Terminology's Quality

2008-05-08 Thread George Neuner
On Thu, 08 May 2008 03:25:54 -0700, [EMAIL PROTECTED] (Robert Maas, http://tinyurl.com/uh3t) wrote: >> From: "[EMAIL PROTECTED]" <[EMAIL PROTECTED]> >> the importance of naming of functions. > >> ... [take] a keyword and ask a wide >> audience, who doesn't know about the language or even unfamilia

Re: The Importance of Terminology's Quality

2008-05-09 Thread George Neuner
On Thu, 8 May 2008 22:38:44 -0700, "Waylen Gumbal" <[EMAIL PROTECTED]> wrote: >Sherman Pendley wrote: >> [EMAIL PROTECTED] writes: >> > >> > > PLEASE DO NOT | :.:\:\:/:/:.: >> > > FEED THE TROLLS | :=.' - - '.=: >> > >> > I don't think Xah is trolling here (contrary to his/her habit) >> > but posi

Re: The Importance of Terminology's Quality

2008-05-10 Thread George Neuner
On Fri, 09 May 2008 22:45:26 -0500, [EMAIL PROTECTED] (Rob Warnock) wrote: >George Neuner wrote: > >>On Wed, 7 May 2008 16:13:36 -0700 (PDT), "[EMAIL PROTECTED]" >><[EMAIL PROTECTED]> wrote: > >>>• Functions [in Mathematica] that takes elements

Re: implementation for Parsing Expression Grammar?

2008-05-10 Thread George Neuner
On Fri, 9 May 2008 22:52:30 -0700 (PDT), "[EMAIL PROTECTED]" <[EMAIL PROTECTED]> wrote: >In the past weeks i've been thinking over the problem on the practical >problems of regex in its matching power. For example, often it can't >be used to match anything of nested nature, even the most simple >n

Re: The Importance of Terminology's Quality

2008-08-22 Thread George Neuner
On Thu, 21 Aug 2008 02:30:27 GMT, [EMAIL PROTECTED] wrote: >On Wed, 20 Aug 2008 21:18:22 -0500, [EMAIL PROTECTED] (Rob Warnock) wrote: > >>Martin Gregorie <[EMAIL PROTECTED]> wrote: >>+--- >>| I was fascinated, though by the designs of early assemblers: I first >>| learnt Elliott ass

Re: The Importance of Terminology's Quality

2008-09-01 Thread George Neuner
On Mon, 1 Sep 2008 21:03:44 + (UTC), Martin Gregorie <[EMAIL PROTECTED]> wrote: >On Mon, 01 Sep 2008 12:04:05 -0700, Robert Maas, http://tinyurl.com/uh3t >wrote: > >>> From: George Neuner <[EMAIL PROTECTED]> A friend of mine had an >>> early 8080 micro

Re: NoSQL Movement?

2010-03-04 Thread George Neuner
On Thu, 04 Mar 2010 18:51:21 +0200, Juan Pedro Bolivar Puente wrote: >On 04/03/10 16:21, ccc31807 wrote: >> On Mar 3, 4:55 pm, toby wrote: where you have to store data and >>> >>> "relational data" >> >> Data is neither relational nor unrelational. Data is data. >> Relationships are an ar

Re: Which is the best implementation of LISP family of languages for real world programming ?

2010-06-12 Thread George Neuner
On Sat, 12 Jun 2010 18:57:08 +0300, "Antti \"Andy\" Ylikoski" wrote: >OT: (very Off Topic.) >I would not trust dolphins to take care of my investments. Why not? Remember the chimpanzee that picked stocks and beat many professional fund managers? http://www.marketwatch.com/story/dar

Re: Jewish Pirates of the Caribbean

2010-06-16 Thread George Neuner
On Wed, 16 Jun 2010 17:23:35 +0200, p...@informatimago.com (Pascal J. Bourguignon) wrote: >Kryno Bosman writes: >> Would you, please, be so nice to share *your* truth somewhere else? > >He has been long time ago kill-filed by everybody. > >Your quoting of his message puts you at risk of being

Re: C interpreter in Lisp/scheme/python

2010-07-08 Thread George Neuner
On Thu, 08 Jul 2010 10:39:45 +0200, p...@informatimago.com (Pascal J. Bourguignon) wrote: >Nick Keighley writes: >> Nick Keighley wrote: >>> Rivka Miller wrote: >> Anyone know what the first initial of L. Peter Deutsch stand for ? >>> >>> Laurence according to wikipedia (search time 2s) >>

Re: C interpreter in Lisp/scheme/python

2010-07-23 Thread George Neuner
On Fri, 23 Jul 2010 15:10:16 +0200, francogrex wrote: >Unfortunately many so-called experts in the field look down >on newbies and mistreat them (in any programming language forum), >forgetting in the process that they were also at a certain time >newbies until some gentle and nice enough teache

Re: multi-core software

2009-06-06 Thread George Neuner
On Fri, 05 Jun 2009 16:26:37 -0700, Roedy Green wrote: >On Fri, 5 Jun 2009 18:15:00 + (UTC), Kaz Kylheku > wrote, quoted or indirectly quoted someone who >said : > >>Even for problems where it appears trivial, there can be hidden >>issues, like false cache coherency communication where no act

Re: multi-core software

2009-06-09 Thread George Neuner
On Tue, 9 Jun 2009 10:47:11 -0700 (PDT), toby wrote: >On Jun 7, 2:41 pm, Jon Harrop wrote: >> Arved Sandstrom wrote: >> > Jon Harrop wrote: >> >> performance means mutable state. > >Hm, not sure Erlangers would wholly agree. Erlang uses quite a bit of mutable state behind the scenes ... the pro

Re: "Strong typing vs. strong testing"

2010-09-28 Thread George Neuner
On 28 Sep 2010 12:42:40 GMT, Albert van der Horst wrote: >I would say the dimensional checking is underrated. It must be >complemented with a hard and fast rule about only using standard >(SI) units internally. > >Oil output internal : m^3/sec >Oil output printed: kbarrels/day "barrel" is not a

Re: "Strong typing vs. strong testing"

2010-09-28 Thread George Neuner
On Tue, 28 Sep 2010 12:15:07 -0700, Keith Thompson wrote: >George Neuner writes: >> On 28 Sep 2010 12:42:40 GMT, Albert van der Horst >> wrote: >>>I would say the dimensional checking is underrated. It must be >>>complemented with a hard and fast rule about

Re: "Strong typing vs. strong testing"

2010-09-29 Thread George Neuner
On Wed, 29 Sep 2010 12:40:58 +0200, p...@informatimago.com (Pascal J. Bourguignon) wrote: >George Neuner writes: > >> On Tue, 28 Sep 2010 12:15:07 -0700, Keith Thompson >> wrote: >> >>>George Neuner writes: >>>> On 28 Sep 2010 12:42:40 GMT, Alber