3.1. 프로그램언어 달(Dhall)에서의 데이터 타입

프로그램언어 달(Dhall)의 정수 데이터 타입

프로그램언어 달(Dhall)의 정수 데이터 타입은 정수 값을 나타내는 데이터 타입입니다. 이 데이터 타입은 부호 있는 정수와 부호 없는 정수를 모두 지원합니다.

예를 들어, 부호 있는 정수는 -10, 0, 42와 같이 음수, 0, 양수를 나타낼 수 있습니다. 부호 없는 정수는 0, 10, 100과 같이 양수만을 나타낼 수 있습니다.

아래는 프로그램언어 달(Dhall)에서 정수 데이터 타입을 사용한 예제 코드입니다:


let positiveInt : Integer = +42

let negativeInt : Integer = -10

let unsignedInt : Integer = 100

프로그램언어 달(Dhall)의 문자열 데이터 타입

프로그래밍 언어 Dhall의 문자열 데이터 타입은 텍스트 값을 나타내는 데 사용됩니다. 이 데이터 타입은 큰따옴표(“)로 둘러싸인 문자열로 표현됩니다. 문자열 데이터 타입은 텍스트 데이터를 다룰 때 유용하게 활용됩니다.

예를 들어, 아래는 Dhall에서 문자열 데이터 타입을 사용한 예제 코드입니다:


let message = "Hello, World!"
in message

프로그램언어 달(Dhall)의 부울 데이터 타입

프로그래밍 언어 Dhall의 부울 데이터 타입은 참(True) 또는 거짓(False) 값을 나타내는 데이터 타입입니다.

부울 데이터 타입의 예제 코드는 아래와 같습니다:


let isTrue = True

let isFalse = False

프로그램언어 달(Dhall)의 실수 데이터 타입

프로그램언어 달(Dhall)의 실수 데이터 타입은 부동소수점 숫자를 나타내는 데이터 타입입니다.

이 데이터 타입은 소수점 이하의 숫자를 표현할 수 있으며, 정확한 숫자 값을 나타냅니다.

아래는 실수 데이터 타입의 예제 코드입니다:


let pi = 3.14159 : Double
let gravity = 9.81 : Double
    

프로그램언어 달(Dhall)의 복합 데이터 타입

프로그래밍 언어 Dhall의 복합 데이터 타입은 레코드(record)와 유니언(union)으로 구성됩니다. 레코드는 여러 필드로 구성된 데이터 구조를 나타내며, 유니언은 여러 타입 중 하나를 가질 수 있는 데이터를 표현합니다.

레코드는 중괄호로 둘러싸인 필드들의 집합으로 정의됩니다. 각 필드는 이름과 해당하는 값으로 구성되며, 필드는 쉼표로 구분됩니다. 예를 들어, 다음은 이름과 나이를 갖는 레코드의 정의입니다.


let person = { name = "Alice", age = 30 }
in person

유니언은 중괄호와 파이프 기호를 사용하여 여러 타입 중 하나를 가질 수 있는 값을 정의합니다. 예를 들어, 다음은 정수 또는 문자열을 가질 수 있는 유니언의 정의입니다.


let intOrString = < Int : Natural | Text : Text >
in intOrString.Text "Hello, Dhall!"

Leave a Comment