openlang

계산의 가능성과 한계

프로그램이 원리상 계산하고 판정하며 표현할 수 있는 범위를 다룬다.

  1. 탐색 예산 소진은 답의 부재가 아닙니다

    Maybe Int가 필요한 자리에 let loop = loop in if loop then Just 1 else Nothing을 놓는 사고 실험을 해 봅니다. 호출하는 쪽이 Just와 Nothing을 구분하려면 조건이 필요하…