On Thu 14 Apr 2011 03:08, Noah Lavine noah.b.lav...@gmail.com writes:
The fact that we represent different variables as gensyms is an
implementation detail, and unimportant. (In fact, I might like to
change that detail at some point to get better error messages, but
it's not high on my to-do
On 14 Apr 2011, at 03:08, Noah Lavine wrote:
The beta rule is in denotational semantics something like
((lambda x . E_1) E_2) = [E_2/x]E_1, E_2 free for x in in E_1
where [E_2/x]E_1 means substituting all free occurrences of x with E_2.
In addition, one has the alpha rule
(lambda x . E)
hi all.
I found the manual said %load-hook is used by all of the above loading
functions (load,load-path, primitive-load and primitive-load-path).
But it seems only primitive-load according to it.
If I want to add a load-path before loading a file(assume foo.scm is
under /tmp/foo):
==
The fact that we represent different variables as gensyms is an
implementation detail, and unimportant. (In fact, I might like to
change that detail at some point to get better error messages, but
it's not high on my to-do list.)
What are you referring to here?
It's just part of my mental
On Thu 14 Apr 2011 15:13, Noah Lavine noah.b.lav...@gmail.com writes:
We [assign] a unique gensym to each variable object, I think, but you
could assign a unique anything to each variable object and it would
work just as well. Is that an accurate picture of how Guile works?
Yes, for lexical
Hi,
William ML Leslie william.leslie@gmail.com writes:
0. Objects in javascript are maps from string keys to any value. If
they are to be cast as hashes or dictionaries when passed to a
language that allows non-string keys, and the language adds a
non-string key, what happens to the