archives

A Brief, Incomplete, and Mostly Wrong History of Programming Languages

I haven't posted here in, well... ages, but I couldn't pass this up (though I'm sure some of you have seen it already. There's a bit of a shout-out to LtU.)

http://james-iry.blogspot.com/2009/05/brief-incomplete-and-mostly-wrong.html

Also, it's quiet in here.

By David J Bailey at 2010-06-05 03:15 | LtU Forum | 2 comments | other blogs | 6138 reads

berp

Berp is an implementation of Python 3. At its heart is a translator, which takes Python code as input and generates Haskell code as output. The Haskell code is fed into a Haskell compiler (GHC) for compilation to machine code or interpretation as byte code.

This project sounds interesting. Has anyone checked it out?

By Ehud Lamm at 2010-06-05 09:53 | General | 5 comments | other blogs | 12007 reads

The Galois connection between syntax and semantics

Peter Smith, The Galois connection between syntax and semantics.

explains Lawvere’s remark about ‘the familiar Galois connection between sets of axioms and classes of models, for a fixed [signature]‘

Seems like a rather nice introduction to the notion of Galois connection (I seem to remember someone asking about this awhile back).

One place Galois connections pop up is in the realm of Abstract Interpretation.

By Ehud Lamm at 2010-06-05 20:14 | Semantics | 8 comments | other blogs | 13500 reads