ra’s Twitter Archive—№ 37,167

@dungan_donuts yeah, doubling down on static types closes a lot of doors. do does doubling down on dynamic types, mainly in terms of performance and safety. i think a hybrid system or gradually typed approach is what i want, though whole program correctness becomes hard, im ok w that tho