Zobrazit příspěvky
Tato sekce Vám umožňuje zobrazit všechny příspěvky tohoto uživatele. Prosím uvědomte si, že můžete vidět příspěvky pouze z oblastí Vám přístupných.
Stejně tak může být:Kód: [Vybrat]def add(x: int, y: int) -> int:
"""
>>> add(1, 1)
3
"""
return x + y
Každopádně toto by měli řešit závislostní typy. Já jsem si to přeložil jako:Kód: [Vybrat]add x y == y * succ x
Mně připadá, že je triviálně vidět, že ta funkce add() je špatně pojmenovaná (a případně má špatnou dokumentaci), což nevyřeší žádný typový systém. Ale budu rád, když mne vyvedete z omylu.
Ukaž mi unittest s témže.
Bavíme se (doufám) o tvrzení, že typy plně nahradí unittesty. Nic víc neřeším.
def add(x: int, y: int) -> int:
"""
>>> add(1, 1)
2
"""
return x - y
Tak ono jaksi uz v principu typy resi (ne nutne dost zevrubnou) kontrolu pro vsechny mozne hodnoty, zatimco testy jenom pro nejake konkretni (at uz zadane nebo v pripade property based testu generovane) hodnoty.
ta kontrola může být dost komplikovaná. Samotnou definici typu potom musíte testovat na nějakých konkrétních hodnotách. Napadá mě třeba typ reprezentující číslo kreditní karty. Je docela jedno, jestli je validace součástí typu nebo v samostatné funkci.
Co na té kartě chceš testovat?
Tak ono jaksi uz v principu typy resi (ne nutne dost zevrubnou) kontrolu pro vsechny mozne hodnoty, zatimco testy jenom pro nejake konkretni (at uz zadane nebo v pripade property based testu generovane) hodnoty.
Pravda, to bych mohl, ale nechce se mi instalovat takovej moloch kvůli prohlížení jednoho souboru.
Díky za pomoc, ale asi pro mě bude nejjednodušší vygenerovat si data jako html, nebo si pro prohlížení napíšu jednoduchou aplikaci v pythonu a použiju Qt framework.
Učebicové OOP říká, že máme dát metodu save() přímo do User.
Jenže v modetě save() v Userovi se přece nemůže zpracovávat i Company a Address, to je kravina.
Root.cz (www.root.cz), informace nejen ze světa Linuxu. ISSN 1212-8309
Copyright © 1998 – 2023 Internet Info, s.r.o. Všechna práva vyhrazena. Powered by Linux.