Názor k článku Úvod do jazyka Reason: reference a generalizace od ded.kenedy - Dnes už je teorie typů dostatečně rozpracována, aby...

Dnes už je teorie typů dostatečně rozpracována, aby mohla posloužit v praxi.

Asi pred pul rokem jsem delal pruzkum mezi beznymi programatory (vetsinou Java, C#), kolik z nich v zivote vytvorilo generickou tridu (mimo cviceni ve skole). Vyslo to tak, ze kazdy dvacaty uz nejakou tu generickou tridu vytvoril. Poptavka po propracovanych typovych systemech je opravdu mohutna.