On 08/21/2013 07:17 PM, deadalnix wrote:
You want no bugs ? Go for Haskell.
If you want no bugs, go for formal correctness proof.
But you'll get no convenience
Yes you do. A lot.
or performance.
Let's say "easily predictable performance".
The good thing if that if it does compile, you are pretty sure that it does the right thing.
