ra’s Twitter Archive—№ 37,172

@porglezomp @dungan_donuts yeah i feel like things get a bit nutty when trying to fold truly dynamic semantics into a static type system. i think there's a whole class of behavior that is both desirable and not knowable until runtime that static solutions struggle with.