Ce tip are combinatorul Y ?

From HaskellWiki
Revision as of 06:10, 11 February 2011 by Ha$kell (talk | contribs)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigation Jump to 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.

Retrieved from "https://wiki.haskell.org/index.php?title=Ce_tip_are_combinatorul_Y_%3F&oldid=38703"