3 ms·
The type system is where the "cookbook" lives So in a way, if you go through all the work of setting that up you should be rewarded with some sort of crafting.
by reinman 4y ago
The type system is where the "cookbook" lives
So in a way, if you go through all the work of setting that up you should be rewarded with some sort of crafting. After all, the type checker is kinda doing some of that work anyway
- reinman 4y agoSo there is quite a stir about dependent types in academia these days Remember that coming up w the names for types is half the battle. Whether something is a "string" or an "Address" or an "InputField" is really a multi-dimensional type problem