Fort

An optional type system for Clojure, based on Typed Clojure.

Usage Overview

Fort 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 {fort.clj/runtime {:mvn/version "0.0.0"}}
 :aliases {:dev {:extra-deps {fort.clj/checker {:mvn/version "0.0.0"}}}}}

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 [[fort.clj/runtime "0.0.0"]]
  :profiles {:dev {:dependencies [[fort.clj/checker "0.0.0"]]}})

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

See modules for specific version coordinates:

Clojure implementation

• fort.clj/checker: The JVM type checker
• fort.clj/runtime: JVM Runtime dependencies
• fort.clj/analyzer: Analyzer for JVM Clojure
• fort.clj/annotator: Automatic annotator
• fort.clj/lang: Extensible languages
• fort.clj/spec: Type-like specs.

ClojureScript implementation (Work in progress)

• fort.cljs/analyzer: Analyzer for JS Clojure (unreleased)
• fort.cljs/checker: The JS type checker (unreleased)

Implementation-agnostic

• fort.cljc/analyzer: Implementation-agnostic base for Clojure analyzers

Library Annotations

• fort.lib/clojure: Base type annotations
• fort.lib/core.async: Annotations for core.async

Compatibility

Fort supports Clojure 1.10.1 and JDK 1.8+.

Mailing List and Chat

Use the core.typed mailing list for Fort discussion.

#core-typed on Clojurians Slack (most active, for short announcements and questions)

Archive for #core-typed Slack

#typedclojure on ZulipChat (for longer discussions due to threading and unlimited history)

Contributors

Thanks to the following people for contributing to core.typed, on which Fort is based:

• 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)

Sponsors

Thanks to the following companies for their active sponsorship of Fort's development via OpenCollective.

License

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

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

tools.analyzer

Copyright © Nicola Mometto, Rich Hickey & contributors.

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

tools.analyzer.jvm

Copyright © Nicola Mometto, Rich Hickey & contributors.

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

tools.analyzer.js

Copyright © Nicola Mometto, Rich Hickey & contributors.

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