3 ms·

Thanks! Yeah I think a traditional type system wouldn't make sense for Clojure, you need something that can describe data structures more succinctly, which is w

by aria 13y ago

Thanks! Yeah I think a traditional type system wouldn't make sense for Clojure, you need something that can describe data structures more succinctly, which is what we were shooting for

ambrosebs 13y ago
Just so readers don't deduce you're talking about core.typed, core.typed is plenty expressive enough to represent many idiomatic Clojure data structures, and very succinctly. eg. Heterogeneous keyword maps https://github.com/frenchy64/core.typed-example/blob/master/src/fire/simulate.clj#L42 https://github.com/frenchy64/core.typed-example/blob/master/...