3 ms·Making illegal states unrepresentable: Types as compiler-enforced documentation3 points by pcr910303 7y ago