←back to thread

Concurrency in Haskell: Fast, Simple, Correct

(bitbashing.io)
193 points ingve | 1 comments | 14 Apr 25 10:47 UTC | HN request time: 0.298s | 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. kqr ◴[17 Apr 25 05:23 UTC] No.43713368[source]▶
If 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.