1006
Vývoj / Re:Typový system versus unittesty
« kdy: 09. 11. 2018, 00:24:15 »Množina operací asi nebude stačit. Ještě je třeba název kategorie pro nominální typování.co je "typ"?metadata k hodnote?
metadata to je neco vagniho, to muze byt treba cas vytvoreni.
Datovy typ je spis dvojice: mnozina hodnot a mnozina operaci, ne?
Ve Smalltalku. Java ale své "interface" okopčila z Objective-C, ta historie je celkem zajímavá, na Javě dělali (hlavně standardní knihovnu) ObjC vývojáři po tom, co Sun koupil Lighthouse Design, takže tam přenesli své znalosti, zvyky a postupy.