Typový system versus unittesty

[BoneFlute]

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]

reklama

[JSH]

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ů.

[BoneFlute]

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.

[listoper]

Na tohle sem dnes narazil: https://serokell.io/blog/2018/12/17/why-dependent-haskell

[Bacsa]

Na tohle sem dnes narazil: https://serokell.io/blog/2018/12/17/why-dependent-haskell

Dost zajímavé, ale není to pro BFP.

[Reklama]

reklama

[Idris]

Pro rozšíření obzorů: https://www.manning.com/books/programming-with-types