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.