Myslím, že xxar3s měl na mysli to, jaké invarianty jde v typovém systému vyjádřit (např. v některých jazycích je typový systém tak silný, že můžete v rámci typové kontroly provádět testy - typ může říkat, že určité volání funkce vrátí určitou hodnotu).
Mohl byste mi ukázat, jak v nějakém šikovném typovém systému vyjádřím/definuji typ Date ? Tedy typ, který říká, že únor může mět pouze 28dní a každej přestupnej 29, etc.
Matně tuším, jak bych to dělal já. Ale zajímal by mě příklad jiných.
Dík.