"Consistent at creation" is also known in the Haskell community by the phrase "m... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		_kdhr on March 23, 2020 \| parent \| context \| favorite \| on: Secure by Design "Consistent at creation" is also known in the Haskell community by the phrase "make illegal states unrepresentable".

sitkack on March 24, 2020 [–]

This 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

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact