3 ms·
Xmonad claims to be about 1000 lines of Haskell. I'd say that's equivalent to about 10-100k of C. It doesn't crash because it's simple, not because it's writte
by wisty 17y ago
Xmonad claims to be about 1000 lines of Haskell. I'd say that's equivalent to about 10-100k of C.
It doesn't crash because it's simple, not because it's written in a good language.
Well you'd probably have 100X as many bugs in a C program (it takes 10X as many LOC, and I bet bugs scale with N^2), so Haskell is a bit better, but language isn't as important as scope. Big programs have more bugs.
- sketerpot 17y agoIt's not just lines of code; Haskell's BDSM-oriented type system is often infuriating, but it's remarkably good at catching bugs at compile time. Haskell programs tend to have a surprisingly small bug rate once you can actually get the things to compile.
- jrockway 17y agoActually, it doesn't crash because a theorem prover was run over the code to prove that it wouldn't crash. I believe some obscure stackset crashes were preemptively found this way. http://neilmitchell.blogspot.com/2007/05/does-xmonad-crash.html http://neilmitchell.blogspot.com/2007/05/does-xmonad-crash.h...