Alan Kay gave a very interesting talk which I think the Clojure
community might find enlightening. Specifically, near the end
he talks about building a DSL by careful domain analysis.
http://tele-task.de/archive/video/flash/14029

In relation to Clojure, are there lessons to learn from the Meta
language he mentioned? Does anyone have references to it?

His example from the talk deals with writing down the equations
of graphics primitives in a mathematical way and then deriving
executable code from the math.

In the area of parallel and concurrent programming we have
some "equations" that might form a basis of a mathematical
formulation. See
Parallel Program Design: A Foundation by K. Mani Chandy and
Jayadev Misra

Could we write the mathematics of ACID and STM and then
derive correct, small implementations? Alan Kay makes a
compelling argument that this could change the game.

Tim Daly

-- 
You received this message because you are subscribed to the Google
Groups "Clojure" group.
To post to this group, send email to clojure@googlegroups.com
Note that posts from new members are moderated - please be patient with your 
first post.
To unsubscribe from this group, send email to
clojure+unsubscr...@googlegroups.com
For more options, visit this group at
http://groups.google.com/group/clojure?hl=en

Reply via email to