Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with
or
.
Download ZIP
An optional type system for Clojure
Clojure Java Other
Tag: core.typed-0.1…

Fetching latest commit…

Cannot retrieve the latest commit at this time

Failed to load latest commit information.
src
.gitignore
CHANGELOG.md
README.md
epl.html
pom.xml
project.clj

README.md

core.typed

Gradual typing in Clojure, as a library.

Releases and Dependency Information

Latest stable release is 0.1.9.

Leiningen dependency information:

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

Maven dependency information:

<dependency>
  <groupId>org.clojure</groupId>
  <artifactId>core.typed</artifactId>
  <version>0.1.9</version>
</dependency>

[Talk] Clojure Conj 2012

Video

Mailing List

Use the core.typed mailing list for core.typed discussion, or try #clojure on IRC.

Documentation

See wiki.

Quickstart

(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.

Developer Information

Future work

Contributors

Stephen Compall (S11001001) Andrew Brehaut (brehaut)

License

Copyright © Ambrose Bonnaire-Sergeant, Rich Hickey & contributors.

Licensed under the EPL (see the file epl.html).

Something went wrong with that request. Please try again.