Liking cljdoc? Tell your friends :D

core.typed

Optional typing in Clojure, as a library.

Usage Overview

core.typed is separated into modules. You'll want the full type checker at development time, and the runtime dependencies in production.

In Clojure CLI's deps.edn, this will look something like this:

{:deps {org.clojure/core.typed.runtime.jvm {:mvn/version "0.7.2"}}
 :aliases {:dev {:extra-deps {org.clojure/core.typed.checker.jvm {:mvn/version "0.7.2"}}}}}

You can then start a dev repl with clj -A:dev.

In Leiningen's project.clj, something like this:

(defproject a-project "0.0.1-SNAPSHOT"
  :dependencies [[org.clojure/core.typed.runtime.jvm "0.7.2"]]
  :profiles {:dev {:dependencies [[org.clojure/core.typed.checker.jvm "0.7.2"]]}})

Then, lein repl will automatically activate the :dev profile. Verify the type checker is not included in uberjars with lein with-profile uberjar deps :tree.

Releases and Dependency Information

Latest stable release is 0.7.2.

See modules for specific version coordinates:

Core type system

checker.jvm: The JVM type checker
runtime.jvm: JVM Runtime dependencies
analyzer.jvm: Analyzer for JVM Clojure
analyzer.js: Analyzer for JS Clojure (unreleased)
checker.js: The JS type checker (unreleased)
analyzer.common: Implementation-agnostic base for Clojure analyzers

Library Annotations

lib.clojure: Base type annotations
lib.core.async: Annotations for core.async

Utility libraries

annotator.jvm: Automatic annotator
lang.jvm: Extensible languages

Compatibility

core.typed supports Clojure 1.10.1 and JDK 1.8+.

Mailing List and IRC

Use the core.typed mailing list for core.typed discussion.

Contributors

Thanks to the following people for contributing to core.typed:

Stephen Compall (S11001001)
Andrew Brehaut (brehaut)
Christopher Spencer (cspencer)
Reid McKenzie (arrdem)
Di Xu (xudifsd)
Nicola Mometto (Bronsa)
Chas Emerick (cemerick)
Jake Goulding (shepmaster)
Andy Fingerhut
Aravind K N (arav93)
Allen Rohner (arohner)
Minori Yamashita (ympbyc)
Kyle Kingsbury (aphyr)
Nathan Sorenson
Tobias Kortkamp (t6)
Alejandro Gomez (dialelo)
Piotr Jarzemski (kazuhiro)

YourKit is kindly supporting core.typed and other open source projects with its full-featured Java Profiler. YourKit, LLC is the creator of innovative and intelligent tools for profiling Java and .NET applications. Take a look at YourKit's leading software products: