Why is /g/ still learning Haskell when Idris is obviously superior?
>>54941949
Haskell is getting dependent types.
Why are people still making these shitty threads? Who cares, fuck off
>>54941949
Because Idris is shit. You should know by now, shill.
>>54941949
How's the performance compared to C?
>>54942026
From what I've heard, there shouldn't be too much difference. Because by default, Idris generates native code by going through C anyway.
>>54942061
>all C code is fast C code
Seems legit.
>>54941949
>not using F*
>pissing away time learning anything but java, python and c
>>54941949
Idris is infested with shitheads, e.g. https://github.com/idris-hackers/IdrisScript/blob/818cdf7e73f6b7f816e089bdae97a1a528bcad6a/LICENSE
>>54941949
Tbh it does look better. Lazy by default was a mistake. Laziness isn't even the interesting part of Haskell, design-by-type and compiler assistance is much more interesting. But laziness is all that gets talked about (muh infinite data structures!), when it's already implemented in other languages. They just don't make it the default. Also, representing strings as a list of characters was a mistake.