[Haskell'26] Lightning Talk: Morphosyntactic Programming: Case, Mood, and Type-Directed(…)
ACM SIGPLAN · 10:29 · Watch on YouTube
Kip, 터키어 기반의 실험적 프로그래밍 언어를 소개합니다. Kip은 단순히 키워드를 번역하는 것이 아니라 터키어 문법을 타입 시스템에 넣습니다. 함수 인자는 문법적 격(case)을 가지므로 그 순서는 중요하지 않으며, 터키어의 모호한 단어 형태는 파서가 아닌 타입 검사로 해결됩니다. 순수 정의는 명사구로 작성되고, 효과가 있는 정의는 부정사 동사로, 효과가 있는 호출은 명령법으로 작성...