[plt-scheme] Statically typed Lisp-like language?

From: Noel Welsh (noelwelsh at gmail.com)
Date: Tue Jan 1 06:28:57 EST 2008

Two examples spring immediately to mind:

- The recent Typed Scheme

- Standard ML, now mostly of historical interest.  Note that Standard
ML typically uses a different surface syntax to Lisp/Scheme


On Jan 1, 2008 4:57 AM, Grant Rettke <grettke at acm.org> wrote:
> I haven't ever come upon a statically typed Lisp.
> Have folks ever pursued such a thing? Is it good or bad for obvious reasons?
> There is Liskel: Haskell semantics + Lisp syntax

Posted on the users mailing list.