> 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 yo

> 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.