Lambda the Ultimate

Just another Wikipedian with technical interests.

Functional languages, and how they can be made even higher-level and useful; I'm also interested in dealing usefully with information in general (but I see CS as the study of working with information specifically using Turing machines, so I might be a little biased here).