←back to thread

Concurrency in Haskell: Fast, Simple, Correct

(bitbashing.io)
193 points ingve | 4 comments | 14 Apr 25 10:47 UTC | HN request time: 0s | source
Show context
jes5199 ◴[17 Apr 25 04:38 UTC] No.43713172[source]▶
I love Haskell because I can write provably correct code that still doesn’t work
replies(4): >>43713179 #>>43713368 #>>43714302 #>>43714956 #
1. jiggawatts ◴[17 Apr 25 08:23 UTC] No.43714302[source]▶
A Haskell quote I like is: “I’ve only proven this correct, I haven’t tried it.”
replies(1): >>43714346 #
2. neilwilson ◴[17 Apr 25 08:35 UTC] No.43714346[source]▶
Isn’t that one of Dijkstra’s supposed comments?
replies(1): >>43714380 #
3. OskarS ◴[17 Apr 25 08:43 UTC] No.43714380[source]▶
It'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

replies(1): >>43714822 #
4. jiggawatts ◴[17 Apr 25 10:05 UTC] No.43714822{3}[source]▶
It'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.