3 ms·

I love the idea that Haskell users are all wringing their hands about .... Idris.

• lmm 11y ago
  Is that so implausible? If you like the things that make Haskell different from other programming languages, Idris does most of the same things, only more so. It's the first language with a better type system than Haskell's to become even remotely mainstream.
  • tome 11y ago
    It's just funny. It means that the future is bright :)
  • tdees40 11y ago
    I love Idris as much as the next guy, but I doubt virtually anyone is using it for production code. By contrast, there are millions upon millions of lines of Haskell code in production all over the world.