Assertion: approach | /r/CapableOf | let without compromise
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”.