jefflembeck’s Twitter Archive—№ 28,101

RT lindsey: progress in type systems marches inexorably forward, ruling out broader and broader classes of programs as bad. one day, type…