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. -- vyzo
