Citace od: SB kdy 26. 06. 2015, 13:32:43
V pořádku, v Haskellu i jinde to funguje, je to jen otázkou deklarace, já jsem narážel na argumenty takových, kteří považují omezení na String za dostatečnou kontrolu správnosti dat.
Pokud jste tak pochopil ten můj příspěvek, tak jste ho pochopil špatně. Typová kontrola tak, jak jsem ji popsal zhruba odpovídá "Porozumí tenhle objekt mojí zprávě?" A jestli ne, tak to zjistím už při překladu a nemusím si na to psát unit test.
Ano, silná typová kontrola komplikuje jazyk. Zároveň ale ulehčuje práci protože eliminuje kopec triviálních chyb. Nezaručí to program bez chyb, ale to snad nikdo ani netvrdí.