Lambda the Ultimate

The Extreme Markup 2006 conference has finished and the proceedings are up. If you have any interest in the intersection of programming and markup languages, there were a few papers worth looking at. Here's my choice:

• Higher-Order Functional Programming with XSLT 2.0 and FXSL shows how to implement a good part of Haskell 98 Prelude in XSLT 2.0. Unfortunately, the presentation didn't do a very good job of explaining why that is a good thing: most of attendees seemed to conclude it was only usable for numerical calculations.

• Datatypes for XML: the Datatyping Library Language (DTLL) presents a small schema language for defining new primitive data types.

• <plug>
  Streaming component combinators presents an embedded language / combinator framework for building and reusing XML-streaming components.
  </plug>

• Rabbit/duck grammars: a validation method for overlapping structures might be interesting if you're into theory of formal languages and parsers.

• Conveying Meaning through Space and Time using XML has nothing to do with programming languages directly. Still, I guess some people around here will find it interesting, since it's trying to apply machinery of Category Theory to some difficult real-world problems.

Here, care to discuss.

This is a prerelease version of the hypertext edition of the 6th edition of the Lisp Machine Manual. To read this manual, you need to use a browser that is capable of performing XSL transformations (Firefox, Internet Explorer and others).

A 1984 document by Richard Stallman, Daniel Weinreb and David Moon.

The preface contains a "personal note" from Stallman announcing GNU.

Some sections of interest are: cdr coding, closure manipulation functions, stack groups, and areas.