Return Styles: Pseud0ch, Terminal, Valhalla, NES, Geocities, Blue Moon. Entire thread

Simon Peyton Jones - Haskell is useless

Name: Anonymous 2014-08-07 18:14

http://www.youtube.com/watch?v=iSmkqocn0oQ

Name: Anonymous 2014-08-15 10:20

They use Haskell to prove stuff
http://www.drdobbs.com/embedded-systems/proving-correctness-of-an-os-kernel/222400553

anyway static typing is just an inferior subset of unit testing.
Newer Posts
Don't change these.
Name: Email:
Entire Thread Thread List
All trademarks and copyrights on this site are owned by their respective parties. All comments and posts are the responsibility of their own posters.
- Tinychan + 2ch Mode + RSS -