Clojurians Log v2

It's getting late here. Have a good day/night! Thanks for giving me a type checking intro 🙂

np any time! good night!

just pushed my first typed clojure snapshots to clojars

feels good

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

typed.clj.spec coming up

@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

no breaking changes intended

and I think I was being a little silly, I don't think I want to break everything. lol

incremental changes and improvements will get me where I want to be

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

also spec works like this

PR's are open for business. clojure ca still required, more info here https://github.com/typedclojure/typedclojure/blob/master/CONTRIBUTING.md

made a fancy automated check for CA. not foolproof, but should work well enough.

@ambrosebs thanks for the response. is it correct that in both of these cases the "targets" are identified by names?

@sogaiu pretty much, see clojure.core.typed/ann and clojure.spec/def

woop, auto-deploy clojars snapshots from GitHub Actions https://github.com/typedclojure/typedclojure/runs/463480648