This page is not created by, affiliated with, or supported by Slack Technologies, Inc.
2020-06-05
Channels
- # babashka (14)
- # beginners (62)
- # calva (1)
- # cider (54)
- # clj-kondo (3)
- # cljdoc (15)
- # cljs-dev (2)
- # clojure (180)
- # clojure-europe (5)
- # clojure-italy (4)
- # clojure-losangeles (1)
- # clojure-nl (2)
- # clojure-spec (10)
- # clojure-uk (39)
- # clojurescript (85)
- # core-async (9)
- # core-logic (1)
- # core-typed (5)
- # data-science (27)
- # datomic (2)
- # emacs (15)
- # figwheel-main (98)
- # fulcro (26)
- # graphql (15)
- # helix (1)
- # jobs-discuss (26)
- # kaocha (1)
- # off-topic (54)
- # other-lisps (1)
- # re-frame (21)
- # reagent (1)
- # reitit (3)
- # shadow-cljs (49)
- # spacemacs (12)
- # specter (5)
- # xtdb (2)
@ambrosebs That is very interesting! Do you have a comparison to related work, e.g. the macrology work in Racket, in your thesis or somewhere else?
@whilo yes. Part III compares it thoroughly with tools.analyzer, and IIRC hints at comparisons to Common Lisp's standard. See Chapter 25 for some brief comparisons to turnstile and similar https://ambrosebs.com/files/ambrosebs-phd-thesis.pdf
keep in mind as you read it that typing rules for Typed Clojure was hypothetical at that point and had only been prototyped. so there's some soft language in the related works.