Ce tip are combinatorul Y ?
Niciunul. Combinatorului Y , din teoria lambda calculului netipizat nu i se poate atribui un tip in teoria lambda calculului tipizat.
De altfel s-a mai intrebat despre asa ceva ...
Pagina indexata la indexul Categories:Ro
<= Inapoi la pagina principala Ro/Haskell.
<- Inapoi la Intrebarile incepatorului Ro/Haskell.