Re:New iPhone Agreement Bans Flash-to-iPhone Compiler & Others
by jrockway on Friday April 09, 2010 @03:37PM
(#1253618)
Actually, 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.h...
Re:New iPhone Agreement Bans Flash-to-iPhone Compiler & Others
by sketerpot on Friday April 09, 2010 @12:03PM
(#1253046)
It'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.
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.