This is the legacy version of We will be shutting it down on 15 December 2020. Please switch to a supported browser or device. You can see a list of supported browsers in our Help Center.
Anthony Cowley Oct 26
Replying to @lambdageek
There’s a useful maxim: proving anything about your code catches a lot of bugs. The differences between Rust and Haskell make the cross appeal remarkable, but I think it is partly due to that. Rust lang and tool dev seems healthier, so people who like good tools take a look.