3 ms·The problem with encoding stuff in type systems is where you stop.by philipwhiuk 4mo agoThe problem with encoding stuff in type systems is where you stop.