4 ms·
What do you think about e.g. Roc having whole-program type inference that always works and always infers the most general types?
by skitter 3y ago
What do you think about e.g. Roc having whole-program type inference that always works and always infers the most general types?
- dbrueck 3y agoIn isolation, I love the idea. I don't have a strong sense of how the tradeoffs would affect things in practice though. Perhaps they are not a big deal, but if they are too restrictive, then maybe the next best thing would be to have anything go (like in Python or Javascript), but the compiler guides you to where it's having trouble inferring things.