Typed Clojure

Hi, I'm excited to announce Typed Clojure 1.1.1 which includes support for symbolic execution via

I agree you on the in-fix notation vs sexps bit. From a developer experience perspective, I feel like

Hi, The latest release of the type checker has a bunch of improvements. A lot of them have been

Hi, Typed Clojure has long struggled with incomprehensible error messages--today I merged an

Hi, I've done some Typed Clojure performance work recently that might be of interest to people on

Hi, I've been working on a new Typed Clojure library for defining type-like specs. You can see

Hi Ambrose, You made a request for people to reach out if people were using Typed Clojure or followed

Love it! On Tuesday, 16 April 2019 13:01:58 UTC-7, Ambrose Bonnaire-Sergeant wrote: Hi, Recently (

Hi, core.typed has been split into multiple repos. - core.typed.runtime.jvm - runtime dependencies

Hi, We just submitted a new paper to PLDI about generating core.typed annotations. https://frenchy64.

Hi, Announcing core.typed 0.6.0. [org.clojure/core.typed "0.6.0"] This release has several

Nice one Ambrose, I look forward to the release. On Thursday, 8 November 2018 20:40:10 UTC+13,

Hi Ambrose, Thank you for your quick and useful response. I realise that I'm only half way in

Hi, Announcing the release of core.typed 0.5.0. [org.clojure/core.typed "0.5.0"] ... ; for

Still waiting on this, although with clojure/conj going on right now isn't a great time. On

Hi, Happy to announce a new set of tools to automatically generate types and specs for your projects.

Please was all mine! :) On Tuesday, 17 January 2017 12:22:30 UTC+5:30, Ambrose Bonnaire-Sergeant

Untested, try this. (ann drop-every-n-times (t/All [a] [(t/Vec a) Int -> (t/Vec a)])) (defn drop-

Yep. That was what I was looking for. Thanks, Chris On Sat, Mar 18, 2017 at 3:46 PM, Ambrose Bonnaire

Thanks, I'll fix this in the next few days. On Wed, Mar 8, 2017 at 7:56 AM, Herwig Hochleitner

Hi Ambrose! Thanks for the response. I been interested in type inference for a while, read the damas

Where does this error message originate? On Tue, Feb 21, 2017 at 4:35 PM, Peter Fraenkel <peter.

Hi, Very excited to *finally* merge Di Xu's GSoC 2014 work. This is awesome stuff! We can now

Hi, [org.clojure/core.typed "0.3.30"] core.typed 0.3.30 removes the concept of a "

Hi, Announcing core.typed 0.3.29. [org.clojure/core.typed "0.3.29"] This release requires a

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

That helped - I was able to run spec-infer without errors, but then it didn't generate any specs

I just release core.typed 0.3.26, which includes AOT files and should load much quicker. Thanks,

Ok I figured it doesn't matter. I've filled it in anyway. Cheers, Jeroen On Thu, Aug 18, 2016

Thank you for your suggestion. My current code is messy. I will make it clean and upload. Best, 2016-