reklama

Typový system versus unittesty

BoneFlute

  • *****
  • 1 175
    • Zobrazit profil
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ů.

BoneFlute

  • *****
  • 1 175
    • Zobrazit profil
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 »

Re:Typový system versus unittesty
« Odpověď #963 kdy: 19. 12. 2018, 16:57:23 »

Bacsa

Re:Typový system versus unittesty
« Odpověď #964 kdy: 19. 12. 2018, 18:30:23 »
Na tohle sem dnes narazil: https://serokell.io/blog/2018/12/17/why-dependent-haskell
Dost zajímavé, ale není to pro BFP.

reklama


Idris

  • ****
  • 381
    • Zobrazit profil
    • E-mail
Re:Typový system versus unittesty
« Odpověď #965 kdy: 10. 10. 2019, 13:10:33 »

 

reklama