Types and generics

What

Types in Musi appear near values and functions. You can read types without switching to a separate declaration section.

Why

Type annotations make intent and errors clearer for mixed teams and longer files.

let port : Int := 8080;
let identity[T] (input : T) : T := input;

How

Add annotations to values and functions, then apply generics where reusable behavior is needed.

identity[Int](port);

When

Use explicit typing when APIs are shared across modules or when signatures are not obvious.

Analogy

Similar to TypeScript annotations, but placed directly in the expression style used throughout Musi.

Try it

Try the two snippets before moving to Classes and instances.