> If the last sentence read to you like some Haskellish solution to a self-inflicted problem,
Language design is a formal discipline. Why the urge to dumb it down?
Language design is a formal discipline. Why the urge to dumb it down?
That's a joke, son.
--F. Leghorn
It also illustrates the danger for authors of leading with a joke at someone else's expense. All that effort to carefully explain the ideas, why they are valuable, and how they can be used gets collapsed into a religious dispute over type safety.