Name: Anonymous 2013-08-05 6:40
Haskell is one of the easiests and best language for prototyping complex applications. The Naval Surface Warfare Center shows how an unexperienced student wrote a fully working prototype for a component in the aegis weapon system.
An experienced haskell programmer even made such a program, that an independent reviewer thought he was looking at the requirement specifications mixed with top level designs. He didn't believe it was a real program, which could be compiled as an executable.
Both programs where the most concise implementations and where verified by an external reviewer. Both were correct following the specifications and were the most easy to understand.
Enjoy the report:
http://haskell.cs.yale.edu/wp-content/uploads/2011/03/HaskellVsAda-NSWC.pdf
An experienced haskell programmer even made such a program, that an independent reviewer thought he was looking at the requirement specifications mixed with top level designs. He didn't believe it was a real program, which could be compiled as an executable.
Both programs where the most concise implementations and where verified by an external reviewer. Both were correct following the specifications and were the most easy to understand.
Enjoy the report:
http://haskell.cs.yale.edu/wp-content/uploads/2011/03/HaskellVsAda-NSWC.pdf