Investor pro C++ IDE

[Ink]

Nastudujte si $355 vaseho zakonnika.

Znam jeno direktivy vesmirneho sboru...
Myslim ze #355 je
"Prvořadou povinností posádky je kontaktovat jiné formy života, vyměňovat si různé informace a pokud je to možné, přivést si je domů. "

A já myslel, že to je "Bude-li důstojník přistižen, jak očichává sedlo rotopedu v dámské tělocvičně, bude propuštěn bez soudu."

[Reklama]

[listoper]

Nastudujte si $355 vaseho zakonnika.

Znam jeno direktivy vesmirneho sboru...
Myslim ze #355 je
"Prvořadou povinností posádky je kontaktovat jiné formy života, vyměňovat si různé informace a pokud je to možné, přivést si je domů. "

A já myslel, že to je "Bude-li důstojník přistižen, jak očichává sedlo rotopedu v dámské tělocvičně, bude propuštěn bez soudu."

to je #196156

[Idris]

Nastudujte si $355 vaseho zakonnika.

Znam jeno direktivy vesmirneho sboru...
Myslim ze #355 je
"Prvořadou povinností posádky je kontaktovat jiné formy života, vyměňovat si různé informace a pokud je to možné, přivést si je domů. "

Formu života “Braindead walker” jsme úspěšně kontaktovali, ale domů ji nikdo nechce.

[BoneFlute]

V každém netriviálním programu je chyba. To je axiom.

Geniální mozky jako je např. D. Knuth těch chyb dělají velmi málo (nějaké ty šeky za chyby v TeX snad ale nakonec vypsat musel).

Běžní smrtelníci omyly dělají běžně. Ti ješitnější si to nepřipouštějí a ti pragmatičtější hledají nástroje, jak minimalizovat (jimi způsobené) škody.

Součástí toho toolsetu je jednoduchý a bezpečný jazyk a k tomu IDE nebo tooly na analýzu kódu (nejlépe současně integrované v tom IDE), které pomáhají zabít bugy v zárodku. Plus jim jít naprosti určitou disciplínou, "štábní kulturou" a nesnažit se být moc chytrý (méně je někdy více, příliš rafinovaném kódu nerozumí analyzátor v IDE, kolega ani já po roce).

Kdo nezažil situaci, kdy jde do práce nevyspalý (protože třeba malé dítě v noci trápila rýma), nemá prostě "svůj den", pracuje v prostředí, které není stopro ideální z pohledu focusu a do toho ještě šéf ječí s termínem, ať se přihlásí. Samozřejmě vystupujeme jako profíci a snažíme se odvádět kvalitní práci a ty chyby nedělat. Ale proklamace typu "já ve svém kódu prostě chyby nikdy nemám" jsou úsměvné a z mé zkušnosti i o dotyčném něco vypovídají.

Moc pěkně popsáno. Souhlas.

[Idris]

V každém netriviálním programu je chyba. To je axiom.

Geniální mozky jako je např. D. Knuth těch chyb dělají velmi málo (nějaké ty šeky za chyby v TeX snad ale nakonec vypsat musel).

Běžní smrtelníci omyly dělají běžně. Ti ješitnější si to nepřipouštějí a ti pragmatičtější hledají nástroje, jak minimalizovat (jimi způsobené) škody.

Součástí toho toolsetu je jednoduchý a bezpečný jazyk a k tomu IDE nebo tooly na analýzu kódu (nejlépe současně integrované v tom IDE), které pomáhají zabít bugy v zárodku. Plus jim jít naprosti určitou disciplínou, "štábní kulturou" a nesnažit se být moc chytrý (méně je někdy více, příliš rafinovaném kódu nerozumí analyzátor v IDE, kolega ani já po roce).

Kdo nezažil situaci, kdy jde do práce nevyspalý (protože třeba malé dítě v noci trápila rýma), nemá prostě "svůj den", pracuje v prostředí, které není stopro ideální z pohledu focusu a do toho ještě šéf ječí s termínem, ať se přihlásí. Samozřejmě vystupujeme jako profíci a snažíme se odvádět kvalitní práci a ty chyby nedělat. Ale proklamace typu "já ve svém kódu prostě chyby nikdy nemám" jsou úsměvné a z mé zkušnosti i o dotyčném něco vypovídají.

Moc pěkně popsáno. Souhlas.

Čím víc typové kontroly (záv. typy) a statické analýzy (například borrow checker), tím lépe. Rust už má generické asociované (přidružené) typy, od toho je k silnému typovému systému jen kousek.

[Reklama]

[Death Walker]

Nastudujte si $355 vaseho zakonnika.

Znam jeno direktivy vesmirneho sboru...
Myslim ze #355 je
"Prvořadou povinností posádky je kontaktovat jiné formy života, vyměňovat si různé informace a pokud je to možné, přivést si je domů. "

Formu života “Braindead walker” jsme úspěšně kontaktovali, ale domů ji nikdo nechce.

Myslis ze zaberie pristup, "Ked uz neviem argumentovat, tak budem hejtit ako male dieta"?

Nie je v ktorej pracujes,  jedna z tych ktora nemoze najst kvalitnych programatorov? Ak je takych ako ty vo firme viac, tak takymto jednanim spolahlivo zastropujete kvalitu programatorov.

[Kit]

Čím víc typové kontroly (záv. typy) a statické analýzy (například borrow checker), tím lépe. Rust už má generické asociované (přidružené) typy, od toho je k silnému typovému systému jen kousek.

Jenže těch jazyků, které skutečně umí dělat typové kontroly, je jen velmi málo. Proto se raději spoléhám na testy, které nejsou tak omezené.

[Death Walker]

Čím víc typové kontroly (záv. typy) a statické analýzy (například borrow checker), tím lépe. Rust už má generické asociované (přidružené) typy, od toho je k silnému typovému systému jen kousek.

Ak v jazyku nie je silny typovy system implementovany uz od zaciatku, tak casom sa tam nevyvinie. To by ludia ziastovai ze novou verziou im uz nejde prelozit stavajuci kod, vedsina ludi pise jazyk tak aby prilakala novych ludi, nie aby odradila povodnych.

[Idris]

Jenže těch jazyků, které skutečně umí dělat typové kontroly, je jen velmi málo.

Výběr je dostatečný, i slabší typová kontrola je lepší než žádná.

[Kit]

Jenže těch jazyků, které skutečně umí dělat typové kontroly, je jen velmi málo.

Výběr je dostatečný, i slabší typová kontrola je lepší než žádná.

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.

[Death Walker]

Jenže těch jazyků, které skutečně umí dělat typové kontroly, je jen velmi málo.

Výběr je dostatečný, i slabší typová kontrola je lepší než žádná.

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.

Ad PHP, typova kontrola v PHP je obmedzena len na volanie funkcii(metod), v bloku to uz zase mozes spatlat ako chces...

Napriklad

Kód: [Vybrat]

<?php
$a = 10 + "15abcd";
echo $a;
vypise 25... aj pri zapnutom strict mode.

[BoneFlute]

místo na typové kontroly vsadil na testy, které je mohou bez problémů nahradit.

Toto je nepravda. Milý čtenáři tohoto příspěvku, doporučoval bych ti si toto tvrzení ověřit.

[Kit]

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í?

[Kit]

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

Ad PHP, typova kontrola v PHP je obmedzena len na volanie funkcii(metod), v bloku to uz zase mozes spatlat ako chces...

Nikoho nezajímá, co se děje uvnitř metod. Podstatné je, že je splněn kontrakt rozhraní.

[Death Walker]

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?