• Spzi@lemm.ee
    link
    fedilink
    arrow-up
    3
    ·
    1 year ago

    "Monad" is a shorter term though. "Structured data type" reads almost as bulky as "Curve of constant normal intersection points".

    • david@feddit.uk
      link
      fedilink
      arrow-up
      3
      ·
      1 year ago

      True. But the word Monad has done more harm to the accessibility, popularity and reputation of pure functional programming than pretty much anything else.

      Yeah, I could have said circle rather than curve of constant normal intersection points, but that word is very commonly understood, so it's not that same as unnecessarily calling something a Monad. Maybe it's the equivalent of calling it a 2-manifold instead of a wheel.

      Perhaps just ditch the generalisation, then, and just call them Result or Maybe. After all, circle is a short word, but we just call them wheels.