Arc Forumnew | comments | leaders | submitlogin
3 points by antiismist 5963 days ago | link | parent

"In short, the fundamental item the classical data-flow analysis algorithms need to operate is not available in a Scheme program."

Anyone know what the problem was/is?



5 points by stefano 5962 days ago | link

Suppose you write from the repl:

  (def car (x) (my-bizzare-computation))
Now you would expect every function that references car to use your new version. If you can't trust basic functions such as car, data-flow analysis becomes very hard. I'm not an expert and I have only a vague idea of what data-flow analysis is, but I think this could be the problem. This is only what I think, so I could be completely wrong.

-----