eins78’s Twitter Archive—№ 5,765

RT ctford: "These dynamic langs are so sloppy. We should be more rigorous, like maths." "Cool! What does maths use to indicate types?" "Fo…