Investor pro C++ IDE

Ink

  • ****
  • 436
    • Zobrazit profil
    • E-mail
Re:Investor pro C++ IDE
« Odpověď #255 kdy: 17. 09. 2021, 12:53:53 »
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."


Re:Investor pro C++ IDE
« Odpověď #256 kdy: 17. 09. 2021, 12:58:54 »
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

  • *****
  • 1 716
    • Zobrazit profil
    • E-mail
Re:Investor pro C++ IDE
« Odpověď #257 kdy: 17. 09. 2021, 14:32:55 »
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

  • *****
  • 1 750
    • Zobrazit profil
Re:Investor pro C++ IDE
« Odpověď #258 kdy: 17. 09. 2021, 21:24:24 »
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

  • *****
  • 1 716
    • Zobrazit profil
    • E-mail
Re:Investor pro C++ IDE
« Odpověď #259 kdy: 17. 09. 2021, 22:10:24 »
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.


Re:Investor pro C++ IDE
« Odpověď #260 kdy: 17. 09. 2021, 22:29:26 »
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

  • *****
  • 644
    • Zobrazit profil
    • E-mail
Re:Investor pro C++ IDE
« Odpověď #261 kdy: 17. 09. 2021, 22:35:02 »
Čí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é.

Re:Investor pro C++ IDE
« Odpověď #262 kdy: 17. 09. 2021, 22:38:37 »
Čí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

  • *****
  • 1 716
    • Zobrazit profil
    • E-mail
Re:Investor pro C++ IDE
« Odpověď #263 kdy: 17. 09. 2021, 22:40:21 »
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

  • *****
  • 644
    • Zobrazit profil
    • E-mail
Re:Investor pro C++ IDE
« Odpověď #264 kdy: 17. 09. 2021, 23:13:36 »
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.

Re:Investor pro C++ IDE
« Odpověď #265 kdy: 17. 09. 2021, 23:48:23 »
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

  • *****
  • 1 750
    • Zobrazit profil
Re:Investor pro C++ IDE
« Odpověď #266 kdy: 17. 09. 2021, 23:59:32 »
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

  • *****
  • 644
    • Zobrazit profil
    • E-mail
Re:Investor pro C++ IDE
« Odpověď #267 kdy: 18. 09. 2021, 00:25:31 »
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

  • *****
  • 644
    • Zobrazit profil
    • E-mail
Re:Investor pro C++ IDE
« Odpověď #268 kdy: 18. 09. 2021, 00:33:45 »
... 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í.

Re:Investor pro C++ IDE
« Odpověď #269 kdy: 18. 09. 2021, 01:49:36 »
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?