NyaPL: the Nya Programming Language An effect-checked statically typed systems language Syntax Declaring immutable variables: let name: type = value; Declaring functions: fn name(param_name: type): type Declaring typedefs: typedef type_name = type;