Tutorial

Neut is a module-based functional programming language with static memory management via modality. This chapter is a quick introduction to this 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 covers the "modality" part. We'll see how memory operations introduced in the previous section can be understood via modality.

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