Personal tools

Ce tip are combinatorul Y ?

From HaskellWiki

Jump to: navigation, search

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.