Tutorial

Neut is a module-based functional programming language with static memory management via modality. This chapter offers a quick introduction to the language.

Modules and Sources covers the "module-based" part. We'll see how to use modules in Neut.

Programming in Neut covers the "functional" part. We'll see how to write code in Neut.

Static Memory Management covers the "static" part. We'll see how memory is managed in Neut. We'll also see Neut's technique to optimize memory allocation.

Modality and Memory and Modal Metaprogramming cover the "modality" part. We'll see how memory operations and macros in Neut are organized around modality.

Further Examples presents some libraries written in this language as examples.

This chapter assumes you are familiar with languages like Haskell, OCaml, or F#.