하비홍
가입: 2017년 9월 7일 올린 글: 8
|
올려짐: 2017년11월13일 19:28 주제: 재귀적으로 정의하면 안 됩니다. |
|
|
재귀적으로 정의하면 무한히 많은 식이 생성됩니다.
예를 들어 K.WHILE(e_cond, e_body)를
K.WHILE = K.IF(e_cond, K.WHILE(e_cond, e_body), K.UNIT)
와 같이 정의하면 의미는 맞지만 실제로 코드를 생성할 때는 while문이 존재하면
K.IF(..., K.IF(..., K.IF(..., K.IF(...
와 같이 무한한 길이의 식이 필요하므로 실행될 수 없습니다. |
|