tag:blogger.com,1999:blog-7506593179569894775.post1622563883532113617..comments2023-06-19T08:53:41.980-04:00Comments on Languages and Logic: LISP Prolog and EvolutionSami Badawihttp://www.blogger.com/profile/12508131380437723177noreply@blogger.comBlogger25125tag:blogger.com,1999:blog-7506593179569894775.post-54847498291621339232013-06-10T17:14:13.227-04:002013-06-10T17:14:13.227-04:00C was promoted as the language for system programm...C was promoted as the language for system programming, besides it was and still often is the intermediary language another higher language resolves to for portable cross compilation.<br /><br />As states and the precise sequencing of operations are paramount for drivers, IO protocols and network programming it is all too normal C thrived. <br /><br />On the other hand if one would have ported the cumbersome LISP machines programming model in a portable VM and successfully had run it over the Motorola 68000 and Intel 80386 architecture, history would have been different but maybe not so much as Smalltalk proved this model not so enduring, JMHO.Paul Bergerhttps://www.blogger.com/profile/09285216883101668551noreply@blogger.comtag:blogger.com,1999:blog-7506593179569894775.post-72231053303952572312013-06-05T10:07:43.048-04:002013-06-05T10:07:43.048-04:00Hi Matthias,
I want to work with Typed Racket, bu...Hi Matthias,<br /><br />I want to work with Typed Racket, but I am stuck with Scala and Haskell now. It is hard to say what is better, sometimes less is more.<br /><br />My point was not to put Lisp down, quite the contrary.<br />Sami Badawihttps://www.blogger.com/profile/12508131380437723177noreply@blogger.comtag:blogger.com,1999:blog-7506593179569894775.post-36749276854890508442013-06-05T10:00:15.596-04:002013-06-05T10:00:15.596-04:00p.s. And who says Lisp is dead? Perhaps Lisp 1.5 i...p.s. And who says Lisp is dead? Perhaps Lisp 1.5 is dead, but Lisp/Scheme/Clojure/Racket are very much alive.matthiashttps://www.blogger.com/profile/00000181081270224360noreply@blogger.comtag:blogger.com,1999:blog-7506593179569894775.post-79776710033542648932013-06-05T09:58:45.505-04:002013-06-05T09:58:45.505-04:00What makes you think Typed Racket's type syste...What makes you think Typed Racket's type system is not as powerful as Haskell's? How do you compare? <br /><br />Before you respond, please consider that Typed Racket has (1) occurrence typing [completely novel] (2) subtyping and 'true' unions (3) first-class polymorphic functions. It lacks abstract types (by choice) but has opaque structures. It lacks type classes but has a rich numeric tower and overloading where programmers can prove as much or more than in Haskell about their functions. <br /><br />-- Matthiasmatthiashttps://www.blogger.com/profile/00000181081270224360noreply@blogger.comtag:blogger.com,1999:blog-7506593179569894775.post-50195602101227780122013-06-04T13:22:12.125-04:002013-06-04T13:22:12.125-04:00Hi Bob,
s/fractions/factions/ done.
Thanks!
Hi Bob,<br /><br />s/fractions/factions/ done.<br /><br />Thanks!<br />Sami Badawihttps://www.blogger.com/profile/12508131380437723177noreply@blogger.comtag:blogger.com,1999:blog-7506593179569894775.post-43593324708495306992013-06-04T12:20:23.800-04:002013-06-04T12:20:23.800-04:00Too many fractions in the LISP world
s/fractions/...Too many fractions in the LISP world<br /><br />s/fractions/factions/Bobhttps://www.blogger.com/profile/02882434663178342942noreply@blogger.comtag:blogger.com,1999:blog-7506593179569894775.post-81945234387056768582013-06-03T09:39:16.836-04:002013-06-03T09:39:16.836-04:00Nice article!Nice article!Anonymoushttps://www.blogger.com/profile/14092995715129427780noreply@blogger.comtag:blogger.com,1999:blog-7506593179569894775.post-41874821319692981612013-05-30T09:33:29.407-04:002013-05-30T09:33:29.407-04:00Hi Oleg Kovalov,
By "Lowest common denominat...Hi Oleg Kovalov,<br /><br />By "Lowest common denominator wins" <br />I mean that things that dumbed down get popular.Sami Badawihttps://www.blogger.com/profile/12508131380437723177noreply@blogger.comtag:blogger.com,1999:blog-7506593179569894775.post-12269415052929464322013-05-30T08:15:11.940-04:002013-05-30T08:15:11.940-04:00"Lowest common denominator wins"
What d..."Lowest common denominator wins"<br /><br />What did You mean?Anonymoushttps://www.blogger.com/profile/04255472636367287997noreply@blogger.comtag:blogger.com,1999:blog-7506593179569894775.post-70467750355924190312013-05-30T08:14:34.359-04:002013-05-30T08:14:34.359-04:00This comment has been removed by the author.Anonymoushttps://www.blogger.com/profile/04255472636367287997noreply@blogger.comtag:blogger.com,1999:blog-7506593179569894775.post-63755198962947745332013-05-30T05:24:18.280-04:002013-05-30T05:24:18.280-04:00Great article!
@ Mg Zuil:
Nope AutoCAD *used* Lis...Great article!<br /><br />@ Mg Zuil:<br />Nope AutoCAD *used* Lisp as its macro language, it still does. Interpreted at first and later a compiler added. The built-in Lisp interpreted was actually stolen from XLisp 1.0 in the early 80's. Later a 3rd party created the VitalLisp extensions + compiler which AutoDesk then bought and renamed VisualLisp (which is the current built-in Lisp engine).<br /><br />AutoCAD itself was written in C and later (mid 1990's) C++. Unknownhttps://www.blogger.com/profile/14033215122995595548noreply@blogger.comtag:blogger.com,1999:blog-7506593179569894775.post-71509982064306580092013-05-26T10:59:40.020-04:002013-05-26T10:59:40.020-04:00AutoCAD was Lisp. I speculate it was changes to C ...AutoCAD was Lisp. I speculate it was changes to C for lack of programmers.Anonymoushttps://www.blogger.com/profile/02712881391480886172noreply@blogger.comtag:blogger.com,1999:blog-7506593179569894775.post-77097760979065284412013-05-24T01:14:31.822-04:002013-05-24T01:14:31.822-04:00In the early days, vastly more people were financi...In the early days, vastly more people were financially successful with Fortran and C than with Lisp.<br /><br />Newcomers copied what others did successfully before, including the languages they used. Rince repeat, and you have exponential growth. Game Over for Lisp.<br /><br />It has nothing to do with the language. Case in point: the sudden popularity of Objective-C because of early financial success with iPhone application. Before then close to nobody used Objective-C. Now it is in the top 5 according to some measures.<br /><br />Again, it has nothing to do with the quality/features of the language.<br /><br />Another example: the sudden popularity of Javascript the moment a few successful websites started using it for "desktop like" applications.<br /><br />Not to mention PHP. Same thing.<br /><br />What it takes Lisp/Clojure to "win": write financially successful software using those languages. Make it will known that those application were written in Lisp/Clojure. Do it a lot. Game Won.<br />Morten Brodersenhttps://www.blogger.com/profile/12960208294305724095noreply@blogger.comtag:blogger.com,1999:blog-7506593179569894775.post-73027896033379069202013-05-21T17:47:43.110-04:002013-05-21T17:47:43.110-04:00I think part of C/C++ success vs Lisp is that a lo...<br /> I think part of C/C++ success vs Lisp is that a lot of graduates students in the 70's and 80's were funded by ATT ( Berkeley Year on Campus program for example). So not to bight the hand the feeds a lot of them ended up using C and C++ at Berkeley and at other schools. Then they migrated in Silicon Valley and companies like Sun, Apple and HP.<br />Also, the West coast C users had more successful companies than the ones back in Boston that favored Lisp, Scheme etc. Intel and Sun succeeded while Symbolics etc failed.hasknewbiehttps://www.blogger.com/profile/06922852978321097200noreply@blogger.comtag:blogger.com,1999:blog-7506593179569894775.post-66661724606664186812013-05-21T11:45:35.348-04:002013-05-21T11:45:35.348-04:00Lisp failed because it didn't became default l...Lisp failed because it didn't became default language for popular platform, http://slobodanblazeski.blogspot.com/2010/05/becoming-popular.htmlSlobodan Blazeskihttps://www.blogger.com/profile/03330021974453479123noreply@blogger.comtag:blogger.com,1999:blog-7506593179569894775.post-78782254076749475382013-05-21T11:03:55.409-04:002013-05-21T11:03:55.409-04:00This post has been proof read by crowd sourcing.This post has been proof read by crowd sourcing.Sami Badawihttps://www.blogger.com/profile/12508131380437723177noreply@blogger.comtag:blogger.com,1999:blog-7506593179569894775.post-79572558253728607522013-05-20T16:16:06.035-04:002013-05-20T16:16:06.035-04:00s/Dawkings/Dawkins/g
done.
Thanks AndroidStudent
s/Dawkings/Dawkins/g<br />done.<br />Thanks AndroidStudent<br />Sami Badawihttps://www.blogger.com/profile/12508131380437723177noreply@blogger.comtag:blogger.com,1999:blog-7506593179569894775.post-86625741992791077742013-05-20T16:05:33.566-04:002013-05-20T16:05:33.566-04:00s/Dawkings/Dawkins/gs/Dawkings/Dawkins/gJeff Caldwellhttps://www.blogger.com/profile/09327150070463404957noreply@blogger.comtag:blogger.com,1999:blog-7506593179569894775.post-71159158043030692782013-05-19T18:04:52.222-04:002013-05-19T18:04:52.222-04:00Hi Manuel,
Thanks for all the spelling tips.
Of ...Hi Manuel,<br /><br />Thanks for all the spelling tips. <br />Of course the one post I rushed out the door is the one that gets picked up by Reddit while I am without internet connection for 3 days.<br />I was horrified when I read my abysmal English, which of course is not my first language.<br /><br /><br />I am old school. Writing it like John McCarthy and David Nolen. :-)<br />Sami Badawihttps://www.blogger.com/profile/12508131380437723177noreply@blogger.comtag:blogger.com,1999:blog-7506593179569894775.post-71159757911005339932013-05-19T16:00:34.065-04:002013-05-19T16:00:34.065-04:00s/LIPS/LISP/g
I had fixed a couple manually.
I usu...s/LIPS/LISP/g<br />I had fixed a couple manually.<br />I usually spend more time proofreading. I wanted to get this post out close to the meetup.<br />Sami Badawihttps://www.blogger.com/profile/12508131380437723177noreply@blogger.comtag:blogger.com,1999:blog-7506593179569894775.post-41609297791790491882013-05-18T11:52:49.027-04:002013-05-18T11:52:49.027-04:00Another reason might be that Haskell crystallized ...Another reason might be that Haskell crystallized around 1998, and .... the Internet was well and thriving (what ever happened to the ML family???). Reminds me of FreeBSD fading into oblivion vs Linux.grant rettkehttps://www.blogger.com/profile/09439997834215273665noreply@blogger.comtag:blogger.com,1999:blog-7506593179569894775.post-53194828840354611882013-05-18T08:51:36.246-04:002013-05-18T08:51:36.246-04:00Typos just kill the reading pleasure
s/LIPS/LISP/g...Typos just kill the reading pleasure<br />s/LIPS/LISP/g<br /><br />CheersAnonymousnoreply@blogger.comtag:blogger.com,1999:blog-7506593179569894775.post-88481660272454494452013-05-18T05:22:33.569-04:002013-05-18T05:22:33.569-04:00It might seem like a banality, but actually Lisp i...It might seem like a banality, but actually Lisp is written "Lisp", not all capital "LISP". Just saying, since I think some people who read this post never really heard of Lisp before and will then think it's written "LISP".<br /><br />Also, little typo: "Partly by borrowing ideas from LIPS."<br /><br />Other than that, great post. I often wonder why there aren't more people using Lisp.<br />Funny is how people "decide" not to use Lisp because of it's syntax - whereas Lisp actually lacks syntax.<br /><br />People should stop judging things by its cover, so they can clearly see its power.Anonymoushttps://www.blogger.com/profile/00003414650710075241noreply@blogger.comtag:blogger.com,1999:blog-7506593179569894775.post-77833823483267898902013-05-18T05:20:14.406-04:002013-05-18T05:20:14.406-04:00This comment has been removed by the author.Anonymoushttps://www.blogger.com/profile/00003414650710075241noreply@blogger.comtag:blogger.com,1999:blog-7506593179569894775.post-14299242318397370982013-05-17T10:36:13.770-04:002013-05-17T10:36:13.770-04:00I enjoyed reading this. It was informative, especi...I enjoyed reading this. It was informative, especially your comments on Prolog and Haskell.Anonymousnoreply@blogger.com