This page is not created by, affiliated with, or supported by Slack Technologies, Inc.
2020-11-07
Channels
- # announcements (2)
- # babashka (38)
- # beginners (38)
- # calva (4)
- # cider (1)
- # clj-kondo (43)
- # clojure (50)
- # clojure-dev (39)
- # clojure-europe (4)
- # clojure-spec (4)
- # clojure-uk (2)
- # conjure (6)
- # core-async (5)
- # core-typed (3)
- # data-science (2)
- # datomic (6)
- # depstar (4)
- # emacs (1)
- # events (2)
- # fulcro (4)
- # jobs-discuss (4)
- # luminus (1)
- # off-topic (5)
- # re-frame (14)
- # shadow-cljs (8)
- # sql (8)
- # tools-deps (22)
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)