I am not sure why, but this week I happened along Ada again (cannot remember why) and also stumbled upon AdaCore.<p>Can someone explain to me, since I am in the uninitiated, why no one has shown real interest in Ada, with its complicated type system and functional paradigm abilities, while Haskell has been lauded long after its creation.<p>I am sure its origin in a DoD contest for the best military equipment language does not help, but anyone in the know can tell me why Ada is not interesting to the FP/type-system nerds while Haskell is the it child? I know Haskell is great but how is Ada laying around unnoticed outside of some govt contractors?