Tipo de unidad

En el ámbito de la lógica matemática y la informática conocido como teoría de tipos , un tipo unitario es un tipo que admite un único valor (y, por lo tanto, no puede contener información). El conjunto subyacente asociado a un tipo unitario puede ser cualquier conjunto singleton . Existe un isomorfismo entre dos conjuntos cualesquiera de este tipo, por lo que es habitual hablar del tipo unitario e ignorar los detalles de su valor. También se puede considerar el tipo unitario como el tipo de las 0- tuplas , es decir, el producto de ningún tipo.

El tipo de unidad es el objeto terminal en la categoría de tipos y funciones tipadas. No debe confundirse con el tipo cero o vacío , que no admite valores y es el objeto inicial en esta categoría. De manera similar, el tipo booleano es el que admite dos valores.

El tipo de unidad se implementa en la mayoría de los lenguajes de programación funcional . El tipo void , utilizado en algunos lenguajes de programación imperativos, cumple algunas de sus funciones, pero debido a que su conjunto portador está vacío, presenta ciertas limitaciones (como se detalla a continuación).

Varios lenguajes de programación informática proporcionan un tipo de unidad para especificar el tipo de resultado de una función cuyo único propósito es causar un efecto secundario , y el tipo de argumento de una función que no requiere argumentos.

• En Haskell , Rust y Elm , el tipo de unidad se llama ()y su único valor también es (), lo que refleja la interpretación de la tupla 0.
• En los descendientes de ML (incluidos OCaml , Standard ML y F# ), el tipo se llama unitpero el valor se escribe como ().
• En Scala , el tipo de unidad se llama Unity su único valor se escribe como ().
• En Common Lisp, el tipo llamado NULL es un tipo de unidad que tiene un solo valor, a saber, el símbolo NIL . Esto no debe confundirse con el tipo NIL , que es el tipo inferior .
• En Python , existe un tipo llamado NoneTypeque permite el valor único de None. En las anotaciones de tipo estático opcionales de Python, este tipo se representa como None. ^{[ 1 ]}
• En Swift , el tipo de unidad se llama Voido ()y su único valor también es (), lo que refleja la interpretación de la tupla 0.
• En Java , el tipo de unidad se llama Voidy su único valor es null. No se puede instanciar. Se utiliza en genéricos para denotar los tipos de retorno de void.
• En Go , el tipo de unidad se escribe struct{}y su valor es struct{}{}.
• En PHP , el tipo de unidad se llama null, cuyo único valor es NULL.
• En JavaScript , tanto Null(su único valor es null) como Undefined(su único valor es undefined) son tipos de unidades integrados.
• En Kotlin , Unites un singleton con un solo valor: el Unitobjeto.
• En Ruby , niles la única instancia de la NilClassclase.
• En C++ , el std::monostatetipo de unidad se agregó en C++17 . Antes de eso, es posible definir un tipo de unidad personalizado usando una estructura vacía como struct Empty {}.
• En Dart , tanto Nullcomo el registro vacío ( (), desde Dart 3) tienen un único valor posible, respectivamente, nully ().

void f ( void ) {} void g ( void ) {}int main ( void ) { f ( g ()); // error de compilación aquí return 0 ; }

clase UnitType {}; constexpr UnitType UNIT ;UnitType f ( UnitType ) noexcept { return UNIT ; }UnitType g ( UnitType ) noexcept { return UNIT ; }int main () { f ( g ( UNIT )); return 0 ; }

importar java.util.concurrent.* ;ExecutorService executorService = Executors . newFixedThreadPool ( 2 );CompletableFuture < Void > future = CompletableFuture . runAsync (() -> { try { // Simular algún trabajo System . out . println ( "Tarea iniciada." ); Thread . sleep ( 2000 ); // Simular una tarea de 2 segundos System . out . println ( "Tarea completada." ); } catch ( InterruptedException e ) { System . err . println ( "La tarea fue interrumpida." ); } }, executorService );

public static Void f ( Void x ) { return null ; }public static Void g ( Void x ) { return null ; }public static void main ( String [] args ) { f ( g ( null )); }

typeof ( null ) returnThatSpecialThing () { return null ; }void writeTypeOfNull () { writeln ( typeof ( null )); // imprime: void }

• Cualquier tipo
• Tipo inferior
• Patrón Singleton (donde una clase en particular tiene solo una instancia, pero otras clases generalmente no mantienen referencias no nulas y con tipado estricto a ella).
• Indefinido
• Tipo vacío

• Pierce, Benjamin C. (2002). Tipos y lenguajes de programación . MIT Press . págs. 118–119 . ISBN  0-262-16209-1.
• tipo de unidad en el laboratorio n