4 ms·
Definitely agree with you on those points, what do you think of the type system in F#?
by fleitz 15y ago
Definitely agree with you on those points, what do you think of the type system in F#?
- DanielRibeiro 15y agoF# seems to have a Hindley-Milner type system, as described some years ago also by Daniel Spiewak[1]. Which is a vast improvement over more mainstream type systems, while not as powerful as traditional logic type systems, such as those used in First order and Higher Order Logic. However, I personally rely more on unit tests than on type systems to make sure the code is consistent. And when I do that, specially when I write the test before the code, I find the type system getting more in the way than helping me. Rich Hickey, Clojure's creator, compared[2] these to guard-rails. [1] http://www.codecommit.com/blog/scala/what-is-hindley-milner-and-why-is-it-cool http://www.codecommit.com/blog/scala/what-is-hindley-milner-... [2] http://www.infoq.com/presentations/Simple-Made-Easy http://www.infoq.com/presentations/Simple-Made-Easy