Racket

Flit Language🔗ℹ

package: flit

The flit language syntactically resembles the plai language, which is based on racket, but the type system is close to that of ML. It is based on the plait and plai-typed languages, but with additions to help with teaching typed functional programming. 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.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

2 Definitions

3 Expressions

4 Predefined Functions and Constants

7 Type Checking and Inference

8 Untyped, Lazy, and Fuel Modes

1	Tutorial
2	Definitions
3	Expressions
4	Predefined Functions and Constants
5	Types
6	Syntactic Literals
7	Type Checking and Inference
8	Untyped, Lazy, and Fuel Modes