616
Vývoj / Re:Typový system versus unittesty
« kdy: 18. 06. 2018, 13:15:57 »
Pak jsem se dožral a napsal jsem si generátor všech možností - tedy dle mého chápání něco jako statický typ.
Tak to je nejake divne chapani...
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.
Pak jsem se dožral a napsal jsem si generátor všech možností - tedy dle mého chápání něco jako statický typ.
Kód: [Vybrat]foo(i):
if (Random.double(0, 1) > 0.0000001:
return i + 1
else
return "Life suckz!"
print(1 + foo(1))
V testovani na to nejspis neprijdes, typova kontrola to da na prvni dobrou...
Když tam místo "Life suckz!" dáš třeba 0, což bývá častý případ, tak to typová kontrola také nedá.
Ano, typy nedokáží to, co dokáží testy – to navrhoval jen BoneFlute a myslím, že už to bylo vyvráceno.
Kde?
Jsem doufal, že se dozvím nějaké inspirativní podněty. Ne, že to prostě jen smeteš ze stolu.
foo(i):
if (Random.double(0, 1) > 0.0000001:
return i + 1
else
return "Life suckz!"
print(1 + foo(1))
Kéž by toto vlákno skončilo konstatováním, že typový systém nemůže nahradit unit testy......a naopak.
V tom případě je největším řiťolezcem Trump se Zemanem. Ten první vlezl do řiti Kimovi, ten druhý zase Číňanům.Chces mi tvrdit, ze tam nedela plno slunickaru? Jak se pak stane, ze vyhazuji z prace za nazory a lezou do zadku autoritarskejm (jestli ne totalitarskejm) Cinanum?Proc bez obsahu? Slunickar je prolhany pokrytecky parazit jednajici bez sebemensiho ohledu na svoje sousedy.Teď to zkus napasovat na ten Google... Drhne, co?
Vidím, že sluníčkář se stal takovou pěknou univerzální nadávkou bez obsahu.Proc bez obsahu? Slunickar je prolhany pokrytecky parazit jednajici bez sebemensiho ohledu na svoje sousedy.
Tak snad si to nezkazí nějakou pěknou zbrojní zakázkou, to by byla škoda ;-)
Google je podrazacka slunickarska spolecnost, ktera se zivi shromazdovanim dat o lidech. Jen blazen by veril bance, ktera si necemu tak podlemu outsourcovala IT.
Ne ceska firma to opravdu nebyla. Ono tech $150k se da utratit pokud clovek nemusi bydlet ve 3* hotelu ale muze si vzit neco lepsiho, nebo nemusis letet economy a pocitat diety ale letis business a jis kde chces atd. Na druhou stranu pokud vydelas firme rocne xM tak tyhle “drobnosti” neresi. Ale jak rikam, ceska firma to nebyla.
Muzes se tu podelit o nazev te firmy?
Ale osobne by som ma radsej juniora, co naozaj slusne ovlada java SE a tiez naozaj slusne ovlada objektovo-orientovany navrh softveru. Tie frameworky, to sa clovek nauci, no ked clovek nevie javu SE a principy oop, je odsudeny na dozivotnu vyrobu spagiet.
Na druhou stranu můžu mít jazyk, který perfektně izoluje data od okolí a pevně spojuje metody s těmi daty, ale když bych náhodou zavolal špatnou metodu, tak neexistuje síla, jak takovou špatnou zprávu zachytit za běhu a vyrovnat se s ní nějak kreativně, než že mi už při kompilaci vyskočí error, konstruktor bude volán až po fyzickém vyrobení objektu a nebude moci vrátit jinou instanci nebo třeba úplně jiný objekt, atd. Takový jazyk by byl jen zkripleně objektový, třebaže dokonale zapouzdřuje.
Zachycení špatné zprávy není problém. To jen špatně navržené jazyky si s tím neporadí.