Оглавление
Тип устройства
-
Основы теории типов
- Тип единицы измерения — это тип с одним значением.
- Тип объекта — это терминальный объект в категории типов.
- Логическое значение — это тип с двумя значениями.
-
Реализация типов в языках программирования
- В Haskell, Rust и Elm тип единицы измерения называется (), а его значение — ().
- В Scala тип единицы измерения называется Unit, а его значение — ().
- В Common Lisp тип единицы измерения называется .mw-parser-output .monospaced{семейство шрифтов:monospace,моноширинный}NULL.
- В Python есть тип NoneType, который допускает только значение None.
- В Swift тип единицы измерения называется Void или ().
- В Java тип единицы измерения называется Void, а его значение равно null.
- В Go тип объекта записывается как struct{}, а его значение — struct{}{}.
- В PHP тип единицы измерения называется null, а его значение — NULL.
- В JavaScript тип Null (его единственное значение равно null) и Undefined (его единственное значение не определено) являются встроенными типами единиц измерения.
- В Kotlin Unit — это синглтон, имеющий только одно значение: объект Unit.
- В Ruby nil является единственным экземпляром класса NilClass.
- В C++ тип модуля std::monostate был добавлен в C++17.
-
Различия между типом unit и типом void
- Тип unit всегда может быть типом аргумента функции, в то время как тип void не может.
- Тип void не может быть сохранен в типе записи, в то время как тип объекта может.
- В дженериках Java Void часто используется для параметров типа единицы измерения.
- В языках со статической типизацией тип null используется для представления типа единицы измерения.
Полный текст статьи: