[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
  http://www.ccs.neu.edu/home/samth/typed-scheme.html

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

N.

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.