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

From HaskellWiki
Revision as of 05:51, 11 February 2011 by Ha$kell (talk | contribs)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigation Jump to search
The printable version is no longer supported and may have rendering errors. Please update your browser bookmarks and please use the default browser print function instead.


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.