Lambda the Ultimate

The Glasgow Haskell Compiler and LLVM

I believe this has been discussed earlier, but I just stumbled upon this blog entry, which concisely describes the bits and pieces of the GHC LLVM backend. It is good to read that it will be worked further on that (GSoC & MSR internship).

While I like the general idea, it seems this project didn't go far enough.

What I think would be cool is to develop are DSLs that compile to g-code. For example, putting my hacker hat on, I think it might be fun to build a DSL for describing mechanical (analog) computers, this will compile into g-code for cams, shafts, gears etc. that could then be manufactured using CNC machines and/or 3D printers...

Kim Rose and Ian Piumarta have put together a hardbound, soft cloth, foil stamped book in honor of their friend and colleage, Alan Kay.

See: http://vpri.org/pov/

Click on the blue book for the free PDF version. You can also purchase a traditional copy.