> And this is why people like me avoid ML based languages, type astronauts, and shiny new toys.
There's nothing new or shiny about the ML family. And the growing interest in ADT's is about their very real advantages in representing state and solving real problems in a less error prone manner than C