Порожній тип

У теорії типів, поро́жній (англ. empty type) або абсу́рдний тип (англ. absurd type), який зазвичай позначають  — це тип без значень. Його можна визначити як нуль-арний кодобуток (диз'юнктне об'єднання порожньої множини типів).[1] Також його можна визначити як поліморфний тип [2]

У мовах програмування

[ред. | ред. код]

Haskell

[ред. | ред. код]

У Haskell порожній тип позначається словом void.[3] Функція типу void не повертає результатів, а програма з побічним ефектом з типом IO Void не завершує роботу або зазнає аварійного завершення. Зокрема, немає загальних (total) функцій типу void.

Kotlin

[ред. | ред. код]

У Kotlin порожній тип називається Nothing[4]. Він є підтипом будь-якого іншого типу.

Примітки

[ред. | ред. код]
  1. ↑ Univalent Foundations Program (2013). Homotopy Type Theory: Univalent Foundations of Mathematics. Institute for Advanced Study.
  2. ↑ Meyer, A. R.; Mitchell, J. C.; Moggi, E.; Statman, R. (1987). Empty types in polymorphic lambda calculus. POPL: Principles of Programming Languages. 87: 253—262. doi:10.1145/41625.41648. ISBN 0897912152. Процитовано 25 жовтня 2022.
  3. ↑ A Haskell 98 logically uninhabited data type. Архів оригіналу за 22 січня 2021. Процитовано 31 січня 2021.
  4. ↑ Nothing - Kotlin Programming Language. Kotlin (англ.). Процитовано 24 серпня 2023.
Отримано з https://uk.wikipedia.org/w/index.php?title=Порожній_тип&oldid=40635621