Personal tools

Atunci cand o expresie poate avea mai multe tipuri care este ales ?

From HaskellWiki

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

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search

Cel mai mic in ordinea generalitatii.

De exemplu perechea ('a',True) poate aparent fi din tipurile

(x, Bool) sau (Char, y) sau (Char, Bool) sau chiar (x,y)

unde x y sunt tipuri necunoscute.

Va fi ales: (Char, Bool) ca fiind cel minimal, cel mai precis.