Introduction to Types in Nu

1st chunk of `lang-guide/chapters/types/00_types_overview.md`

8ac5384c49a59d6eb22bf7cc771800ac515fd406b89b57fe000000010000021e

# Types in the Nu Language

## Overview

Nu is strongly typed and gradually typed.

- **Strongly typed:** Types are strictly enforced.
- **Gradually typed:** A mix between static (types are checked at compile time) type checks and dynamic (types are checked at runtime).

  Gradual typing is a clarification of optional typing where the developer could choose or not choose to add type annotations to declarations. This paper from Jeremy Siek is here: [What is Gradual Typing?](https://wphomes.soic.indiana.edu/jsiek/what-is-gradual-typing/)

Title: Introduction to Types in Nu

Summary

Nu is a strongly and gradually typed language. This means types are strictly enforced, but type checking can happen at compile time (static) or runtime (dynamic). Gradual typing allows developers to optionally add type annotations.