3 ms·

> No dependant types either. You're funny

• Akronymus 4y ago
  How so? I personally find dependant types to be very interesting, but I get that they are a PITA to implement. So, for me, it was simply an observation that there are currently no plans for dependant types. No value judgement intended.
  • isaacimagine 4y ago
    Not to be pendantic, but I think you made a joke without realizing it.
    • Akronymus 4y ago
      I did? I have now spent like 20 minutes trying to figure it out. But I still don't get it.
      • macintux 4y ago
        I'm guessing it has something to do with the keyword "either" and Haskell types, but I'm otherwise clueless. Every time I look at Haskell I run the other way.
        • zesterer 4y ago
          I think it was "value judgement" (dependent types allow dispatching over a value in the type system)