core typed

We have hosted the application core typed in order to run this application in our online workstations with Wine or directly.

Quick description about core typed:

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

Categories: