Posted by Martin on February 16, 2004 at 22:37:44:
In Reply to: Re: P3 Questions posted by Steve VanDeBogart on February 16, 2004 at 08:21:58:
: I'm having trouble coming up with the type rules for set!. Probably because there are multiple definitions that make sense. It's kind of like assignment in an OOP language in that it can change the run time type of a variable. But different because there's no declared type for variables in scheme. I guess my question is how do we deal with a program that has a set! which changes the type of a variable? Or even worse, conditionally changes the type of a variable? Does it just not type check if a set! changes the type?
Do we have an answer to this yet?
To me, it just seems like we go ahead and change the type... although a scheme book just talks about it as if var is a pointer and we are jsut dreferecing it to change its value to exp.