9.3. 프로그램언어 달(Dhall)에서의 사용자 정의 자료형

프로그램언어 달(Dhall)에서의 사용자 정의 자료형 Type Alias

프로그램언어 달(Dhall)에서의 사용자 정의 자료형 Type Alias는 기존 자료형에 새로운 이름을 부여하여 재사용성과 가독성을 높이는 기능입니다.

예를 들어, 다음과 같이 Type Alias를 정의할 수 있습니다:


let Person = { name : Text, age : Natural }
let Employee = { person : Person, position : Text }
let Company = { employees : List Employee }

프로그램언어 달(Dhall)에서의 사용자 정의 자료형 Enums은 열거형(enumerated type)을 정의할 때 사용됩니다. Enums를 사용하면 특정 값들의 집합을 정의하고, 그 값들 중 하나만 선택할 수 있는 자료형을 만들 수 있습니다.

Enums를 사용하여 사용자가 선택할 수 있는 값들을 명확하게 정의할 수 있으며, 코드의 가독성을 높이고 실수를 줄일 수 있습니다.

아래는 프로그램언어 달(Dhall)에서의 사용자 정의 자료형 Enums에 대한 예제 코드입니다:


        let Color = < Red | Green | Blue >

프로그램언어 달(Dhall)에서의 사용자 정의 자료형 Structs는 구조화된 데이터를 표현하기 위한 방법입니다. 이를 통해 여러 필드를 가진 데이터를 정의하고 사용할 수 있습니다.

아래는 Structs를 사용한 예제 코드입니다:


let Person = { name : Text, age : Natural }

let alice : Person = { name = "Alice", age = 30 }
let bob : Person = { name = "Bob", age = 25 }

프로그램언어 달(Dhall)에서의 사용자 정의 자료형 Unions은 여러 다른 자료형을 하나로 묶어주는 기능을 제공합니다. 이를 통해 다양한 유형의 값을 하나의 변수에 담을 수 있습니다.

아래는 Dhall에서 Unions을 사용한 예제 코드입니다:


let MyUnionType = < TypeA : Text | TypeB : Natural >

let myValue : MyUnionType = TypeA "Hello, Dhall!"

프로그램언어 달(Dhall)에서의 사용자 정의 자료형 Records는 데이터 구조를 정의하는 데 사용됩니다. Records는 필드와 해당 필드의 값으로 구성되어 있으며, 각 필드는 이름과 타입을 가지고 있습니다.

Records를 정의할 때는 ‘let’ 키워드를 사용하여 필드와 타입을 지정합니다. 아래는 Records를 정의하는 예제 코드입니다.


let Person = { name : Text, age : Natural }
in { name = "Alice", age = 30 } : Person