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 https://clojurians.zulipchat.com/#narrow/stream/180378-slack-archive/topic/core-typed/near/207664441)