Příspěvky

256

/dev/null / Re:Odpovědnost za škodu? Problémový junior a zklamání z práce

« kdy: 26. 09. 2021, 22:09:56 »

Testy jsou naprd, o tom žádná. [...] Samozřejmě typy jsou všespásné

To právě naplatí. Jenže testy jsou o sémantice, kdežto typy kontrolují spíš syntax (je tam průnik, ale malý).

Testy verzus Typy jsme už jednou probírali. Asi netřeba to otevírat znova.

Pro tu dnešní módu mikroslužeb asi neexistuje vhodný jazyk

Mikroslužby jsou tak trochu problém sám o sobě. Protože tím jak je to rozcapené, tak se to blbě hlídá (zda jsou dodržené kontrakty, zda je problém v dostupnosti, nebo v kódu, ...) Možná by to nemusel být technický problém, ale jsme ve fázi, kdy se snad všechny služby píšou ad-hoc, takže je snadné se na to či ono vybodnout.

Pochlub se detaily.

Můj aktuální problém jsou tupé chyby (copy/paste překlepy) v boilerplate kódu, to je obzvlášť hnusná a v ideálním světě zbytečná kategorie. ... boilerplate

Můžeš to rozvést?

257

/dev/null / Re:Odpovědnost za škodu? Problémový junior a zklamání z práce

« kdy: 26. 09. 2021, 15:57:26 »

Mě by zajímalo, kteří "zkušení" programátoři jsou ochotni tvořit kód bez testů.
Myslím si, že zde platí přísloví, pes který štěká nekouše, neboť pak by se jeho klienti dozvěděli, že svěřuje jejich weby juniorům bez praxe.

myslím, že docela dost. Prošel jsem hodně firem a dost jsem testy v projektu buď vůbec neviděl, nebo byly zakomentované či tam byl assert(true).

A jestli se pamatuji správně, tak kdysi mělo K**i průser a majitel říkal, že testy nepíšou, že je to ztráta času (rozuměj peněz), že případnou pokutu zaplatí znova a že to bude méně něž by stál čas na testy. Nevím jak je to dnes, ale částečně má pravdu. Dříve jsem byl fanatik a dnes tak nějak zjišťuji, že testy nejsou zase tak důležité, jak se říká. Nehledě na to, že stejně nikdy nepokryjete 100% variant.

U knihovny testy píšu (už) asi samozřejmě. U webové aplikace to je na zvážení, zda mají ekonomický smysl. Business logika určitě ano (i když taky to flákám). View výjimečně. To už musí být nějaká fakt vytížená aplikace.

V případě eshopu na zakázku by mě testy opravdu překvapili.

Po mé poslední zkušenosti s testy (v seniorním týmu) se usilovně snažím vymyslet nějaký spolehlivější způsob odhalování tupých chyb.

Testy jsou naprd, o tom žádná. Ale jsou skvělé na demonstraci use-case. Samozřejmě typy jsou všespásné, ale když to nejde jimi, tak testy taky dobrý.

Co jsi vymyslel?

258

/dev/null / Re:Odpovědnost za škodu? Problémový junior a zklamání z práce

« kdy: 25. 09. 2021, 22:53:44 »

Mě by zajímalo, kteří "zkušení" programátoři jsou ochotni tvořit kód bez testů.
Myslím si, že zde platí přísloví, pes který štěká nekouše, neboť pak by se jeho klienti dozvěděli, že svěřuje jejich weby juniorům bez praxe.

myslím, že docela dost. Prošel jsem hodně firem a dost jsem testy v projektu buď vůbec neviděl, nebo byly zakomentované či tam byl assert(true).

A jestli se pamatuji správně, tak kdysi mělo K**i průser a majitel říkal, že testy nepíšou, že je to ztráta času (rozuměj peněz), že případnou pokutu zaplatí znova a že to bude méně něž by stál čas na testy. Nevím jak je to dnes, ale částečně má pravdu. Dříve jsem byl fanatik a dnes tak nějak zjišťuji, že testy nejsou zase tak důležité, jak se říká. Nehledě na to, že stejně nikdy nepokryjete 100% variant.

U knihovny testy píšu (už) asi samozřejmě. U webové aplikace to je na zvážení, zda mají ekonomický smysl. Business logika určitě ano (i když taky to flákám). View výjimečně. To už musí být nějaká fakt vytížená aplikace.

V případě eshopu na zakázku by mě testy opravdu překvapili.

259

/dev/null / Re:Odpovědnost za škodu? Problémový junior a zklamání z práce

« kdy: 24. 09. 2021, 21:50:51 »

stačí se naučit Indicky a zdrhnout do Indie, jednak tam tvůj naprasený kód nevzbudí pohoršení a jednak z tebe bude rázem senior.

