Personal tools

Ce tip are combinatorul Y ?

From HaskellWiki

Revision as of 05:35, 31 May 2009 by Ha$kell (Talk | contribs)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
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 ...