3 ms·

Wow. Does that monad abstraction also cost free ?

• lucozade 8y ago
  He only suggesting adding associated traits to trait definitions from what I can see. So there shouldn't be any extra abstraction cost. And any actual cost shouldn't be any larger than it is for traits generally. I believe most of the controversy in this space is about language complexity cost.
  • devit 8y ago
    Compilation time is the other potential issue, although it's hard to predict it.