[reinman]

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]

So 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