Core.Typed Adds an Optional Type System to Clojure

Re:Core.Typed Adds an Optional Type System to Clojure by ambrosebs on Monday October 07, 2013 @10:49AM (#6508570)

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.

[ Parent | on HN ]

Re:Core.Typed Adds an Optional Type System to Clojure by systems on Monday October 07, 2013 @10:56AM (#6508614)

is there any feedback from rich hickey on your work on core.typed, are you guys aligned on how it should be designed/implemented?

[ Parent | on HN ]

Re:Core.Typed Adds an Optional Type System to Clojure by ambrosebs on Monday October 07, 2013 @11:04AM (#6508675)

Rich 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.

[ Parent | on HN ]

Re:Core.Typed Adds an Optional Type System to Clojure by Kototama on Monday October 07, 2013 @12:12PM (#6509193)

How was it decided that it will be part of core contrib?

[ Parent | on HN ]

Re:Core.Typed Adds an Optional Type System to Clojure by puredanger on Monday October 07, 2013 @12:39PM (#6509407)

Ambrose proposed it and the Clojure core team accepted it.

[ Parent | on HN ]

Re:Core.Typed Adds an Optional Type System to Clojure by mstocker on Tuesday October 08, 2013 @02:52AM (#6513416)

Fixed!

[ Parent | on HN ]