Ce tip are combinatorul Y ?
From HaskellWiki
(Difference between revisions)
m |
|||
| Line 2: | Line 2: | ||
De altfel s-a mai intrebat despre asa ceva ... | De altfel s-a mai intrebat despre asa ceva ... | ||
| + | |||
| + | ---- | ||
| + | Pagina indexata la indexul [[Category:Ro]] [http://www.haskell.org/haskellwiki/Category:Ro Categories:Ro] | ||
| + | ---- | ||
| + | [http://www.haskell.org/haskellwiki/Ro/Haskell <= Inapoi la pagina principala Ro/Haskell. ]<br> <br> | ||
| + | [http://www.haskell.org/haskellwiki/Intrebarile_incepatorului <'''-''' Inapoi la Intrebarile incepatorului Ro/Haskell. ] | ||
Current revision
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.
