3 ms·
Blessing noncanonical structures and mappings is indeed evil. Let's take this to its logical conclusion and banish type classes.
by catnaroek 9y ago
Blessing noncanonical structures and mappings is indeed evil. Let's take this to its logical conclusion and banish type classes.
- yorwba 9y agoI'm not sure what you mean by that. Type classes are all about making canonical structures explicit.
- catnaroek 9y agoType class instances are only “canonical” by fiat. Once you elaborate type classes into record-passing, by no means are the resulting instance types uniquely inhabited. This is just as bad as the existence of truthy or falsy values.