[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Special variables to relax boxing
From: |
Mark H Weaver |
Subject: |
Re: Special variables to relax boxing |
Date: |
Thu, 21 Mar 2013 15:03:06 -0400 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/24.3 (gnu/linux) |
Stefan, you're still describing your proposal in terms of low-level
implementation details such as stacks. In the general case, we cannot
store environment structures on the stack. Furthermore, in the general
case *all* variables in scheme are bound to locations, not values. Only
in special cases can we use stacks, and only in special cases can we
avoid boxing variables. These are only _optimizations_.
If you're serious about this proposal, please read sections 3.1 and 3.4
of the R5RS carefully. Explain your proposed _semantics_ (not the
implementation details) in those terms, where *all* variables are bound
to _locations_, and where there is no stack at all (everything is
conceptually stored in a garbage-collected heap).
We need to understand the *semantics* in the simplest possible terms
before we even begin to think about how to implement it.
Thanks,
Mark
- Special variables to relax boxing, Stefan Israelsson Tampe, 2013/03/19
- Re: Special variables to relax boxing, Mark H Weaver, 2013/03/21
- Re: Special variables to relax boxing, Stefan Israelsson Tampe, 2013/03/21
- Re: Special variables to relax boxing,
Mark H Weaver <=
- Re: Special variables to relax boxing, Stefan Israelsson Tampe, 2013/03/21
- Re: Special variables to relax boxing, Noah Lavine, 2013/03/21
- Re: Special variables to relax boxing, Stefan Israelsson Tampe, 2013/03/22
- Re: Special variables to relax boxing, Daniel Hartwig, 2013/03/22
- Re: Special variables to relax boxing, Stefan Israelsson Tampe, 2013/03/23
- Re: Special variables to relax boxing, Stefan Israelsson Tampe, 2013/03/23