3 ms·
Feasible as in "can be reasonably added to the language", not as in "can be mimicked with current language features".
by estebank 8y ago
Feasible as in "can be reasonably added to the language", not as in "can be mimicked with current language features".
- leshow 8y agoThere's no discussion of implementation, we have no idea how "reasonable" an implementation would or wouldn't be. My assumption from reading this is it would require a ton of non trivial additions to the type system
- JeremyBanks 8y agoYou are not the target audience.