Personal tools

Ce tip are combinatorul Y ?

From HaskellWiki

(Difference between revisions)
Jump to: navigation, search
 
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. ]

Latest revision as of 06:10, 11 February 2011

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.