Matthias Felleisen wrote:
Since Scheme is still observably sequential, I urge you to use the
category of Observably Sequential Functions instead of plain
Continuous Functions just so that the denotational equivalence gets
closer to truth (observational equivalence, as defined via denotations).
I'll look into that since I am not familiar with Observably Sequential
Functions. I do like your use of the word "still," there :-)
I'd also like to see an attempt made to eliminate the store and
continuation passing style aspects of the semantic mapping because I
suspect that this poses additional problems.
I share a strong sense that the construction of a store, in the familiar
way, is not the best way to model things.
I hadn't thought about continuation passing style in a similar light but
it does seem odd (and creates the horror that is call/cc) to so
intimately tie the meaning of an expression to the entire future of a
computation that, while it is running, the expression entirely "owns".
Still, I'm not sure one needs to be that radical, right away, to make
progress .... all this being "hunches", of course.
Literature hints available on request.
Please do.
-t
-- Matthias
member of the Knights for Combatting Rumors on the Usefulness of
Denotational Semantics vs Operational Semantics
Well, this should be interesting :-)
_______________________________________________
r6rs-discuss mailing list
[email protected]
http://lists.r6rs.org/cgi-bin/mailman/listinfo/r6rs-discuss
_______________________________________________
r6rs-discuss mailing list
[email protected]
http://lists.r6rs.org/cgi-bin/mailman/listinfo/r6rs-discuss
