Haskell rapid prototyping.

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

>>11

I use it the same way. First built it in haskell as reference implementation, because it is easier to show it is correct. And then built it in C or C++ and compare it with the reference implementation, mainly because of speed.

And sometimes for just creating a small DSL for one problem or another.

The air here is suddenly filled with spiders, what the fuck is happening.