Lambda the Ultimate

Liskell is Haskell on the inside but looks like Lisp on the outside, as in its source code it uses the typical Lisp syntax forms, namely symbol expressions, that are distinguished by their fully parenthesized prefix notation form. Liskell captures the most Haskell syntax forms in this prefix notation form.

Liskell is descreibed in an ILC paper. It is implemented as an extension to GHC.

An interesting item; perhaps a bit off-topic.

W. Bradford Paley (an interaction designer at Columbia) and a few collaborators have produced a "map of science"--basically segmenting the realm of science into over 700 sub-disciplines based on an affinity graph produced from surveying over 800,000 papers, and who cites whom. Cross-discipline "links" are noted, as are keywords common to each disciplien. Also noted are various terms of art used in each discipline, which are common among the papers found therein.

Paper is here

Other than a coarse assignment of research fields to top-level disciplines (i.e. "computer science", "biology"), no attempt is made to name the disciplines--they are identified only by their "keywords". Though there is one bubble which obviously corresponds to PLT...

Its somewhat surreal where everything is heading now. Microsoft has been developing a new language called X#. Can you guess what it is? Read about it here. Microsoft has just reincarnated LISP and soon will singlehandedly attempt to take over the programming world.

I suppose it was only a matter of time before Microsoft used XML as a language that allows functional definition of data, is perfect for OS and system neutrality (that one outdoes Java), and can be used as an AST, which means it could be syntax-rendered on screen as anybody's favorite programming language.

Bye,bye javascript/HTML/CSS complex, hello XML browser!

It will be intriguing to see what this new era brings for programming.