The Plait language syntactically resembles the plai language, which is based on racket, but the type system is close to that of ML. For a quick introduction, see the tutorial section or the tutorial videos.
1Tutorial
1.1Getting Started
1.2Simple Data
1.3Using Built-in Functions
1.4Conditionals
1.5Lists
1.6Definitions
1.7Datatypes
1.8Testing and Debugging
1.9Anonymous Functions
1.10S-Expressions
1.11S-Expression Matching
1.12Tuples and Options
1.13Programs and Modules
1.14State
2Definitions
3Expressions
4Predefined Functions and Constants
4.1Booleans
4.2Lists
4.3Numbers
4.4Symbols
4.5Strings
4.6Characters
4.7S-Expressions
4.8Vector
4.9Boxes
4.10Tuples
4.11Optional Values
4.12Hash Tables
4.13Parameters
4.14Equality
4.15Other Functions
5Types
6Syntactic Literals
7Type Checking and Inference
8Untyped, Lazy, and Fuel Modes
AltStyle γ«γγ£γ¦ε€ζγγγγγΌγΈ (->γͺγͺγΈγγ«) / γ’γγ¬γΉ: γ’γΌγ: γγγ©γ«γ ι³ε£°γγ©γ¦γΆ γ«γδ»γ ι θ²εθ»’ ζεζ‘ε€§ γ’γγ€γ«