Untyped Scheme should be built on Typed Scheme? WAS: Re: [plt-scheme] macro question

From: Jay McCarthy (jay.mccarthy at gmail.com)
Date: Mon Dec 22 12:47:44 EST 2008

On Sun, Dec 21, 2008 at 5:38 PM, Sam TH <samth at ccs.neu.edu> wrote:
> I think the current layering is the right one.  This is because in
> general, it's better to build more complex systems from simpler ones,
> and the untyped system is simpler.

It would, IMHO, be nice for the MzScheme core to expose unsafe
operations that Typed Scheme (and other things) could use though.


Jay McCarthy <jay at cs.byu.edu>
Assistant Professor / Brigham Young University

"The glory of God is Intelligence" - D&C 93

Posted on the users mailing list.