Re:Writing Python Like Rust
by skitter on Thursday June 29, 2023 @09:18AM
(#36519959)
What do you think about e.g. Roc having whole-program type inference that always works and always infers the most general types?
[ Parent
| on HN ]
In 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.