Mastodon Feed: Post

dysfun@treehouse.systems ("gaytabase") wrote:

This demonstrates an
observation of the algebraic subtyping community that it is easier to create helpful error
messages from a subtype-inference-based system rather than from a unification-based one.

Uhoh.