Re:Haskell and Rust
by gambler on Saturday November 09, 2019 @06:50PM
(#21495357)
>I don't know what you mean by evidence, but Haskell has a stronger and more expressive type system than say Java
My first experience with running real Haskell code was installing Leksah - which is a Haskell editor written in Haskell itself.
I initially installed an older version by accident. It presented me with some window saying it will try to download something. Then it closed spewing a cryptic error message into the console. I could not restart it, because the program immediately went to the same error on startup.
I then installed the latest version. That one loaded... only to consistently crash when I tried to create a file.
This is what happens when software is written by people who don't understand the difference between theoretical "correctness" and real-life reliability.
My first experience with running real Haskell code was installing Leksah - which is a Haskell editor written in Haskell itself.
I initially installed an older version by accident. It presented me with some window saying it will try to download something. Then it closed spewing a cryptic error message into the console. I could not restart it, because the program immediately went to the same error on startup.
I then installed the latest version. That one loaded... only to consistently crash when I tried to create a file.
This is what happens when software is written by people who don't understand the difference between theoretical "correctness" and real-life reliability.