Re:The Early History of F# [pdf]
by kowalgta on Saturday June 13, 2020 @03:22PM
(#23511933)
As others mentioned - using smart constructor technique, but not directly as F# has no dependend type capability.
Smart constructor technique works well with 'parse, don't validate' approach [0]. You can push type construction to the boundries of your system so that you can work on a domain code with more precise types. It's not always so rosy however as too much types can become a burden.
Smart constructor technique works well with 'parse, don't validate' approach [0]. You can push type construction to the boundries of your system so that you can work on a domain code with more precise types. It's not always so rosy however as too much types can become a burden.
[0] https://lexi-lambda.github.io/blog/2019/11/05/parse-don-t-va...