This page is not created by, affiliated with, or supported by Slack Technologies, Inc.
2017-07-16
Channels
- # aleph (4)
- # bangalore-clj (10)
- # beginners (39)
- # boot (24)
- # cljs-dev (66)
- # cljsrn (79)
- # clojure (39)
- # clojure-italy (7)
- # clojure-russia (6)
- # clojure-spec (4)
- # clojure-uk (1)
- # clojurescript (91)
- # core-async (1)
- # core-typed (2)
- # datomic (49)
- # hoplon (42)
- # lumo (2)
- # nyc (1)
- # off-topic (1)
- # parinfer (20)
- # pedestal (2)
- # reagent (4)
- # rum (14)
- # vim (2)
@ambrosebs Thought so 😉 Clojure has so many nooks and crannies, it's amazing there is a type checker for it at all! Since you're here: What would be the best way to typecheck generated code? I wrote a small language that compiles to a small subset of clj, and would like to exploit core.typed for its type checking... So far, I generate a big let and run it through cf, but it would be nice to get access to the typing context as well.