Investor pro C++ IDE

[Death Walker]

nepoznaju rozdiel medzi typedf a using...

Nauč se anglicky a pak si přečti standard, čeká tě překvápko, somárik.

Co sa tam dozviem, ze keyword pre deklaraciu typu, pri niektorych typoch v skutocnosti nedeklaruje typ, ale vytvara alias? Proste je to nedostatok, ktory sa prejavuje tym ze C++, je typovo silne s velmi velkou rezervou.

Ano. Rozhodl ses zatlouct hřebík vidličkou a divíš se, že to kladivo moc nefunguje.

Alebo skor kladivo, ktore v niektorych pripadoch funguje ako vydlicka, podla tvaru klinca. To je typedef.

[Reklama]

[BoneFlute]

Smalltalk místo na typové kontroly vsadil na testy, které je mohou bez problémů nahradit. Typová kontrola je dnes už i v PHP v takové míře, která vývojářům vyhovuje. Tzn. že není vyžadována, ale je podporována.

Tak ale testy ti neohalia fakt ze scitas jablka a hrusky, ak jablka a hrusky su odvodene od integer. Jedine ze by si si definoval operator ktory ti pri scitani typu jablka a typu hrusky, vratil typ malvice. Toto ti moze odhalit len prekladac.

Jak tedy C++ rozliší mezi jablky a hruškami, pokud jsou odvozeny od int? Zabrání jejich sečtení?

myslis nieco taketo?

Kód: [Vybrat]

#include <iostream>
using namespace std;

typedef int apple;
typedef int pear;

int main() {
   apple a1 = 10;
   pear p1 = 20;
   int n = a1 + p1;
   cout << "Result : " << n << endl;
   return 0;
}
ani len pri tom nezanadava. Typovo silny jazyk by ti vynadal ze nepozna operator scitania pre apple a pear...

Ako tento nedostatok jazyka zachranis testami?

v dynamickem jazyku ten kod spadne, pokud ho spustis

Což dokazuje co?

ze to na to prijdes pri testu

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

[Ink]

nepoznaju rozdiel medzi typedf a using...

Nauč se anglicky a pak si přečti standard, čeká tě překvápko, somárik.

Co sa tam dozviem, ze keyword pre deklaraciu typu, pri niektorych typoch v skutocnosti nedeklaruje typ, ale vytvara alias? Proste je to nedostatok, ktory sa prejavuje tym ze C++, je typovo silne s velmi velkou rezervou.

Ano. Rozhodl ses zatlouct hřebík vidličkou a divíš se, že to kladivo moc nefunguje.

Alebo skor kladivo, ktore v niektorych pripadoch funguje ako vydlicka, podla tvaru klinca. To je typedef.

Teď se mi zatajil dech, bojím se, co se dozvím nového. Že když použiju typedef u struktury proto, že autoři C by mě jinak nutili furt dokola psát "struct", bude struct A něco jiného než struct B a tudíž i ty aliasy ukazují každý jinam? To fakt není zásluha typedefu.

[Death Walker]

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

Tak pisat testy je velmi dobry zvyk...

Ale nie koli tomu na co nie su urcene. Napr. na typovu kontrolu. Napises kniznicu/balicek ktory exportuje/publikuje metodu. Ako napises test pre ten balik, ktory by kontroloval typy s ktorymi zavola tu metodu niekto, co tu kniznicu pouzije? Vazne by som ten kod rad videl...

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

[Reklama]

[Idris]

Smalltalk místo na typové kontroly vsadil na testy, které je mohou bez problémů nahradit. Typová kontrola je dnes už i v PHP v takové míře, která vývojářům vyhovuje. Tzn. že není vyžadována, ale je podporována.

Tak ale testy ti neohalia fakt ze scitas jablka a hrusky, ak jablka a hrusky su odvodene od integer. Jedine ze by si si definoval operator ktory ti pri scitani typu jablka a typu hrusky, vratil typ malvice. Toto ti moze odhalit len prekladac.

