Re: [fonc] [IAEP] Barbarians at the gate! (Project Nell)

Alan, Regarding these quotes from "the early history of smalltalk" re ST 71: > I had originally made the boast because McCarthy’s self-describing LISP > interpreter was written in itself. It was about “a page”, and as far as > power goes, LISP was the whole nine-yards for functional languages. I

Re: [fonc] [IAEP] Barbarians at the gate! (Project Nell)

The theory Algebra of Communicating Processes (ACP) offers non-determinism (as in Meta II) plus concurrency. I will present a paper on extending Scala with ACP next month at Scala Days 2012. For an abstract, see http://days2012.scala-lang.org/node/92 A non-final version of the paper is at http:

Re: [fonc] One more year?!

I like this Process Algebra approach to music: http://www.cosc.brocku.ca/~bross/research/BrazilSCM95.pdf And here are some tracks: http://www.cosc.brocku.ca/~bross/research/LMJ/ Op 23 jan. 2012, om 06:17 heeft BGB het volgende geschreven: > On 1/22/2012 8:57 PM, Julian Leviston wrote: >> >> >

Re: [fonc] Apple and hardware (was: Error trying to compile COLA)

John Sculley was the ultimate champion of getting Hypercard from a research project to getting productized. Cheers, Alan > > From: Jecel Assumpcao Jr. >To: Fundamentals of New Computing >Sent: Thursday, March 15, 2012 4:03 PM >Subject: Re: [fonc] Apple and

Re: [fonc] Dynabook ideas

