MOOSE project -- looking for a language

David Richter
Mon, 24 Oct 94 19:29:23 -0500

You might look at the work already done on OS's written in Scheme.
(qv. the Scheme FAQ in comp.lang.scheme or comp.lang.lisp).

Regarding typechecking, if you don't want to reinvent the wheel, check
out Andrew Wright's soft-typer for Scheme.  It should be extendable to
support type declarations at (eg.) module boundaries. (A reference
should be in the FAQ, otherwise ftp to and look
around.  If I remember, it wasn't overly hard to find.)