Přemítání nad datovými typy a třídami

Před časem jsem tu upozorňoval na blog Bruce Eckela a jeho úvahy nad generikami. Dnes jsem si přečetl další dva jeho příspěvky, tentokrát na obecnější téma typů a tříd v programovacích jazycích.

Bruce má opravdu nevšední schopnost odkrývat hluboké zákonitosti stojící za návrhem různých syntaktických konstrukcí v jednotlivých jazycích a přitom neztrácí kontakt s programátorskou praxí, což se mnohým teoretikům stává. A navíc se jeho názory na mnoho věcí víceméně shodují s mými :-) Doufám, že takhle zajímavě bude psát i dál.