Deft introduces a gradual type system for the Janet programming language, combining static analysis with runtime type checking. It supports bidirectional type inference, type annotations, and structured types like records and enums, enabling incremental adoption of static typing in Janet codebases.
Background
Janet is a Lisp dialect designed for speed and embeddability, traditionally using dynamic typing. Gradual typing allows mixing typed and untyped code, reducing migration barriers for projects seeking better tooling and reliability.
- Source
- Lobsters
- Published
- Sep 5, 2026 at 12:51 AM
- Score
- 5.0 / 10