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.

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

core.typed Screenshot 1

Project Activity

See All Activity >

Categories

System

License

Eclipse Public License

Follow core.typed

core.typed Web Site

nel_h2
Gen AI apps are built with MongoDB Atlas Icon
Gen AI apps are built with MongoDB Atlas

The database for AI-powered applications.

MongoDB Atlas is the developer-friendly database used to build, scale, and run gen AI and LLM-powered apps—without needing a separate vector database. Atlas offers built-in vector search, global availability across 115+ regions, and flexible document modeling. Start building AI apps faster, all in one place.
Start 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
Report inappropriate content