Significato della modalità "perché no" dalla teoria del tipo lineare?
-
05-11-2019 - |
Domanda
Nella teoria del tipo lineare c'è una modalità scritta !
dove !T
può essere letto come "copie infinite di T
".
Secondo NCATLAB, c'è un doppio in questa modalità che a volte viene scritta ?T
e indicato come modalità "perché no". Qual è il significato di questa modalità? Come fa ?T
comportarsi come un tipo?
Nessuna soluzione corretta
Autorizzato sotto: CC-BY-SA insieme a attribuzione
Non affiliato a cs.stackexchange