reklama

Typový system versus unittesty

Re:Typový system versus unittesty
« Odpověď #960 kdy: 09. 11. 2018, 00:24:15 »
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?
Množina operací asi nebude stačit. Ještě je třeba název kategorie pro nominální typování.

reklama


JSH

Re:Typový system versus unittesty
« Odpověď #961 kdy: 09. 11. 2018, 11:43:02 »
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?
Množina operací asi nebude stačit. Ještě je třeba název kategorie pro nominální typování.
Já bych to omezil na pojmenovanou množinu hodnot. Operace běžně pracují s více hodnotama různého typu, takže by se stejná operace dala najít ve spoustě typů.

Re:Typový system versus unittesty
« Odpověď #962 kdy: 09. 11. 2018, 12:51:23 »
Datovy typ je spis dvojice: mnozina hodnot a mnozina operaci, ne?
Množina operací asi nebude stačit. Ještě je třeba název kategorie pro nominální typování.
Já bych to omezil na pojmenovanou množinu hodnot. Operace běžně pracují s více hodnotama různého typu, takže by se stejná operace dala najít ve spoustě typů.

buildPerson :: Name -> Name -> Age -> Person
bmi :: Age -> Sex -> Weight -> Height -> BMI

Samozřejmě často si vystačím jen s rozhraním na základě operací. Ale ten nominální typ mi pomůže ohlídat, že tam nervu blbost.

... ale možná že "pojmenovaná množina hodnot" je to, o čem mluvím :-) Age je pojmenovaný subset Intu. Kde potřebuju Int mohu dát Age, kde potřebuju Age nemohu dát Int.
« Poslední změna: 09. 11. 2018, 12:53:48 od BoneFlute »

 

reklama