Assertion: approach | /r/CapableOf | let without backdoor
Facets:
value: to let
type: PURPOSE
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”.