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
> r6rs-discuss_at_lists.r6rs.org
> http://lists.r6rs.org/cgi-bin/mailman/listinfo/r6rs-discuss
>
Received on Sun Feb 25 2007 - 21:19:06 UTC