Is the JVM low level?

Alaric B. Williams alaric@abwillms.demon.co.uk
Tue, 29 Apr 1997 19:42:47 +0000


[Shared multilingual VM]

The bummer, as I see it, is with incompatible type systems... IMHO
the best approach here is to give the VM optional static typing,
where the static typing is based on some powerful model (ML? I don't
have much experience with it, but people seem to like it), but
*optional*. Then our Schemes can just run with only the minimum of
automatic type assertions (ie, force expects a future as it's
argument), but our totally type-strict language can put type
assertions everywhere.

ABW
--
Alaric B. Williams (alaric@abwillms.demon.co.uk)

   ---<## OpenDOS FAQ ##>---

Plain HTML: http://www.delorie.com/opendos/faq/
            http://www.deltasoft.com/faq.html

Fancy HTML: http://www.deltasoft.com/faq0000.html