3 ms·
> learning Hindley-Milner type systems Well, HM is about type inference and they can just assume it works correctly. And I don't think they are expected to wri
by LeonidasXIV 12y ago
> learning Hindley-Milner type systems
Well, HM is about type inference and they can just assume it works correctly. And I don't think they are expected to write extensive, complex programs in the language but more put together pieces from their "vast trove of proprietary libraries", which are most likely designed just for the fact of faciliating the use of the language for users who are not (primarily) software developers.
- gcv 12y agoI'm not sure you can realistically wire together pieces of functionality written in a statically typed language without understanding its underlying type system. Sure, by the time it compiles without errors the code probably needs less debugging than in a dynamically-typed language, but getting to that point can be difficult and frustrating. (Speaking from experience as a TA.)