core-typed

2024-12-03T05:16:08.995469Z

Is there a correct way to use Typedclojure with Clojure Records?

2024-12-03T06:09:25.932239Z

Seems like u/ann-record is my friend

2024-12-03T17:28:49.850839Z

use typed.clojure/ann-record, for example

(t/ann-record typed.cljc.analyzer.WithMetaExpr
              [op :- ana/Op
               form :- ana/Form
               env :- ana/Env
               meta :- ana/Expr
               expr :- ana/Expr
               top-level :- t/Any
               children :- (t/Vec t/Kw)])

👍 1
👀 1