Typový system versus unittesty

[Kit]

Diskuse se poněkud odklonila od původního tématu. Jako obvykle "type haters" nekriticky prosazují "čisté OOP". Přitom flexibilní (smalltalkovské) posílání zpráv a mocný typový systém s kontrolou v době překladu se ani v nejmenším nevylučují. Malý kvíz: který "čistě OO" jazyk má generika, varianci typů (to nemá ani C++ nebo Swift) a typovou kontrolu při překladu?

Který "čistě OO" jazyk potřebuje generika, varianci typů a typovou kontrolu při překladu?

[Reklama]

[SB]

Unit testy jsem nikdy neřešil, vždy si vše testuji sám vlastním systémem, že si vytvořím testovací třídu, která testuje veškeré elementární objekty (třídy, funkce), kdy ověřuji, zda na zadaný vstup leze zadaný výstup. Systém téměř debuggovat nemusím a pokud systém vykazuje chybu, vím hned, kde konkrétně je.

Supr! A teď si zkuste tipnout, jak se tomu, co jste vytvořil, říká.

[SB]

asi nevím co je "kategorie hodnot"
se statickým typovým systémem můžete u některých funkcí dosáhnout vyčerpávajícího testování, u dynamického asi nikdy

To je jiný název pro typy.

To se tu právě řeší.

[Gődel]

Už nejméně dvakrát jsem ho uváděl: podmíněná konformance. Vlastně třikrát. Stačí letmo mrknout na Swift.

Tohle https://github.com/apple/swift-evolution/blob/master/proposals/0143-conditional-conformances.md je ono? Dopracováváme se zpět k myšlence, že dokonalý typový systém možná existuje, ale určitě je složitý jak prase?

Co je na tom složitého? Naopak když budu psát nějakou generickou kolekci, tak si ušetřím psaní kódu. DRY se tomu říká. Jestli pro někoho psaní méně kódu znamená vyšší složitost, tak asi nemá cenu dál diskutovat, jedem das seine.

[v]

Už nejméně dvakrát jsem ho uváděl: podmíněná konformance. Vlastně třikrát. Stačí letmo mrknout na Swift.

Tohle https://github.com/apple/swift-evolution/blob/master/proposals/0143-conditional-conformances.md je ono? Dopracováváme se zpět k myšlence, že dokonalý typový systém možná existuje, ale určitě je složitý jak prase? Tak to soráč květináč, ale to si radši nechám ten netypovaný systém s jednotkovými testy.

co je na tom tak složitého?

[Reklama]

[Gődel]

Už nejméně dvakrát jsem ho uváděl: podmíněná konformance. Vlastně třikrát. Stačí letmo mrknout na Swift.

Tohle https://github.com/apple/swift-evolution/blob/master/proposals/0143-conditional-conformances.md je ono? Dopracováváme se zpět k myšlence, že dokonalý typový systém možná existuje, ale určitě je složitý jak prase? Tak to soráč květináč, ale to si radši nechám ten netypovaný systém s jednotkovými testy.

co je na tom tak složitého?

Asi je pro někoho obtížné to pochopit. Což nechápu proč, ale i mimo IT někteří preferují dělat věci složitě, i když to jde jednoduše a s menší námahou. Holt svět není dokonalý.

[SB]

Asi je pro někoho obtížné to pochopit. Což nechápu proč, ale i mimo IT někteří preferují dělat věci složitě, i když to jde jednoduše a s menší námahou. Holt svět není dokonalý.

Přesně! Přesně to samé si myslím o vás.

[SB]

Malý kvíz: který "čistě OO" jazyk má generika, varianci typů (to nemá ani C++ nebo Swift) a typovou kontrolu při překladu?

Nenapínejte nás.

[v]

Asi je pro někoho obtížné to pochopit. Což nechápu proč, ale i mimo IT někteří preferují dělat věci složitě, i když to jde jednoduše a s menší námahou. Holt svět není dokonalý.

Přesně! Přesně to samé si myslím o vás.

tohle je zajímavý moment

[jdusizasvym]

Unit testy jsem nikdy neřešil, vždy si vše testuji sám vlastním systémem, že si vytvořím testovací třídu, která testuje veškeré elementární objekty (třídy, funkce), kdy ověřuji, zda na zadaný vstup leze zadaný výstup. Systém téměř debuggovat nemusím a pokud systém vykazuje chybu, vím hned, kde konkrétně je.

Supr! A teď si zkuste tipnout, jak se tomu, co jste vytvořil, říká.

Komparační test elementárních funkcí. Nebo také elementární test.

[Gődel]

Asi je pro někoho obtížné to pochopit. Což nechápu proč, ale i mimo IT někteří preferují dělat věci složitě, i když to jde jednoduše a s menší námahou. Holt svět není dokonalý.

Přesně! Přesně to samé si myslím o vás.

tohle je zajímavý moment

Ano, konečně i v tomto vlákně došlo na ad hominem

[v]

Asi je pro někoho obtížné to pochopit. Což nechápu proč, ale i mimo IT někteří preferují dělat věci složitě, i když to jde jednoduše a s menší námahou. Holt svět není dokonalý.

Přesně! Přesně to samé si myslím o vás.

tohle je zajímavý moment

Ano, konečně i v tomto vlákně došlo na ad hominem

je dobře, že si svůj prohřešek uvědomujete, teď zpět k věcné debatě

[Gődel]

Asi je pro někoho obtížné to pochopit. Což nechápu proč, ale i mimo IT někteří preferují dělat věci složitě, i když to jde jednoduše a s menší námahou. Holt svět není dokonalý.

Přesně! Přesně to samé si myslím o vás.

tohle je zajímavý moment

Ano, konečně i v tomto vlákně došlo na ad hominem

teď zpět k věcné debatě

Ano, teď se čeká, až SB a Kit dodají důkazy svých tvrzení. Trochu to začíná připomínat debatu Čada vs. Virius, kde prvně jmenovaný přestal se snahou dokládat svá uhozená tvrzení.

[Kit]

Ano, teď se čeká, až SB a Kit dodají důkazy svých tvrzení. Trochu to začíná připomínat debatu Čada vs. Virius, kde prvně jmenovaný přestal se snahou dokládat svá uhozená tvrzení.

Které z mých tvrzení potřebuješ doložit?

[andy]

Nechci spekulovat, ale jednoduchá úvaha, že když netypový systém otypuju, tj. omezím jej, dosáhnu tak větší znovupoužitelnosti, neboli obecnosti, mi nedává smysl.

Pokud otypuju netypový jazyk (třeba ve stylu TypeScript), tak ne. Zajímavé to začne být, jakmile je schopen překladač na základě těch typů něco rozhodovat. Zářným případem je právě polymorfismus na základě návratové hodnoty. To prostě nejde s "vtable"-like jazyky rozumně udělat, přitom pokud má překladač k dispozici informace o typech, tak je pro něj celkem jednoduché vybrat tu "správnou" funkci (nebo i konstantu).

Ona teda i ta typová kontrola vede k vyšší jednoduchosti kódu, protože prostě nemusím spoustu věcí kontrolovat - a vím, že je nemusím kontrolovat a nic se nestane (překladač to garantuje). Ono stačí se podívat na to jak fungují Promisy v JS a zkusit si představit, že by podobný protokol měl být naprosto běžný pro spoustu jiných situací.