"Assume type" operation, transducers

[Leon Grapenthin]

Hi everyone,
finally found some time to play around with this lib, hoping to use it in
production soon.

Two questions:

- Is there an operation where I can wrap an arbitrary form and decide the
type for core.typed so that it would just take my word for granted and not
check the inner expression?

- What are the plans on transducer support?

Kind regards,
Leon.

[Ambrose Bonnaire-Sergeant]

Hi Leon,

Great to hear you're playing with core.typed.

1. Try ignore-with-unchecked-cast
<https://github.com/clojure/core.typed/blob/master/module-check/src/main/clojure/clojure/core/typed/unsafe.clj#L9>
2. We're planning to add transducer support eventually, but the details are
unclear.
It seems we need better type inference and type-function support.

Thanks,
Ambrose

Post by Leon Grapenthin
Hi everyone,
finally found some time to play around with this lib, hoping to use it in
production soon.
- Is there an operation where I can wrap an arbitrary form and decide the
type for core.typed so that it would just take my word for granted and not
check the inner expression?
- What are the plans on transducer support?
Kind regards,
Leon.

[Leon Grapenthin]

Thanks! I'll try ignore-with-unchecked-cast and let you know.

On Monday, April 11, 2016 at 11:47:54 PM UTC+2, Ambrose Bonnaire-Sergeant

Post by Ambrose Bonnaire-Sergeant
Hi Leon,
Great to hear you're playing with core.typed.
1. Try ignore-with-unchecked-cast
<https://github.com/clojure/core.typed/blob/master/module-check/src/main/clojure/clojure/core/typed/unsafe.clj#L9>
2. We're planning to add transducer support eventually, but the details
are unclear.
It seems we need better type inference and type-function support.
Thanks,
Ambrose

Post by Leon Grapenthin
Hi everyone,
finally found some time to play around with this lib, hoping to use it
in production soon.
- Is there an operation where I can wrap an arbitrary form and decide the
type for core.typed so that it would just take my word for granted and not
check the inner expression?
- What are the plans on transducer support?
Kind regards,
Leon.