재귀 호출 비교

1번 코드

{with {fac 
       {with {facX {fun {facY}
                    {with {fac {fun {x}
                                {{facY facY} x}}}}
                      {fun {n}
                        {if0 n 1
                             {* n {fac {- n 1}}}}}}}}
        {facX facX}}}
 {fac 10}}

 

2번 코드

{with {fac {fun {n}
             {if0 n 1
                  {* n {fac {- n 1}}}}}}
 {fac 10}}

 

간단하게 말하면,

1번은 고차 함수(High-order function)를 사용해서 복잡한 고차 함수 방식을 사용해서 재귀를 흉내낸 거고, 2번은 은 그냥 직접적인 재귀 호출을 사용한 간단한 방식이다.

 

다음은 rec을 추가한 문법이다.

{rec {fac {fun {n} 
            {if0 n 1 
                 {* n {fac {- n 1}}}}}}
 fac 10}

 

rec를 사용해서 바로 자기 자신을 재귀 호출할 수 있다.