Avi Bryant <avi / beta4.com> wrote: : Additions, anyone? Haskell, maybe, but I haven't used it enough to : provide a useful rationale. Befunge, for multi-dimensional code flow. Unlamda, to instill fear. LabView, to see that one day you will be automated. But seriously, one should learn an ML to see what a real type system looks like. Haskell for a pure functional, and some of the monad development, which is very recent, very current, and could be a very fruitful methodology. :> Logo? : Better yet, StarLogo. *snicker*