Fork me on GitHub
#core-typed
<
2020-02-23
>
jeroenvandijk00:02:37

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

ambrosebs02:02:19

np any time! good night!

ambrosebs02:02:58

just pushed my first typed clojure snapshots to clojars

ambrosebs02:02:04

I'll document how to go from core.typed to https://github.com/typedclojure/typedclojure as I go

ambrosebs04:02:07

I forgot there's no reason for me to break everything. Just make a new namespace. duh. Haven't I attended enough RH talks?

ambrosebs04:02:47

that would be kindest to myself also, don't break the thousands of assertions in the tests xD

ambrosebs04:02:27

typed.clj.spec coming up

ambrosebs04:02:57

@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

rickmoynihan09:02:38

Just so you know, you have interested non-users too 🙂 This is fascinating stuff, keep up the good work!

ambrosebs04:02:10

no breaking changes intended

ambrosebs04:02:43

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

ambrosebs04:02:12

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

sogaiu04:02:30

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 🙂

ambrosebs05:02:51

@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

ambrosebs05:02:07

also spec works like this

ambrosebs07:02:01

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

ambrosebs07:02:24

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

sogaiu08:02:23

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

ambrosebs16:02:14

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

sogaiu02:02:50

thanks for the pointers!

👍 1
ambrosebs21:02:53

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