Re:Dependent Types for F#
by pron on Wednesday December 06, 2017 @10:32AM
(#15861798)
I meant that F# itself is optional. So are tests, by the way, and therefore also completely useless.
[ Parent
| on HN ]
Yeah, F# is kind of problematic since you aren't forced to use F# to typefully use F# libraries. Things would be a lot better in a language like Standard ML, where you can either use a library correctly (assuming it exposes the right interfaces) or not use it at all. Hooray for abstraction!