4 ms·
Almost all of these are solvable without the added abstraction, code size increase that most languages bring, see dependent types.
by nwmcsween 11y ago
Almost all of these are solvable without the added abstraction, code size increase that most languages bring, see dependent types.
- pjmlp 11y agoDependent types are great, but I fear not for the average programmer on the street, at least not on the current languages that make use of it.