About A programmer in Nagoya. Relatively fluent in Haskell, OCaml, C++ and Java (particularly in web-related stuff). Doing a project in OCaml for two months (now Dec 2010). Also learning Scala.
Loves process calculi (especially the Pi-Calculus) and their type system. Haskell type-level hackery is also fun.
I’m in Nagoya for 10 years.