ra’s Twitter Archive—№ 48,972

@omershapira well in the general case programs a type checker can prove correct at compile time are a strict subset of all correct programs, and whether that subset is a useful one depends on what youre doing. i worry that the stuff i care about is not in that subset.