Ať se naučí švýcarsky nebo belgicky,

Dobrej :-)

260

Vývoj / Re:Investor pro C++ IDE

« kdy: 19. 09. 2021, 02:57:05 »

Linter odhali stejny typ chyb jako kompiler.

Odvážné tvrzení. Ale budiž, nebudem se o tom přít.

Ak by linter odhalil rovnaky typ chyb ako kompiler, tak by bol tak trocha zbytocny, nie?

Zásadní rozdíl mezi linterem a kompilerem (staticky typovaného jazyka) je v tom, že linter lze nepoužít. (Plus je tam ta historická souvislost, že linter se používá na jazyky, které nebyly navrženy se statickými typy - Python, JS například.)

261

Vývoj / Re:Investor pro C++ IDE

« kdy: 19. 09. 2021, 02:52:50 »

Testy dělají to, co typy nesvedou. Typy obvykle nezabrání abych do proměnné měsíc nevložil hodnotu 14, aby se do indexu nedostala hodnota mimo rozsah pole.

Na to jsou enumy a závislostní typy. Důležité jsou typy i testy, vzájemně se doplňují a pokrývají jiná rizika (typy symbolicky, testy ošetřením typických případů).

To s tím indexem mě zaujalo. Zkusil jsem se zamyslet, a uvažovat jak by se dal řešit nějaký jednoduchý příklad s kolekcí.

Postavil jsem to na jednom reálném zadání z práce:

U položky evidujeme 0, 1 nebo 2 záznamy, přičemž buď může být jeden záznam draft, nebo jeden accepted, nebo jeden draft a jeden accepted. Budeme to řešit jako kolekci/pole.

Takže celkem přímočaře si z toho udělám čtyři varianty (pseudokód):

Kód: [Vybrat]

type State = Draft | Accepted

type Choices 
	= []
	| [(State)]
	| [(Draft), (Accepted)]

-- Funkce pro přidání:
add :: Choices -> State -> Choices
add xs@[] x = [x]
add xs@[Draft] x@Accepted = [xs : x]
add xs@[Accepted] x@Draft = [xs : x]

Je to trochu humpolácky napsané, příklad je ne úplně reprezentativní, ale berme to jako výhodu.

V podobném duchu si dokážu snadno představit třeba pole o maximální velikosti 42 prvků. Ale už by to asi chtělo nějaký cukr, nebo něco, aby to bylo příjemné.

262

Vývoj / Re:Investor pro C++ IDE

« kdy: 19. 09. 2021, 02:18:56 »

Linter odhali stejny typ chyb jako kompiler.

Odvážné tvrzení. Ale budiž, nebudem se o tom přít.

Nemuzes normalne priznat, ze ma druha strana pravdu?

Kdo mě zná tak ví, že nemám problém přiznat, že má druhá strana pravdu. Ale má to pár podmínek:
- musí přinést do diskuse něco nového, zajímavého, užitečného
- musí dokázat, že má pravdu, nebo alespoň dokázat, že to co říká je zajímavé
- musí předvést, že tomu rozumí, alespoň trochu
- abych přiznal že se mýlím (není problém) musí dokazovat něco, co jsem tvrdil

Co z toho je tvůj případ?

Pokud se do těchto podmínek nevejdeš, nebudu se obtěžovat na tebe reagovat bez ohledu na to, jak vychytralé psychologické triky na mě budeš zkoušet. Děkuji za pozornost a sbohem.

263

Vývoj / Re:Investor pro C++ IDE

« kdy: 19. 09. 2021, 01:38:24 »

Linter odhali stejny typ chyb jako kompiler.

Odvážné tvrzení. Ale budiž, nebudem se o tom přít.

264

Vývoj / Re:Investor pro C++ IDE

« kdy: 19. 09. 2021, 00:24:05 »

Každopádně mi furt nedochází, v čem by to testování mělo být výhodnější, nebo co jako.

Testy dělají to, co typy nesvedou.

Ano, to je pravda. Ano, není to odpověď na otázku.

Typy obvykle nezabrání abych do proměnné měsíc nevložil hodnotu 14, aby se do indexu nedostala hodnota mimo rozsah pole. Proto po každé kompilaci spouštím testy, abych viděl, že jednotka dělá to, co má i pro hraníční hodnoty.

Ani s jedním příkladem jsi se netrefil. A přitom by se dali najít příklady, kdy testy krásně sekundují typům, a tedy mají svůj smysl.

265

Vývoj / Re:Investor pro C++ IDE

« kdy: 18. 09. 2021, 23:18:31 »

