On this page:
Plait Language
8.12

Plait Language🔗ℹ

 #lang plait package: plait

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.

    1 Tutorial

      1.1 Getting Started

      1.2 Simple Data

      1.3 Using Built-in Functions

      1.4 Conditionals

      1.5 Lists

      1.6 Definitions

      1.7 Datatypes

      1.8 Testing and Debugging

      1.9 Anonymous Functions

      1.10 S-Expressions

      1.11 S-Expression Matching

      1.12 Tuples and Options

      1.13 Programs and Modules

      1.14 State

    2 Definitions

    3 Expressions

    4 Predefined Functions and Constants

      4.1 Booleans

      4.2 Lists

      4.3 Numbers

      4.4 Symbols

      4.5 Strings

      4.6 Characters

      4.7 S-Expressions

      4.8 Vector

      4.9 Boxes

      4.10 Tuples

      4.11 Optional Values

      4.12 Hash Tables

      4.13 Parameters

      4.14 Equality

      4.15 Other Functions

    5 Types

    6 Syntactic Literals

    7 Type Checking and Inference

    8 Untyped, Lazy, and Fuel Modes