3 ms·
This is how type systems work, you ground them in a strong theoretical foundation then build on top of that for actual consumption.
by dylanowen 3y ago
This is how type systems work, you ground them in a strong theoretical foundation then build on top of that for actual consumption.
- charcircuit 3y agoI'm not saying that having a foundation in bad, but you need the right foundation. If a foundation results in compile times ballooning people writing 100 line toy programs won't care, but people writing millions of lines will.