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

[Noel Welsh]

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