Skip to main content
Link
Menu
Expand
(external link)
Document
Search
Copy
Copied
Get started
Guide
Part I — First Light
Chapter 1 — Hello, Ingle
Chapter 2 — Values and Bindings
Chapter 3 — Numbers, Text, and Truth
Part II — Building Things
Chapter 4 — Functions
Chapter 5 — Control Flow
Chapter 6 — Arrays and Iteration
Chapter 7 — Structs and Methods
Chapter 8 — Enums and Pattern Matching
Part III — Bigger Ideas
Chapter 9 — Errors and Optionals
Chapter 10 — Generics and Interfaces
Chapter 11 — Functions as Values, and Closures
Chapter 12 — Ownership Without Tears
Chapter 13 — Memory, the Quiet Way
Chapter 14 — Concurrency
Chapter 15 — Modules and the Standard Library
Chapter 16 — Talking to C
Part IV — Knowing You're Right
Chapter 17 — Contracts
Chapter 18 — The Verification Loop
Chapter 19 — The Tape, and Errors as Data
Chapter 20 — Crucible: The Memory Fuzzer
Part V — Reference
Chapter 21 — The Whole Toolbox
Chapter 22 — Compiling to Native
Chapter 23 — The "Not Yet" List
Chapter 24 — One-Page Cheat Sheet
Part VI — Things People See
Chapter 25 — Flare: Interfaces You Can Read
Appendix A — Glossary
Colophon
Language Reference
Flare — declarative UI
Faults — the error model
For LLMs — the priors cheat-sheet
Compiler & Toolchain Architecture
std/http — Design of Record
std/sqlite — Databases
Ingle from the Inside
Search Ingle
Ingle on GitHub
Guide
Part IV — Knowing You're Right
Part IV — Knowing You’re Right
Chapter 17 — Contracts
Chapter 18 — The Verification Loop
Chapter 19 — The Tape, and Errors as Data
Chapter 20 — Crucible: The Memory Fuzzer
Table of contents
Chapter 17 — Contracts
Chapter 18 — The Verification Loop
Chapter 19 — The Tape, and Errors as Data
Chapter 20 — Crucible: The Memory Fuzzer