core.typed is an optional static type system for Clojure, providing gradual typing features like type declarations, checking, and inference. It supports modules for development-time checking and runtime typing, though note that it's deprecated as of Clojure 1.11 in favor of Typed Clojure. core.typed is separated into modules. You'll want the full type checker at development time, and the runtime dependencies in production. 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.

Features

  • Optional static type checking using type annotations in Clojure
  • Provides separate modules for development (checker) and runtime (runtime.jvm)
  • Offers macros and functions to annotate and check namespaces (check-ns, etc.)
  • Supports both JVM Clojure and has planned—but unreleased—JS targets (analyzer.js, checker.js)
  • Facilitates gradual typing JavaScript-like environments in Clojure
  • Encourages more type safety in dynamic codebases, though uptake has been limited

Project Samples

Project Activity

See All Activity >

Categories

System

License

Eclipse Public License

Follow core.typed

core.typed Web Site

Other Useful Business Software
Go From AI Idea to AI App Fast Icon
Go From AI Idea to AI App Fast

One platform to build, fine-tune, and deploy ML models. No MLOps team required.

Access Gemini 3 and 200+ models. Build chatbots, agents, or custom models with built-in monitoring and scaling.
Try Free
Rate This Project
Login To Rate This Project

User Reviews

Be the first to post a review of core.typed!

Additional Project Details

Operating Systems

Linux, Mac, Windows

Registered

2025-08-20