lambda calculus 1 post [Program Synthesis #12] Type-Guided Synthesis: 타입으로 탐색 공간을 줄이는 방법 Mar 21, 2026