Joy 언어에서의 의도적 프로그래밍: 단일 연산자를 이용한 내성
2025-02-12
이 글에서는 스택 기반 함수형 프로그래밍 언어인 Joy에서의 의도적 프로그래밍을 탐구합니다. Joy 자체는 외연적이며 코드 블록을 '분해'하는 기능이 없습니다. 저자는 'map'과 'quota'라는 두 가지 의도적 연산자를 제안하고, 서로 표현 가능함을 증명합니다. 동작적으로는 동등하지만, 의도적 프로그램은 단일 연산자와 여러 명령어를 가진 서브루틴을 구분할 수 있습니다. 이는 의도적 언어에서 더 약한 동등성 개념을 탐구하는 길을 열어주며, Joy와 같은 미니멀리스트 언어에 의도성을 도입하는 강력한 접근 방식을 보여줍니다.
더 보기