2 ms·
Well, GP was asking about Haskell vs Rust, not Python; and the discussion before was about Haskell vs Java as well. And the example I gave is not entirely arti
by simiones 5y ago
Well, GP was asking about Haskell vs Rust, not Python; and the discussion before was about Haskell vs Java as well.
And the example I gave is not entirely artificial - units of measure are often measured as an advantage of strong type systems, something that could potentially avoid the Ariadne disaster, and I find this common example unconvincing.
- the_af 5y agoThe GP also mentioned Python in another comment, and specifically asked "what about strong type systems", which makes the comparison to Python relevant. > something that could potentially avoid the Ariadne disaster Haskell or any language with modern static typing would definitely have helped. You wouldn't be mixing unit types and confusing them like it happened (if I remember correctly) with the Ariadne. Would it have been enough? I don't know! But it would have helped! Any measure of static and dynamic analysis would have helped for mission critical software, and it's evident the Ariadne had some serious deficits in this regard.