▼PLAI Typed Language
On this page:
PLAI Typed Language
8.12
  top  contents  ← prev  up   

PLAI Typed Language🔗ℹ

 #lang plai-typed package: plai-typed

The plai-typed language syntactically resembles the plai language, which is based on scheme, but the type system is close to that of ML.

    1 Definitions

    2 Expressions

    3 Predefined Functions and Constants

      3.1 Booleans

      3.2 Lists

      3.3 Numbers

      3.4 Symbols

      3.5 Strings

      3.6 Characters

      3.7 S-Expressions

      3.8 Vector

      3.9 Boxes

      3.10 Tuples

      3.11 Optional Values

      3.12 Hash Tables

      3.13 Parameters

      3.14 Equality

      3.15 Other Functions

    4 Types

    5 Syntactic Literals

    6 Type Checking and Inference

    7 Untyped with Typed Syntax

  top  contents  ← prev  up