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
_________________________________________________
For list-related administrative tasks:
http://list.cs.brown.edu/mailman/listinfo/plt-dev
