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 a pretty neat language because it can can both use and be used by (untyped) Scheme code in PLT Scheme.

Leave a Reply

Your email address will not be published. Required fields are marked *