Types

Understand primitive types, inference, and where explicit annotations help.

Jot uses static typing with Hindley-Milner inference.

Common primitives

let retries = 3
let name = "jot"

The compiler infers these as Int and String.

fn parsePort(input: String) -> Int {
  // ...
}

Public functions and module exports should keep explicit signatures for readability.

Language Tour

A quick tour of values, control flow, and expression-oriented syntax.

Type Inference

How Jot infers types, reports errors, and where explicit annotations are most useful.