My main interests are in Lisp languages. But i know C/C++.
I am working on a lisp language of my own, because i consider common lisps type system too much just slapped on an untyped system.
Lately i have been daunted by this challenge though, i still have to learn more about typed lambda calculus, Haskell, and other attempts on what i have been trying.