[fonc] Re: are lambda's closures?

2007-11-09 Thread Jakob Praher
Steve Folta schrieb: Aren't lambda's supposed to be closures, so that they can actually access variables defined in lexical scope? Unlike most other Lisps, lambdas in Jolt are *not* closures. Jolt's big insight is that a closureless Lisp makes a great portable assembly language (better than

[fonc] State of idst and a questions about the object-function-dichotomy

2009-04-27 Thread Jakob Praher
Dear List, as a lurker on this list, and generally interested in the topic at hand, I am asking myself lately what are the next plans regarding idst. I am interested in seeing this project progress! Those who have worked extensively with idst I am asking whether it wouldn't be easier to directly

[fonc] State of idst and a questions about the object-function-dichotomy

2009-04-27 Thread Jakob Praher
Dear List, as a lurker on this list, and generally interested in the topic at hand, I am asking myself lately what are the next plans regarding idst. I am interested in seeing this project progress! Those who have worked extensively with idst I am asking whether it wouldn't be easier to

Re: [fonc] Fonc on Mac Snow Leopard?

2010-05-08 Thread Jakob Praher
Hi Alan, just out of curiosity: I am wondering why VPRI is not aiming at a more community oriented style of innovation. Do you think the communcation effort is not worth the cost since you do not gain enough or even loose some freedom and / or speed by discussing archictural concepts more

Re: [fonc] Fonc on Mac Snow Leopard?

2010-05-09 Thread Jakob Praher
, Alan *From:* Jakob Praher j...@hapra.at *To:* fonc@vpri.org *Sent:* Sat, May 8, 2010 12:25:12 PM *Subject:* Re: [fonc] Fonc on Mac Snow Leopard? Hi Alan, just out of curiosity: I am wondering why VPRI is not aiming

Re: [fonc] Fonc on Mac Snow Leopard?

2010-05-09 Thread Jakob Praher
programs on the browser through lively? Am 09.05.10 23:41, schrieb Jakob Praher: Personally I was very excited about the Carl Hewitt's work on ActorScript [1] lately. IMHO something like Lively Kernel could provide the client infrastructure for this Client Cloud computing. What is your opinion

Re: [fonc] Alan Kay talk at HPI in Potsdam

2011-07-25 Thread Jakob Praher
Dear Alan, Dear List, the following very recent announcement might be of interest to this discussion: http://groups.google.com/group/mozilla.dev.platform/browse_thread/thread/7668a9d46a43e482 To quote Andreas et al.: Mozilla believes that the web can displace proprietary,

Re: [fonc] Alan Kay talk at HPI in Potsdam

2011-07-25 Thread Jakob Praher
Dear Alan, Dear List, the following very recent announcement might be of interest to this discussion: http://groups.google.com/group/mozilla.dev.platform/browse_thread/thread/7668a9d46a43e482 To quote Andreas et al.: Mozilla believes that the web can displace proprietary,

Re: [fonc] Alan Kay talk at HPI in Potsdam

2011-07-25 Thread Jakob Praher
On 07/25/2011 09:35 PM, Bert Freudenberg wrote: I did ask in that thread about exposing the CPU, a la NativeClient. (It's a usenet group so you can post without subscribing, nice) Short answer is that they don't see a need for it. I somehow have mixed feelings about NaCL. I think that safe

Re: [fonc] Ceres and Oberon

2011-08-30 Thread Jakob Praher
Am 30.08.11 21:46, schrieb Jakob Praher: Dear Eduardo, Thanks for sharing this. There is a great overlap between Alan's and Niklaus Wirth's sentiments. Very inspiring and to the point. Is anybody using Oberon currently as a working environment? @Alan: Can you remember the discussion

Re: [fonc] Ceres and Oberon

2011-08-30 Thread Jakob Praher
-use of abstraction : complicated since hard to see where the real stuff is going on Maybe it also has something to do with bottom up vs top down. Cheers. Jakob Cheers, Alan *From:* Jakob Praher j...@hapra.at

Re: [fonc] COLAs or CLOAs? : are lambda systems fundamentally simpler than object systems?

2012-02-12 Thread Jakob Praher
We would have to define what you mean by the term computation. Computation is a way to transform a language syntactically by defined rules. The lambda calculus is a fundamental way of performing such transformation via reduction rules (the alpha, beta, gamma rules). In the end the beta-reduction

Re: [fonc] Error trying to compile COLA

2012-02-28 Thread Jakob Praher
Dear Alan, Am 28.02.12 14:54, schrieb Alan Kay: Hi Ryan Check out Smalltalk-71, which was a design to do just what you suggest -- it was basically an attempt to combine some of my favorite languages of the time -- Logo and Lisp, Carl Hewitt's Planner, Lisp 70, etc. do you have a detailled

Re: [fonc] Natural Language Wins

2013-04-04 Thread Jakob Praher
Am 04.04.13 22:53, schrieb John Carlson: Natural languages include tenses. What computer systems have a wide variety of tenses? John McCarthy analyzed this in his description of Elephant 2000 [1] sentence Algolic programs refer to the past via variables, arrays and other data structures. The