Racket

Also known as DrRacket, DrScheme, PLT Scheme

functional and contractual programming language, with strong, dynamic and reflective typing, derived from Scheme