3 ms·
This is an argument for more types, though, not less. Your example is trivially accomplished using dependent types.
by jcora 7y ago
This is an argument for more types, though, not less. Your example is trivially accomplished using dependent types.