This (http://news.ycombinator.com/item?id=1909331 http://news.ycombinator.com/item?id=1909331) is what I am doing - a "type of program" suited to Haskell, very

This (http://news.ycombinator.com/item?id=1909331 http://news.ycombinator.com/item?id=1909331) is what I am doing - a "type of program" suited to Haskell, very algorithmic, lots of data munging, distribution, parts with proofs of correctness, compiler like pieces and so on.Can't be more specific in public - sorry about that . As for Haskell the language vs others in general, I personally like the combination of high abstraction, static typing and raw speed. Besides (like lisp?) it seems to be a productivity amplifier for very small teams of very sharp people, which is my situation.