This page is not created by, affiliated with, or supported by Slack Technologies, Inc.
2020-02-23
Channels
- # announcements (18)
- # babashka (65)
- # bangalore-clj (14)
- # beginners (80)
- # bristol-clojurians (1)
- # calva (4)
- # chlorine-clover (3)
- # cider (39)
- # clj-kondo (5)
- # clojars (1)
- # clojure (134)
- # clojure-france (1)
- # clojure-losangeles (3)
- # clojure-nl (1)
- # clojure-uk (7)
- # clojurescript (17)
- # core-typed (22)
- # data-science (1)
- # datomic (6)
- # duct (9)
- # emacs (48)
- # fulcro (58)
- # graalvm (37)
- # kaocha (2)
- # nrepl (1)
- # reagent (8)
- # shadow-cljs (20)
- # specter (1)
- # tree-sitter (5)
- # xtdb (3)
It's getting late here. Have a good day/night! Thanks for giving me a type checking intro 🙂
I'll document how to go from core.typed to https://github.com/typedclojure/typedclojure as I go
I forgot there's no reason for me to break everything. Just make a new namespace. duh. Haven't I attended enough RH talks?
that would be kindest to myself also, don't break the thousands of assertions in the tests xD
@zilti you might be interested as my one user. here's the instructions to migrate to the latest typedclojure version https://github.com/typedclojure/typedclojure/blob/master/UPGRADING.md#from-coretyped-100-to-typedclojure-101
Just so you know, you have interested non-users too 🙂 This is fascinating stuff, keep up the good work!
and I think I was being a little silly, I don't think I want to break everything. lol
i have a tangential(?) question that i'm hoping to get some leads on. i'd like to be able to "annotate" forms in a file, but not actually write those annotations in the file, but have them stored separately. at some point i'd like to "apply" these annotations to the forms they are supposed to be applied to. are there some well-understood means of doing this well or perhaps it has been shown to not work very well already? i've seen some work in the java world for this, e.g. https://checkerframework.org/annotation-file-utilities/annotation-file-format.html thanks for any ideas 🙂
@sogaiu that sounds like how typed clojure works. you give top-level annotations for vars, and then the checker uses them to check the forms
PR's are open for business. clojure ca still required, more info here https://github.com/typedclojure/typedclojure/blob/master/CONTRIBUTING.md
@ambrosebs thanks for the response. is it correct that in both of these cases the "targets" are identified by names?
woop, auto-deploy clojars snapshots from GitHub Actions https://github.com/typedclojure/typedclojure/runs/463480648