Jak tedy C++ rozliší mezi jablky a hruškami, pokud jsou odvozeny od int? Zabrání jejich sečtení?

myslis nieco taketo?

Kód: [Vybrat]

#include <iostream>
using namespace std;

typedef int apple;
typedef int pear;

int main() {
   apple a1 = 10;
   pear p1 = 20;
   int n = a1 + p1;
   cout << "Result : " << n << endl;
   return 0;
}
ani len pri tom nezanadava. Typovo silny jazyk by ti vynadal ze nepozna operator scitania pre apple a pear...

Ako tento nedostatok jazyka zachranis testami?

v dynamickem jazyku ten kod spadne, pokud ho spustis

Což dokazuje co?

ze to na to prijdes pri testu

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

To nevadí, prostě potřebuješ testy na testy. Stačí spočetně mnoho úrovní testů a metatestů

[Idris]

Teď se mi zatajil dech, bojím se, co se dozvím nového.

Není nad to se dovzdělat

[BoneFlute]

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

[Death Walker]

Teď se mi zatajil dech, bojím se, co se dozvím nového.

Není nad to se dovzdělat

Proste v niketorych jazykoch nedokazete na urovni typovej kontroly zabezpecit aby nebolo mozne scitat CenuSDph a CenuBezDhp, co je proti kontraktu(ktoremu to predpisuje legislativa). V pohode umozni urobit trivialny omyl, tym, ze omylom scitate to co scitat nesmiete, a to vam neodhalia ani testy.

To ze si myslite ze c++ alebo rust su typovo silne jazyky, a uz nic silnejsie byt nemoze, je len dogma, ktorej sa drzite, len pre to ze vase myslenie ma obmedzene hranice, ktore vas dalej nepustia. A ako kazdy uboziak zatazeny dogmou, sa za nu budete donekonecne bit, hoci aj podrazmi.

[Ink]

To ze si myslite ze c++ alebo rust su typovo silne jazyky, a uz nic silnejsie byt nemoze, je len dogma, ktorej sa drzite, len pre to ze vase myslenie ma obmedzene hranice, ktore vas dalej nepustia. A ako kazdy uboziak zatazeny dogmou, sa za nu budete donekonecne bit, hoci aj podrazmi.

Fajn. A teď si vygoogli, na co odkazuje přezdívka Idris.

[Death Walker]

To ze si myslite ze c++ alebo rust su typovo silne jazyky, a uz nic silnejsie byt nemoze, je len dogma, ktorej sa drzite, len pre to ze vase myslenie ma obmedzene hranice, ktore vas dalej nepustia. A ako kazdy uboziak zatazeny dogmou, sa za nu budete donekonecne bit, hoci aj podrazmi.

Fajn. A teď si vygoogli, na co odkazuje přezdívka Idris.

Na tazku poruchu sebareflexie?

[Death Walker]

To ze si myslite ze c++ alebo rust su typovo silne jazyky, a uz nic silnejsie byt nemoze, je len dogma, ktorej sa drzite, len pre to ze vase myslenie ma obmedzene hranice, ktore vas dalej nepustia. A ako kazdy uboziak zatazeny dogmou, sa za nu budete donekonecne bit, hoci aj podrazmi.

Fajn. A teď si vygoogli, na co odkazuje přezdívka Idris.

Btw, vzhladom na tuto poznamku a to ako si vas dvoch priebezne analyzujem. Idris je tvoj imaginarny kamarat? Meliete rovnake hovna a teraz naviac poukazujes na to ze idris znamena prorok...

[BoneFlute]

naviac poukazujes na to ze idris znamena prorok...

[facepalm]

[Death Walker]

naviac poukazujes na to ze idris znamena prorok...

[facepalm]

Fackuj sa kolko chces, k tejto poznamke si vystrihol iba vetu s dogmou...

[Idris]

naviac poukazujes na to ze idris znamena prorok...

[facepalm]

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