위키득계정 ↗
기술

Dhall

Dhall기술
주요 용도
프로그래밍 가능한 설정
주요 구성
함수 타입 가져오기
변환 대상
JSON YAML 등
비교 수단
의미 해시와 의미 차이
Dhall은 함수와 타입, 가져오기 기능을 갖춘 설정 언어다. 공통 설정을 조합해 여러 곳에서 사용하고 결과를 JSON이나 YAML로 바꿀 수 있으며 타입 검사와 의미 기반 비교를 위한 도구를 제공한다.

공통 설정의 재사용

설정 자료에 함수와 타입을 도입해 반복되는 구조를 정의하고 가져오기 기능으로 나누어 사용할 수 있다. 같은 정의를 여러 설정에서 참조하면 각각의 복사본을 따로 고치는 부담을 줄인다. 응용 언어에 직접 통합하거나 다른 설정 형식으로 변환해 활용한다.

타입과 의미를 확인하는 도구

타입 시스템으로 설정 구조를 확인하고 편집기 지원을 통해 정의를 탐색한다. 의미 해시는 표현을 정리한 결과를 기준으로 비교하는 수단이다. 글자 모양이 달라졌어도 의미가 유지되는지 확인하거나 의미 차이를 살펴 의도한 변경을 검토하는 데 활용한다.

설정 언어의 실행 범위

Dhall은 임의의 부작용을 제한하고 올바른 프로그램의 평가가 종료하도록 설계된 언어다. 일반 프로그램처럼 임의의 동작을 실행하는 것보다 설정 값을 계산하는 데 초점을 둔다. 언어의 설계상 성질이 생성된 설정을 사용하는 서비스의 모든 동작이나 설정 의도까지 보증하는 것은 아니다.

관련 문서

Jsonnet / JSON / YAML / 타입 시스템 / 함수 / Kubernetes