Typový system versus unittesty

[Gődel]

Pamatuju si, jak jsem kolegovi vysvětloval, proč je jako docela fajn v konstruktoru testovat vstupní hodnoty; že jinak to balit do třídy nemá smysl. Strašně se kroutil. Je docela chytrý, ale celou svou inteligenci vyčerpal na to, aby mi dokázalmě uhádal, že to tak není.

Jak kdy. Pokud potřebuji pozdní vazbu, tak nevím, co bych v tom konstruktoru testoval.

Nějak to pleteš. Míchat konstruktory a pozdní vazbu chce hodně divokou představivost.

Ve chvíli, kdy vytvořím objekt, ještě nevím, které metody budu volat a které atributy mám validovat. Validuje se až při zavolání konkrétní metody.

Aha. Takže když vytvořím instanci třídy Person s věkem -50, tak ti to je jedno, protože na zavolání metody “chcípni” (pure OO ekšperti by řekli poslání zprávy “chcípni”) to nemá vliv? Co zásada “fail early”? To “early” taky může znamenat před pádem letadla nebo výbuchem elektrárny.

[Reklama]

[v]

takové fajne vlákno to bylo

[Kit]

Ve chvíli, kdy vytvořím objekt, ještě nevím, které metody budu volat a které atributy mám validovat. Validuje se až při zavolání konkrétní metody.

Aha. Takže když vytvořím instanci třídy Person s věkem -50, tak ti to je jedno, protože na zavolání metody “chcípni” (pure OO ekšperti by řekli poslání zprávy “chcípni”) to nemá vliv? Co zásada “fail early”? To “early” taky může znamenat před pádem letadla nebo výbuchem elektrárny.

Co když ten věk vůbec nebudu potřebovat a v konstruktoru není uveden? Proč bych ho měl validovat?

"fail early" je cestou do pekel, protože narušuje atomicitu operací. Co když mezi validací a použitím hodnoty mi ji nějaké jiné vlákno změní? Výjimky pro tento účel poslouží mnohem lépe.

[BoneFlute]

Jak kdy. Pokud potřebuji pozdní vazbu, tak nevím, co bych v tom konstruktoru testoval.

Hele, založ si vlastní vlákno!

[Filip Jirsák]

Šel jsem oběma cestama. A musím říct, že napsat aplikaci, kde spolehlivost bude stát jen na testech je peklo.

Nějak mne nenapadá, v čem by se měla lišit dovednost psát testy od dovednosti programovat.

Častým projevem toho nechápání bývá paušální odsuzování – a je jedno, zda PHP, JavaScriptu, Javy nebo C.

[Reklama]

[BoneFlute]

Aha. Takže když vytvořím instanci třídy Person s věkem -50, tak ti to je jedno, protože...

Ono hodně dělají zvyky z těch statických typu. Pro nás už jen představa existence nevalidního objektu je neprijatelná.

V případě netypovych jazyku kde to může kdykoliv kdekoliv chcipnout - to tolik neprozivaji.

[Gődel]

Aha. Takže když vytvořím instanci třídy Person s věkem -50, tak ti to je jedno, protože...

Ono hodně dělají zvyky z těch statických typu. Pro nás už jen představa existence nevalidního objektu je neprijatelná.

V případě netypovych jazyku kde to může kdykoliv kdekoliv chcipnout - to tolik neprozivaji.

To už je o zvyku a disciplíně bez ohledu na jazyk. Prasit jde i v Haskellu.

[v]

Častým projevem toho nechápání bývá paušální odsuzování – a je jedno, zda PHP, JavaScriptu, Javy nebo C.

vyloučil jste možnost, že ten nechápající jste vy?

[Kit]

Častým projevem toho nechápání bývá paušální odsuzování – a je jedno, zda PHP, JavaScriptu, Javy nebo C.

vyloučil jste možnost, že ten nechápající jste vy?

Jistě, Haskell tady přece nikdo neodsuzuje. Není lepší ani horší než ostatní jazyky, je prostě jiný.

[BoneFlute]

Aha. Takže když vytvořím instanci třídy Person s věkem -50, tak ti to je jedno, protože...

Ono hodně dělají zvyky z těch statických typu. Pro nás už jen představa existence nevalidního objektu je neprijatelná.

V případě netypovych jazyku kde to může kdykoliv kdekoliv chcipnout - to tolik neprozivaji.

To už je o zvyku a disciplíně bez ohledu na jazyk.

Před seznámením se z Haskellem jsem to psal proto, protože je to tak správně. Po seznámení s Haskellem jsem začal chápat proč.

Prasit jde i v Haskellu.

To mě zajímá. Ne, to, zda to jde, ale nějakou pěknou ukázku prasení v Haskellu.

[Gődel]

Aha. Takže když vytvořím instanci třídy Person s věkem -50, tak ti to je jedno, protože...

Ono hodně dělají zvyky z těch statických typu. Pro nás už jen představa existence nevalidního objektu je neprijatelná.

V případě netypovych jazyku kde to může kdykoliv kdekoliv chcipnout - to tolik neprozivaji.

To už je o zvyku a disciplíně bez ohledu na jazyk.

Před seznámením se z Haskellem jsem to psal proto, protože je to tak správně. Po seznámení s Haskellem jsem začal chápat proč.

Je fakt škoda, že se Haskell neučí do hloubky na našich VŠ.

[Gődel]

To mě zajímá. Ne, to, zda to jde, ale nějakou pěknou ukázku prasení v Haskellu.

Nic konkrétního po ruce nemám, prasečiny si neschovávám, ale většinou jde o stupidní použití do notace. Ono vůbec nejhorší jsou lidi, co si myslí, že umí Haskell, a pak v něm něco píšou nebo ho nedejbože vysvětlují jiným. Operátor <- je pro ně přiřazení (haha) a kód píší v podstatě procedurálně.

[Link]

Pro inspiraci: https://medium.com/@pereroigcat/functional-algorithmics-2-type-operators-and-higher-kinds-a594cd9cb01

[sdf]

Častým projevem toho nechápání bývá paušální odsuzování – a je jedno, zda PHP, JavaScriptu, Javy nebo C.

vyloučil jste možnost, že ten nechápající jste vy?

Je to Jirsák. Co bys čekal.

[sdf]

Častým projevem toho nechápání bývá paušální odsuzování – a je jedno, zda PHP, JavaScriptu, Javy nebo C.

vyloučil jste možnost, že ten nechápající jste vy?

Jistě, Haskell tady přece nikdo neodsuzuje. Není lepší ani horší než ostatní jazyky, je prostě jiný.

Totéž se dá říct o whitespacu....