ra’s Twitter Archive—№ 37,173

@porglezomp @dungan_donuts the thing i havent seen them deal with well, inference or not, is heterogeneous collections. clojure's persistent data structures are immensely useful, and you can put anything you want in and out of them. i havent seen a type system that can encode that without e.g. an Any type.