From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me X-Spam-Level: X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00 autolearn=ham autolearn_force=no version=3.4.4 X-Google-Thread: 103376,fc52c633190162e0 X-Google-Attributes: gid103376,public X-Google-Language: ENGLISH,ASCII-7-bit Newsgroups: comp.lang.ada Subject: Re: why learn C? References: <1172144043.746296.44680@m58g2000cwm.googlegroups.com> <1172161751.573558.24140@h3g2000cwc.googlegroups.com> <546qkhF1tr7dtU1@mid.individual.net> <5ZULh.48$YL5.40@newssvr29.news.prodigy.net> <1175215906.645110.217810@e65g2000hsc.googlegroups.com> <1175230700.925143.28490@n59g2000hsh.googlegroups.com> <1btkgzzj6zimp.acsq8mkzqz1w$.dlg@40tude.net> <1175488143.324741.283480@y80g2000hsf.googlegroups.com> <9l1Rh.7648$%G4.3596@trndny05> From: Markus E Leypold Organization: N/A Date: Fri, 06 Apr 2007 13:01:59 +0200 Message-ID: User-Agent: Some cool user agent (SCUG) Cancel-Lock: sha1:MUjcjcUB1msb3BptfaWHFNaVxhU= MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii NNTP-Posting-Host: 88.72.236.129 X-Trace: news.arcor-ip.de 1175856888 88.72.236.129 (6 Apr 2007 12:54:48 +0200) X-Complaints-To: abuse@arcor-ip.de Path: g2news1.google.com!news3.google.com!proxad.net!212.101.4.254.MISMATCH!solnet.ch!solnet.ch!newsfeed.arcor-ip.de!news.arcor-ip.de!not-for-mail Xref: g2news1.google.com comp.lang.ada:14825 Date: 2007-04-06T13:01:59+02:00 List-Id: Ray Blaak writes: > Hyman Rosen writes: > >> jayessay wrote: >> > Please. You are embarassing yourself with this. >> >> I notice you have no comment on the lack of mind-numbingness >> in my C++ template primality tester. Given that you're wrong >> about C++, I have no trouble believing that you're wrong about >> Lisp as well. > > This is getting stupid. Jon probably knows both C++ templates and definitely > knows Lisp quite well. > > The fact that you can code up a Car/Cdr abstraction in some programming > notation does note make it lisp like. You can code these list abstractions in > any language you choose, and that does not make a lisp. Not to defend Hyman (who in the past was rather quick to call me "confused" when I discussed differences of C++ Templates vs. Ada generics and the consequences as I see them -- and yes, I'm sometimes a bit vengeful), but: Hymans point here was, I think that the list expressions are evaluated during compile time. Personally _I_ do not see the need for something like this (if I want to dabble in new type systems I write a compiler from an extended to the target language or I use something like Qi where even type checking is user programmable), but from that Hyman argues that Templates are "more powerful". Others denied this (the premise that Template expressions are "like Lisp") , so he brought this example. I have to admit that I didn't check Hymans example and it's limitations and I don't now templates well enough to do so in 2 minutes (and don't want to spent more time in anothe C++ vs. Ada thread -- the weather is too beautiful today), but it seemd to me that you have been missing the point that was made here. Is that possible? > What makes something a Lisp is a whole philosophy of symbolic, dynamic and > introspective (and protected!) programming that C++ simply is not natively > capable of. Also, Lisp's list syntax notation is also critical (Dylan be > damned!), as that syntax is what allows the whole "programs as data" paradigm > to practically work. I completely agree with that, though. Regards -- Markus PS: Perhaps this post was completely besides your point. I'm not sure. If so, please don't feel offended :-).