The other two physical ideas were -- via head mounted display (in glasses a la Ivan Sutherland's goggles -- ca. 1968 -- but invisible) -- as embodied in the environment (a la Nicholas Negroponte's and Dick Bolt's "Dataland" and "Spatial Data Management System" of the 70s). In the late 60s, m

Re: [fonc] Apple and hardware (was: Error trying to compile COLA)

Alan Kay wrote on Wed, 14 Mar 2012 16:44:33 -0700 (PDT) > The CRISP was too slow, and had other problems in its details. Sakoman liked > it ... Thanks for the information! Just looking at the papers about it I had the impression that it would be reasonably faster than an ARM at the same clock fre

[fonc] Dynabook ideas

Le 15/03/2012 00:44, Alan Kay a écrit : To me the Dynabook has always been 95% a "service model" and 5% physical specs (there were three main physical ideas for it, only one was the tablet). Err, what those ideas were? I have seen videos of you presenting it, but I can't see more than a table

[fonc] Amethyst (was [IAEP] Barbarians at the gate! (Project Nell))

My language pattern matching language which I call amethyst starts coming close to generic tool for pattern matching. For example it is easy to write generic highligther as I did for amethyst http://kam.mff.cuni.cz/~ondra/peridot/parser_highlight.ame.html On Thu, Mar 15, 2012 at 05:20:52AM -070

Re: [fonc] [IAEP] Barbarians at the gate! (Project Nell)

On Thu, Mar 15, 2012 at 10:55 AM, Alan Kay wrote: > It's in the book "Semantic Information Processing" that Marvin Minsky put > together in the mid 60s. I will get it scanned and send around (it is paired > with the even more class "Advice Taker" paper that led to Lisp ... Thanks Alan. That's v

Re: [fonc] OT? Polish syntax

On 3/15/2012 9:21 AM, Martin Baldan wrote: I have a little off-topic question. Why are there so few programming languages with true Polish syntax? I mean, prefix notation, fixed arity, no parens (except, maybe, for lists, sequences or similar). And of course, higher order functions. The only exam

Re: [fonc] [IAEP] Barbarians at the gate! (Project Nell)

It's in the book "Semantic Information Processing" that Marvin Minsky put together in the mid 60s. I will get it scanned and send around (it is paired with the even more class "Advice Taker" paper that led to Lisp ... Cheers, Alan > > From: Wesley Smith >To:

Re: [fonc] [IAEP] Barbarians at the gate! (Project Nell)

On Thu, Mar 15, 2012 at 5:23 AM, Alan Kay wrote: > You don't want to use assert because it doesn't get undone during > backtracking. Look at the Alex Warth et al "Worlds" paper on the Viewpoints > site to see a better way to do this. (This is an outgrowth of the "labeled > situations" idea of McCa

Re: [fonc] [IAEP] Barbarians at the gate! (Project Nell)

I'd recommend Logtalk ( http://en.wikipedia.org/wiki/Logtalk ) when thinking about Prolog-based systems. Yield Prolog ( http://sourceforge.net/projects/yieldprolog/ ) is an interesting embedding of Prolog into procedural languages using 'yield'. A little bit of syntactic sugar could probably go a

Re: [fonc] OT? Polish syntax

This looks interesting: https://code.google.com/p/ambi/ - instead of supporting infix it supports both polish and reverse polish. Can you give some examples of what your ideal syntax would look like which illustrates the "spoken language" aspect you touched on? -Shaun On Thu, Mar 15, 2012 at 10:21

[fonc] OT? Polish syntax

I have a little off-topic question. Why are there so few programming languages with true Polish syntax? I mean, prefix notation, fixed arity, no parens (except, maybe, for lists, sequences or similar). And of course, higher order functions. The only example I can think of is REBOL, but it has other

Re: [fonc] Apple and hardware (was: Error trying to compile COLA)

I just discovered that Wolfram|Alpha is available for the iPhone and iPad, as well as the Android and Nook, which use their Cloud computing. http://products.wolframalpha.com/mobile/ David On Wed, Mar 14, 2012 at 3:55 PM, Jecel Assumpcao Jr. wrote: > ... I noticed that neither Matlab nor Mathem

Re: [fonc] Apple and hardware (was: Error trying to compile COLA)

On Mar 14, 2012, at 17:17 , Jecel Assumpcao Jr. wrote: > Alan Kay wrote on Wed, 14 Mar 2012 05:53:21 -0700 (PDT) >> No matter what Apple says, the reasons clearly stem from strategies and >> tactics >> of economic exclusion. >> So I agree with Max that the iPad at present is really the anti-Dyn

Re: [fonc] [IAEP] Barbarians at the gate! (Project Nell)

Sure ... (and this is what Lisp-70 did also ... and a number of systems before it, etc.) Cheers, Alan > > From: Peter C. Marks >To: Fundamentals of New Computing >Sent: Thursday, March 15, 2012 6:09 AM >Subject: Re: [fonc] [IAEP] Barbarians at the gate! (Pr

Re: [fonc] [IAEP] Barbarians at the gate! (Project Nell)

WRT: patterns, I wonder if the list is aware of the work by Barry Jay with his Pattern Calculus , wherein he introduces patterns as first class citizens at the lambda level. Peter On Thu, Mar 15, 2012 at 8:23 AM, Alan Kay wrote: > You don't want t

Re: [fonc] [IAEP] Barbarians at the gate! (Project Nell)

You don't want to use assert because it doesn't get undone during backtracking. Look at the Alex Warth et al "Worlds" paper on the Viewpoints site to see a better way to do this. (This is an outgrowth of the "labeled situations" idea of McCarthy in 1963.) Cheers, Alan >

Re: [fonc] [IAEP] Barbarians at the gate! (Project Nell)

Alex Warth did both a standard Prolog and an English based language one using OMeta in both Javascript, and in Smalltalk. Again, why just go with something that happens to be around? Why not try to make a language that fits to the users and the goals? A stronger version of this kind of language

Re: [fonc] [IAEP] Barbarians at the gate! (Project Nell)

On 15/03/2012 13:01, Ryan Mitchley wrote: It still doesn't fit well with a procedural model, in common with Prolog, though. Although, it has to be said that a procedural approach can be faked with a combination of assertion and forward chaining. e.g. IsASquare(X, Y) iff line(X, blah), a

Re: [fonc] [IAEP] Barbarians at the gate! (Project Nell)

I wonder if micro-PROLOG isn't worth revisiting by someone: ftp://ftp.worldofspectrum.org/pub/sinclair/games-info/m/Micro-PROLOGPrimer.pdf You get pattern matching, backtracking and a "nicer" syntax than Prolog. It's easy enough to extend with IsA and notions of classes of objects. It still do