[plt-scheme] TypedScheme: alpha release

From: Sam TH (samth at ccs.neu.edu)
Date: Mon Dec 18 14:09:54 EST 2006

The TypedScheme programming language, a dialect of PLT Scheme
with static type checking, is now available from PLaneT. The
language is explicitly typed and supports some polymorphism. Its
type system is designed to support the common Scheme programming
style, as used in The Little LISPer/Schemer or How to Design

This alpha release consists of a functional core language with
typed definitions of all kinds, including variables, functions
and structures as well as some polymorphism.

We expect the language to include imperative constructs in the
near future.

Web page: http://www.ccs.neu.edu/~samth/typed-scheme.html
Documentation: http://www.ccs.neu.edu/~samth/typed-scheme/
PLaneT link: http://planet.plt-scheme.org/#typed-scheme.plt
   (require (planet "info.ss" ("plt" "typed-scheme.plt")))
   or (from a command line)
   > planet -i plt typed-scheme.plt 1 0
Feedback: samth at ccs.neu.edu

All feedback, concerning the programming language, its
documentation, and its implementation is welcome.


Sam Tobin-Hochstad

Posted on the users mailing list.