State of core.typed?

[Didier]

Hi,

I've been finding it a little hard to understand the current state of
core.typed. The impression I get is that it's not quite as mature as Typed
Racked or TypeScript, but that's just conjecture as I cannot find any
accurate recent status for the state of the project.

For example, does core.typed now support Gradual Typing? Or is that still
in development?

[Ambrose Bonnaire-Sergeant]

Hi Didier,

core.typed is not as mature as TR or TS. It's just me working on it.

Gradual typing is mostly done and just needs some polish before I merge it
<https://github.com/typedclojure/core.typed/pull/98>.
I haven't made time to do this, I can make it a priority if there's enough
interest.

Currently I'm working on automatic annotations
<https://www.indiegogo.com/projects/typed-clojure-clojure-spec-auto-annotations>
for Typed Clojure and spec.
Right now I'm working on the readability
<https://github.com/typedclojure/core.typed/pull/115> of these annotations.

Thanks,
Ambrose

Post by Didier
Hi,
I've been finding it a little hard to understand the current state of
core.typed. The impression I get is that it's not quite as mature as Typed
Racked or TypeScript, but that's just conjecture as I cannot find any
accurate recent status for the state of the project.
For example, does core.typed now support Gradual Typing? Or is that still
in development?

[Didier]

Got it.

Thanks for all the work you're doing on this by the way. It's really
appreciated, and quite impressive.

On Saturday, 15 October 2016 15:27:08 UTC-7, Ambrose Bonnaire-Sergeant

Post by Ambrose Bonnaire-Sergeant
Hi Didier,
core.typed is not as mature as TR or TS. It's just me working on it.
Gradual typing is mostly done and just needs some polish before I merge it
<https://github.com/typedclojure/core.typed/pull/98>.
I haven't made time to do this, I can make it a priority if there's enough
interest.
Currently I'm working on automatic annotations
<https://www.indiegogo.com/projects/typed-clojure-clojure-spec-auto-annotations>
for Typed Clojure and spec.
Right now I'm working on the readability
<https://github.com/typedclojure/core.typed/pull/115> of these
annotations.
Thanks,
Ambrose

Post by Didier
Hi,
I've been finding it a little hard to understand the current state of
core.typed. The impression I get is that it's not quite as mature as Typed
Racked or TypeScript, but that's just conjecture as I cannot find any
accurate recent status for the state of the project.
For example, does core.typed now support Gradual Typing? Or is that still
in development?