2 ms·
"Consistent at creation" is also known in the Haskell community by the phrase "make illegal states unrepresentable".
by chrisdone 7y ago
"Consistent at creation" is also known in the Haskell community by the phrase "make illegal states unrepresentable".
- sitkack 7y agoThis technique should be more widely shared. I stumbled across it years ago in Python, but it can be expressed in nearly any language. https://en.wikipedia.org/wiki/Substructural_type_system https://en.wikipedia.org/wiki/Substructural_type_system