MOOSE project -- looking for a language
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 ftp.cs.rice.edu and look
around. If I remember, it wasn't overly hard to find.)