Investor pro C++ IDE

[BoneFlute]

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.

[Reklama]

[Idris]

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.

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

[Death Walker]

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?

[BoneFlute]

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/

[BoneFlute]

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"

[Reklama]

[Death Walker]

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.

Krikom, urazkami, vytrhavanim z kontextu a tak podobne... Njn, s tym sa da uhrat iba iluzia vyhry

[Idris]

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

Nápodobně. Tak ať se daří (nám oběma).

[Idris]

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/

Dřív si ta tupá část společnosti všechno googlila. Teď už máme ještě nižší “kastu”, která neumí ani googlit.

[Death Walker]

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/

Co by to malo dokazat? Ze dotycny je uplny blb, kedze tu rozporuje to co som povodne tvrdil. A sice to, ze je dolezita typova kontrola pri preklade, nie pri behu programu.

[Kit]

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. 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.

[Idris]

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ů).

[BoneFlute]

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.

[Death Walker]

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. 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.

Takze vlastne dany jazyk nema dostatocnu typovu kontrolu, kedze ju musim suplovat testami. Pritom by stacilo

Kód: [Vybrat]

type Month is range 1 .. 12;

[Google CTCCTCGGCGGGCACGTAG]

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.)

Linter odhali stejny typ chyb jako kompiler. Testovani odhali jiny typ chyb.

[Google CTCCTCGGCGGGCACGTAG]

konkretne u toho scitani, ktere je v prikladu, pokud ta operace dela neco s cisly (hadam ze scita), ruzne out of range chyby bezny kompiler neodhali, vetsinou je jednodussi napsat testy na ruzne krajni pripady