Documentation
Welcome to the Lento Programming Language documentation!
Here you will find everything you need to know about Lento, from the basics to the advanced features.
Begin with installing Lento and then move on to the Getting Started section.
Join our Discord community to ask questions, share your projects, and connect with other Lento developers.
If you are interested in helping out, read the contributing guide and our code of conduct on GitHub.
Getting Started
Advanced
- Type System
- Subtyping
- Nominal vs Structural Typing
- Polymorphism
- Type Classes
- Dependent Types
- Liquids and Refinements
- Effect System
- Session Types
- Program Specification
- Resource Management
- Memory Management
- Concurrency Models
- Automatic Parallelization
- Compile-time Evaluation
- Metaprogramming
- Built-in Attributes
- Program Synthesis
- Holes and Partial Programs
- Partial Evaluation
- Compiler Internals
- Language Extensions
Further Reading
Additional resources for learning more about Lento and its ecosystem external to this documentation.
Books
To be announced.
Papers
Blogs
- WilliamR.dev on Lento and other programming topics
Videos
To be announced.
Reference Manual
Check out the quick reference cheat sheet for a comprehensive guide to Lento’s syntax, semantics, and standard library. This section is ideal for experienced programmers looking for quick information about specific language features.
Formal Specification
Read the formal language specification for a detailed description of Lento syntax and semantics. This document is intended for language implementors and those interested in the formal grammar of the language.