core.typed 0.2.{73-74}

[Ambrose Bonnaire-Sergeant]

Hi,

[org.clojure/core.typed "0.2.74"]

A few months in the making, this release has 300 more unit tests than 0.2.72 and a few extra features.

README

CHANGELOG

# Thanks

Thanks to Kyle Kingsbury (@aphyr) for contributing patches to this release.

Also thanks to Deyan who has offered to cover my Amazon EC2 bill where I use instances for Typed Clojure development.

# Features

## defn and fn binders

defn and fn now support an explicit All binder.

;; old defn sytax
(ann identity (All [x] [x -> x])
(defn identity [a] a)
 
;; new defn syntax
(defn :forall [x]
   identity [a :- x] a)
 
;; new fn syntax
(fn :forall [x] [a :- x] a)

# Breaking Changes (see CHANGELOG)

---

You might notice a few type errors emerging from `if` expressions, hopefully these are ones that core.typed silently let pass through.

Enjoy!
Ambrose