Clojurians Log v2
Clojure programming
Channels
Apps
core-typed
Typed Clojure, an optional type system for Clojure
2020-11-07T02:35:37.001100Z
RE: a message I missed in June from paulll: yes typed.clj/spec is incompatible with spec1. it's spec2 only
2020-11-07T02:40:26.004100Z
@didibus RE: Was kind of curious to know how core.typed compared to Haskell?. core.typed is more like typescript/java/scala in that it has no type inference. that tends to dictate a lot of the flavor of the type system. so core.typed is flexible in some ways but annotation-hungry. the other major difference is core.typed is entirely optional.
2020-11-07T02:42:23.005200Z
it's pretty cool that someone tried typed.clj/spec -- if anyone knows who "paulll" is please ping me (looking at this zulip archive of this channel https://clojurians.zulipchat.com/#narrow/stream/180378-slack-archive/topic/core-typed/near/207664441)