[프로젝트] lazy infinite loop test case 관련 질문

[strikef]

프로젝트 문서에 따르면 val 을 이용해 새로운 변수를 선언할 때는

(val x E) assigns name x to the value obtained by evaluating E

즉 E를 eager evaluation해 얻은 값을 대입해야 한다고 이해했습니다.

그런데 lazy infinite loop 테스트 케이스의 경우 다음과 같습니다

|(let
|  (def loop () (app loop))
|  (lazy-val x (app loop))
|  (def f (a (by-name b)) a)
|  (val bb (app f x (app loop)))
|  3)

val bb를 선언할 때 (app f x (app loop)) 가 반드시 evaluate 돼야 하는데, loop는 영원히 terminate하지 않기 때문에 인터프리팅이 여기서 멈추게 돼버립니다.
여기서 테스트케이스가 의도한 답인 VInt(3) 이 나오려면 bb 또한 lazy-val 로 선언돼야 하는 것이 아닌가 질문드려봅니다.

[nevivurn]

def f 에서 두번째 argument가 by-name으로 선언되어있고 (by-name b) 이후 b를 사용하지 않기 때문에 (app loop) 은 evaluate 되지 않는걸로 이해했는데 아닌가요?

[MerHS]

Scala의 원칙대로라면 f에서 x를 a로 받는 시점에서 lazy-val의 laziness가 풀려야 합니다.
그러나 저희 언어에서는 lazy를 좀더 넓게 보아 값이 실제로 연산에 사용되는 시점에 lazy value를 evaluate해주시기 바랍니다.
(Haskell의 semantics와 좀 더 가깝습니다.)

수식을 전부 처리하면 bb에는 loop의 실행 결과가 lazy하게 들어가게 되는데, 이 값이 결국에는 수식 등의 연산자에 활용되지 않 으므로 lazy를 풀 필요가 없어 loop이 실행되지 않게 됩니다.