29 ms·
I love Haskell because I can write provably correct code that still doesn’t work
by jes5199 2y ago
I love Haskell because I can write provably correct code that still doesn’t work
- declan_roberts 2y agoI love it because I can spend all my time noodling over types and never ship a product that would have been great shipped in a late night wine-fueled session of 1999 PHP.
- anonzzzies 2y agoNow you would vibe it and ship it during the ol' drink.
- TacticalCoder 2y ago[dead]
- kqr 2y agoIf that is what you want to do, you can do that in any language. It's just that when you do it in e.g. Java, you have to spend a lot longer proving correctness before discovering that it doesn't work.
- jiggawatts 2y agoA Haskell quote I like is: “I’ve only proven this correct, I haven’t tried it.”
- neilwilson 2y agoIsn’t that one of Dijkstra’s supposed comments?
- OskarS 2y agoIt's Knuth! [1] "Beware of bugs in the above code; I have only proved it correct, not tried it." [1]: https://www-cs-faculty.stanford.edu/~knuth/faq.html https://www-cs-faculty.stanford.edu/~knuth/faq.html
- jiggawatts 2y agoIt's incredible that given how fuzzy and inaccurate human memory is, we treat any LLM that can't perfectly recite volumes of information as somehow beneath us.
- deleted 2y ago[deleted]