a unit type is a type that allows only one value (and thus can hold no information
It is customary to talk about the unit type and ignore the details of its value. One may also regard the unit type as the type of 0-tuple
The unit type is implemented in most functional programming languages.
cf) In ML descendants (including OCaml, Standard ML, and F#), the type is called but the value is written as .unit()
void, null이랑 비슷한 개념인 것 같음
'Computer Science > 프로그래밍언어' 카테고리의 다른 글
| 람다 대수 Lambda Calculus란 무엇인가? (ft. Church Encodings) (0) | 2022.04.20 |
|---|---|
| Unit Test | 유닛 테스트를 통해 신뢰할 수 있는 프로그램 만들기 (0) | 2022.04.11 |
| 참고 자료 | 함수형 언어로 imperative language interpreter 만들기 (0) | 2022.03.31 |
| Data Structure | Zipper Tree (feat. 함수형 언어) (0) | 2022.03.25 |
| TDD( Test Driven Development )이란? (0) | 2022.03.24 |