Functional programing languages

Haskell's type system really is THE BEST.

I recently programmed a simple single-instance file storage system in Erlang (to be used as a storage backend for my future archivers/scrapers/etc). I decided to use Erlang because I wanted the system to work as a remote server and I quite like Erlang's actor model.

Anyway, as I don't really program in Erlang at all, I made lots of really stupid mistakes (mostly forgetting that some return values are wrapped in the list monad or forgetting to pass some arguments in the list monad), which I could find instantly if Erlang had a type system like Haskell.

On the other hand, I really like Erlang's pattern matching against bound variables (I don't think Haskell has something like that?).

Anyway, discuss your experiences with your favourite programming languages in this thread.

>>12
IHBT, but there have been a few real applications written in Haskell. Darcs, xmonad and yi come to mind quickly; there's probably loads more written for specific needs, like maybe the ones Dons writes for his company. Haskell's community is still very small, so I wouldn't expect to see too many "real" programs for a while, or even ever, since Haskell's goal is to avoid success at all costs.