10 ms·
The information on what needs annotating isn't quite complete: loops and some other macros need annotations. I'm probably responsible for the thinking that ann
by ambrosebs 13y ago
The information on what needs annotating isn't quite complete: loops and some other macros need annotations.
I'm probably responsible for the thinking that annotations are only needed for "top levels and function parameters". I usually forget about the other ones, but I think those two are the most significant.
- systems 13y agois there any feedback from rich hickey on your work on core.typed, are you guys aligned on how it should be designed/implemented?
- ambrosebs 13y agoRich hasn't been directly involved, aside from providing encouragement. Almost all the design/implementation work was done via Typed Racket anyway. I stole a lot of it and spent most of the time on Clojure-specific problems.
- Kototama 13y agoHow was it decided that it will be part of core contrib?
- puredanger 13y agoAmbrose proposed it and the Clojure core team accepted it.
- mstocker 13y agoFixed!