On Tue, Mar 3, 2009 at 3:07 PM, Dimitris Vyzovitis <vyzo at media.mit.edu> wrote: > On Tue, 3 Mar 2009, Matthew Flatt wrote: > >>> Also, with regards to composition: by limiting the specific to a single >>> cell, the compositional properties can be managed at the language level >>> (scheme/base) where you are not limited by what you can reasonably do in >>> the core. >> >> This is probably a genuine disagreement. I believe that `scheme/base' >> is obliged to provide composable abstractions, and not just hooks into >> the implementation. > > I think that's what I was saying: scheme/base can provide what is the best > abstraction through the kernel hook; you are more limited when implemented > in kernel.
This conversation is confusing, but I think Matthew is saying that mzscheme's kernel is already providing a sufficient set of abstractions. No need for more. Robby
