3 ms·

You can also search for "make invalid states impossible/unrepresentable" [0] to find more info on related practices. See "domain modeling made functional" [0] a

• hutao 8mo ago
  The phrasing that I hear more often is "make illegal states unrepresentable"; both the submitted article and Alexis King's original article use this phrase. At least according to https://fsharpforfunandprofit.com/posts/designing-with-types-making-illegal-states-unrepresentable/ https://fsharpforfunandprofit.com/posts/designing-with-types..., it originates from Yaron Minsky (a programmer at Jane Street who is prominent in the OCaml community). EDIT: Parent comment was edited to amend the "impossible/unrepresentable" wording
  • rapnie 8mo ago
    Yes, sorry. I thought to add some resources to it, or it would be a too vague comment and found the better phrasing.