4 ms·

And Hask is arguably not a proper category

• bstamour 12y ago
  Can you expand on this? I'm genuinely curious.
  • T-R 12y ago
    My understanding is that it's not a proper category due to the presence of Bottom - https://wiki.haskell.org/Bottom https://wiki.haskell.org/Bottom > Bottom is a member of any type, even the trivial type () [...] If it were not, the compiler could solve the halting problem and statically determine whether any computation terminated You can imagine function composition and identity don't work too well on things that never complete.
    • bstamour 12y ago
      Ah yes, you're right. I always forget about bottom.