Tutorial

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

In Hello External World, we will see Neut's "module-based" aspect. We will see how to use modules in Neut. You'll know how to create, build, execute, and release your modules.

In Programming in Neut, we will see Neut's "functional" aspect. We'll see how to write code in Neut.

In Static Memory Management, we will see Neut's "static" aspect. We will see how to handle memory operations in Neut. We'll also see Neut's technique to optimize memory allocation.

In Modality and Memory, we will see how Neut utilizes modality, especially the T-necessity operator, in its memory management.

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