I am a frustrated, grumpy programmer who wishes there were a widely supported programming language (for "reasonable enough" values of "supported": Haskell is okay, Standard ML is not) with a type system powerful enough to eliminate the need to throw exceptions at runtime (or expect undefined behavior if the programmer is not careful enough): dependent types for collection indices, linear types for I/O, etc. I know there is ATS, but the more I read its documentation, the more it looks like a glorified macro system for C - the natural progression being C macros, C++ templates, ATS.

You can find me on freenode under the nicks DijkstraGroupie, Catnaroek, Playground, lolcathost, Automorphism, ahokaomaeha, atamagawarui and kimochiwarui. Most of the time I am active in ##programming, but sometimes I am in #sml, #haskell and ##c++ as well.