Typed Scheme

Typed Scheme is a typed dialect of PLT Scheme. It integrates with modules written in other PLT dialects, and provides a type system designed to support common Scheme idioms. Typed Scheme is available as part of PLT Scheme version 4.

Documentation

The manual provides an introduction and reference for Typed Scheme.

More technical material on Typed Scheme, including an Isabelle/HOL formalization of the core of the type system, is available from the various papers.

Features

In this screenshot, we can see the definition of a typed factorial function.

In this screenshot, we have an error flagged by the type checker.