Asynchronicity

Sometimes synchronicity is not enough

Using LLVM from Haskell

leave a comment »

Brian O’Sullivan first announced the Haskell LLVM bindings on his blog.

Lennart Augustsson posted a series of posts about his extensions:

Also, check out the LLVM tag on Lennart’s blog.

Advertisements

Written by Andrei Formiga

March 20, 2009 at 3:10 pm

Posted in links

Tagged with ,

Ott

leave a comment »

Ott is a very interesting tool to work with semantics. One of the project suggestions of Peter Sewell (one of the authors of Ott) is an extension to animate the semantics, searching possible derivations and typing judgements for a term. I have often thought about doing something similar to this, especially for CCS/pi-calculus.

Written by Andrei Formiga

February 25, 2009 at 2:22 pm

Posted in links

Tagged with ,

The Future of Programming

leave a comment »

Right now there’s an ad in my Gmail with this title. But apparently the future of programming is Basic (or BASIC), because it is a flavor of Basic that the ad is trying to sell. I don’t know, the future of programming is looking very much like its past.

Written by Andrei Formiga

September 28, 2008 at 3:16 am

Posted in Uncategorized

Tagged with , ,