3 ms·
Scott Wlaschin, of fsharp for fun and profit, has written/presented[1] quite a bit about utilizing the type system to prevent invalid states. Diff lang, but sim
by Rapzid 9y ago
Scott Wlaschin, of fsharp for fun and profit, has written/presented[1] quite a bit about utilizing the type system to prevent invalid states. Diff lang, but sim concepts. It was an epiphany to me and a concept I have at least tried to bring back to the ALGOL side where possible.
[1]https://fsharpforfunandprofit.com/series/designing-with-types.html https://fsharpforfunandprofit.com/series/designing-with-type...
- jackweirdy 9y agoThis reminds me of an article by Foursquare about how they use Scala Phantom Types to ensure MongoDB queries are semantically well formed: https://engineering.foursquare.com/going-rogue-part-2-phantom-types-d18ece7235e6 https://engineering.foursquare.com/going-rogue-part-2-phanto...