This page is not created by, affiliated with, or supported by Slack Technologies, Inc.
2020-02-26
Channels
- # announcements (18)
- # aws (17)
- # babashka (19)
- # beginners (141)
- # calva (73)
- # cider (4)
- # clj-kondo (13)
- # cljs-dev (2)
- # clojure (97)
- # clojure-europe (6)
- # clojure-italy (5)
- # clojure-nl (1)
- # clojure-spec (25)
- # clojure-sweden (2)
- # clojure-uk (25)
- # clojured (3)
- # clojurescript (63)
- # core-typed (6)
- # cursive (23)
- # data-science (4)
- # datomic (74)
- # fulcro (19)
- # graalvm (18)
- # graphql (3)
- # hoplon (63)
- # jackdaw (1)
- # juxt (23)
- # london-clojurians (3)
- # meander (7)
- # off-topic (23)
- # om (1)
- # pathom (13)
- # pedestal (2)
- # perun (2)
- # re-frame (38)
- # reagent (3)
- # reitit (24)
- # shadow-cljs (91)
- # spacemacs (14)
- # sql (4)
- # tools-deps (8)
- # vim (3)
phew all the coordinate renames are done. exactly zero people should care right now, but I can get on with actual work. 1.0.10 is out https://github.com/typedclojure/typedclojure/blob/master/UPGRADING.md#from-typedclojure-107-to-typedclojure-1010
it begins ... https://github.com/typedclojure/typedclojure/tree/master/typed/clj.spec
🤞 16
s/conform'ing polymorphic clojure.core/map, example & counter-example https://github.com/typedclojure/typedclojure/blob/a2e4f7803ce5ff4e10285f230120de56bc9da048/typed/clj.spec/test/typed_test/clj/spec.clj#L37-L52
@yogsototh ^^ you asked me last week if I had a counter-example for clojure.core/map's polymorphic spec 🙂
(s/register
::map1-dependent
(all [:N (tvar-spec :kind nat-int?
:gen #(gen/large-integer
{:min 0
:max 100}))
:x (tvar-spec :kind ::t/any-spec?)
:y (tvar-spec :kind ::t/any-spec?)]
(s/fspec :args (s/cat :fn (s/fspec :args (s/cat :x (tvar :x))
:ret (tvar :y))
:colls (s/every (tvar :x)
:count (tvar :N)))
:ret (s/every (tvar :y)
:count (tvar :N)))))