Lambda the Ultimate

Since Wednesday, there have been intermittent problems with lookup of the lambda-the-ultimate.org domain name. This was due to problems with our domain registrar, joker.com, which says it has been experiencing "massive distributed denial of service attacks" against its nameservers. Whether you experienced the problem depends on DNS caching and timing.

Although Joker continues to experience problems, we've now switched to domain name servers elsewhere, so the problem is resolved.

I am busy. But where is everyone else?

Contributing editors, now's your chance to step up to the plate and post something cool!

Ralf Hinze links to Generic Haskell II. It mentions some papers we've talked about here (generic views, typed contracts) and some new stuff (SYB analysis & extensions, polytypic type inference).

Hi all,
I wanted to make a simple little language where I would simply be able to define and apply expansions in strings, something like:

bonjour: return {hello, namaste}

eval hellothisisatextstringbonjursomemoreenglishtext

output: {hellothisisatextstringhellosomemoreenglishtext, hellothisisatextstringnamastesomemoreenglishtext}

Perl regular expressions would've been sufficient, nice and clean, but I can't return lists like above.

Just scratching my head, there may be something obivous I am missing.