05/06/19 23:20:01
>>436
評価するとなると、ifの中に副作用の有る式が書かれていたらプログラムの意味が変わるでしょ。それじゃ全然Schemeじゃないじゃん。
それとも、副作用がないということがプログラム解析で証明できたときだけ評価するの？
05/06/19 23:20:01
>>436
評価するとなると、ifの中に副作用の有る式が書かれていたらプログラムの意味が変わるでしょ。それじゃ全然Schemeじゃないじゃん。
それとも、副作用がないということがプログラム解析で証明できたときだけ評価するの？