Assertion: approach | /r/HasProperty | to make type
Facets:
Source sentences:
text: My approach to problems like this is to make a type that encodes the properties I want and then make it impossible to let those invariants be broken, without compromise or backdoors to let the wrong value “slip in”.