2 ms·

The US Navy, 20 years ago: http://haskell.cs.yale.edu/wp-content/uploads/2011/03/HaskellVsAda-NSWC.pdf http://haskell.cs.yale.edu/wp-content/uploads/2011/03/Has

by brians 11y ago

The US Navy, 20 years ago: http://haskell.cs.yale.edu/wp-content/uploads/2011/03/HaskellVsAda-NSWC.pdf http://haskell.cs.yale.edu/wp-content/uploads/2011/03/Haskel... Past that: all the correct systems I know were built using formal methods and a mix of functional languages and assembler to reduce the semantic gap. All the highly productive programmers I know use either functional languages (or logical languages, same reasons) or else very assembler over very tight machine models--and the one using MMIX is an exception. I think SML makes a good case to have won the modularity front, but there I don't feel as certain.

istvan__ 11y ago
The URL proves that for the certain problem that set of people could come up with the best solution in Haskell. This might just mean that whoever was programming in ADA wasn't as good. The sample size is so small that makes it hard to accept it as evidence. Also almost everybody got A in the evaluation, if the others were C or B- I would see it a little bit more relevant. I am with you, I also think that functional languages the way to go and I almost exclusively using those, but I would not make this big of a jump.