Re:The Next Step for Generics
by tluyben2 on Friday June 19, 2020 @07:23AM
(#23573268)
> 2) Type inference is problematic for me. Doesnt it just open you up to type errors of a different class?
It's at compile time, so not really? It will tell you exactly what it expects vs what you provided at compile time. These kind of languages read like dynamic languages (for the most part) but they are completely static.
It's at compile time, so not really? It will tell you exactly what it expects vs what you provided at compile time. These kind of languages read like dynamic languages (for the most part) but they are completely static.