Usi dell'unità di tipo
-
03-11-2019 - |
Domanda
Il Unit
Il tipo è un tipo singleton contenente la costante unit
. In linguaggi funzionali con effetti collaterali, unit
è usato in funzioni che eseguono effetti collaterali. Per esempio print
è una funzione da string
a Unit
.
Unit
corrisponde anche alla verità. Se si considera il tipo di espressione come una proposta e il programma come una prova, Unit
corrisponde alla verità poiché puoi sempre dimostrare Unit
Usando la costante unit
.
La mia domanda è a parte questi due usi, c'è altri usi di Unit
?
Nessuna soluzione corretta
Autorizzato sotto: CC-BY-SA insieme a attribuzione
Non affiliato a cs.stackexchange