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.
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?
The best ways to learn Ada, up until online documentation became better in the past few years, was to use heavy poorly written Textbooks, where it's competitors already in aerospace and security could be learned by stumbling around.
Haskell is sported by the functional programming community, which are already zealots.
There aren't many 'strongly-typed' programming language zealots, and most people run with the argument that concise is equivalent to readable.
It can be because AdaCore was the main sponsor of the ERTS² Congress in Toulouse, France last week. ERTS² (Embedded Real Time Software and Systems)is one of the most important congress in Europe about embedded.
Ada have the image of an old language but with the last revision in 2012, it's a modern tool [2].
Granted I know little and do not use these things. Anyone else know?
