Fork me on GitHub

RE: a message I missed in June from paulll: yes typed.clj/spec is incompatible with spec1. it's spec2 only


@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.


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