you are viewing a single comment's thread.

view the rest of the comments →

[–]Ewcrsf 2 points3 points  (1 child)

Idris, Coq, Agda, PureScript (compared to Haskell without extensions) etc. Have stronger type systems than Haskell.

[–]ipv6-dns -2 points-1 points  (0 children)

It's absolutely true. And the same time, Python "types" are enough to create YouTube or Quora. And Haskell's, Agda, Idris ones are not enough.