Gradual typing in Clojure, as a library.
Latest stable release is 0.1.15.
Leiningen dependency information:
[org.clojure/core.typed "0.1.15"]
Maven dependency information:
<dependency>
<groupId>org.clojure</groupId>
<artifactId>core.typed</artifactId>
<version>0.1.15</version>
</dependency>
Use the core.typed mailing list for core.typed discussion, or try #clojure on IRC.
See wiki.
(clojure.core.typed/ann v t)
gives var v
the static type t
.
(clojure.core.typed/ann-form f t)
ensures form f
is of the static type t
.
(clojure.core.typed/check-ns)
type checks the current namespace.
(clojure.core.typed/cf t)
type checks the form t
.
- Equality filters for occurrence typing
- Unify AST with ClojureScript
- Namespace dependency management
- Track changes to Typed Racket
Stephen Compall (S11001001) Andrew Brehaut (brehaut)
Copyright © Ambrose Bonnaire-Sergeant, Rich Hickey & contributors.
Licensed under the EPL (see the file epl.html).