Hele já nevím. Mě přijde, že je to dobou. Já takovýho kluka měl doma (na návštěvě). On je hodnej, což o to. Ale jako nějaká rozvaha, logické uvažování, přehled ale třeba i pud sebezáchovy jako vůbec. Přece nepudu do sporu, kde tuším, že mohu prohrát?! A ještě s takovým křikem. A oni tito lidé snad opravdu věří, že když budou hodně, ale fakt hodně křičet, tak že si tu pravdu vykřičí. Moc netuším v co doufají, že dosáhnou.

Hmm. Jestli to tak opravdu je, tak je to dost smutné.

Usilovně makám na tom, abych to moje děti nechytli
Ale to už jsme fakt daleko od tématu "Investor pro C++ IDE"

266

Vývoj / Re:Investor pro C++ IDE

« kdy: 18. 09. 2021, 23:16:13 »

naviac poukazujes na to ze idris znamena prorok...

[facepalm]

Ještě větší retard, než jsme se obávali, hejže? 

Tak si zadaj do google Idris, co ti najde. Na kolkej strane vysledkov by ta uzastna info mala byt? 10k a nejake drobne?

https://www.root.cz/zpravicky/vysla-nova-verze-jazyka-idris-2/

267

Vývoj / Re:Investor pro C++ IDE

« kdy: 18. 09. 2021, 23:03:27 »

naviac poukazujes na to ze idris znamena prorok...

[facepalm]

Ještě větší retard, než jsme se obávali, hejže? 

Hele já nevím. Mě přijde, že je to dobou. Já takovýho kluka měl doma (na návštěvě). On je hodnej, což o to. Ale jako nějaká rozvaha, logické uvažování, přehled ale třeba i pud sebezáchovy jako vůbec. Přece nepudu do sporu, kde tuším, že mohu prohrát?! A ještě s takovým křikem. A oni tito lidé snad opravdu věří, že když budou hodně, ale fakt hodně křičet, tak že si tu pravdu vykřičí. Moc netuším v co doufají, že dosáhnou.

268

Vývoj / Re:Investor pro C++ IDE

« kdy: 18. 09. 2021, 22:44:41 »

naviac poukazujes na to ze idris znamena prorok...

[facepalm]

269

Vývoj / Re:AI a poker

« kdy: 18. 09. 2021, 21:55:29 »

Automaty a online kasina nejsou podvody, kontrolujou je finančáky vcelku často. Jen to chce vědět jak to funguje.
Pokud si to pamatuju správně, co mi říkal jeden technik co spravuje automaty cca 12 let zpátky, tak neživá hra tj. automaty a online hra bez lidí má ze zákona mít nastaveno:
u zaplivaných sportbarů, hospod výhernost minimálně 60% a více (dává se spíš více 80-85, protože by to nikdo jinak nehrál "že nedává" )
u automatů v oficiálních kasínech výhernost min 96%
u automatů online výhernost min 98%

tu výhernost nechápejte jako že to je šance co vyhraje 1 hráč, Ale že to je rozloženo mezi všechny hry v nějakém čase a 96% vkladů musí bedna vrátit na výhrách, ale už je na ní komu a v jakém množství... Může se dostat i do minusu a třeba se rok dostává na 0, ale to je kompenzováno tím že těch automatů je v kasině třeba 100 a prostě v prumeru mají ty 4% jistý.

Pracoval som v gambling biznise niekolko rokov a ano. Toto je pravda

Mě toto potvrzoval jeden závislák ze své zkušenosti. Že k tomu automatu sedne a kouká, jak na něm ostatní hrajou. A pak odhaduje, kdy je ten automat nacucanej. A prej do toho nahází dva a půl tácu, a klidně mu to ty dva táci vrátí. Tak, matematika trochu falíruje, ale byl to závislák no.

270

Vývoj / Re:Investor pro C++ IDE

« kdy: 18. 09. 2021, 21:22:02 »

Ale ty testy musím napsat, že? A musím je napsat správně, že?

Ale vy jste se ptal, jak pomohou testy. Na tuhle chybu prijde kazdy linter, k tomu nejsou treba testy. Ale staci i uplne trivialni test, ktery pokryje ten kod.

Tak to prr! Na nic takového jsem neptal. Já se jen opatrně ptal, co skutečnost, že to spadne dokazuje. Ty říkáš, že na to přijdu při testu. OK, tak ten test teda musím napsat. Nebo musím spustit linter, což je takovej podivnej kříženec mezi statickými typy a automatickými testy - ok.

Každopádně mi furt nedochází, v čem by to testování mělo být výhodnější, nebo co jako. (Bez ohledu na to, že už tu jedno vlákno na toto téma bylo, kde to bylo do mrti rozebráno. Ale někdo si chce tu slepou uličku asi prolézt znova. No, buduž mu přáno.)