[JHonaker]

I’m a big fan of Racket. It’s basically a batteries included Scheme (used to be called PLT Scheme) with an extra focus on ease of development of DSLs.

As an example, do you want a statically typed Scheme? Just change the language directive at the top of the file from `#lang racket` to `#lang racket/typed` and add your type annotations. You only have to add them when the type can’t be inferred. In practice this means when you have some mutation.

I highly suggest you take a look at Beautiful Racket [1] for some examples of what it means to be a language-oriented programming language. The book is written using Pollen, a typesetting language (a la LaTeX but not insane) written using Racket.

[1]: beautifulracket.com