core-typed

Typed Clojure, an optional type system for Clojure
whilo 2020-06-09T23:11:59.030800Z

that is my understanding as well.

whilo 2020-06-09T23:12:05.031100Z

thanks for the pointers.

whilo 2020-06-09T23:12:56.031600Z

what is the current status of your turnstile port to clj?

2020-06-09T23:44:30.034800Z

@whilo haven't worked on it recently. but in summary, it's hooked up, there's a PoC rule for clojure.core/ns, and I'm uneasy about imposing the burden of manually interleaving evaluation & type checking on rules writers.

2020-06-09T23:45:39.035900Z

so I'm letting it sit there until I can fully think it over