Deputy: Clojure 기반 종속형 프로그래밍 언어
2025-05-20
Deputy는 Clojure 기반의 실험적인 종속형 프로그래밍 언어로, 귀납적 데이터 타입을 지원합니다. Lisp 기반 REPL 기반의 대화형 개발 워크플로우가 프로그래밍과 타입 검사 모두에 어떤 영향을 미치는지 탐구합니다. Clojure 라이브러리로 구현되어 있어, 타입 레벨에서 프로그래밍하면서도 호스트 언어 Clojure의 기능을 활용할 수 있습니다. 이를 통해 값에 의존하는 타입 레벨 계산이 가능해지고, 강력한 프로그래밍 패턴을 구현할 수 있습니다. 중요한 점은, 타입의 풍부한 동적 의미론에도 불구하고, 타입 검사는 순수하게 컴파일 타임에 수행되는 연산이라는 것입니다.
개발
종속형 타입