Zobrazit příspěvky

Tato sekce Vám umožňuje zobrazit všechny příspěvky tohoto uživatele. Prosím uvědomte si, že můžete vidět příspěvky pouze z oblastí Vám přístupných.


Příspěvky - Death Walker

Stran: [1] 2 3 ... 16
1
Distribuce / Re:Mizející místo na disku v Ubuntu
« kdy: 20. 09. 2021, 20:31:41 »
Btw a nie je tam nad tym ext este lvm? To zmiznute miesto by mohli vysvetlovat snapshoty...

2
Vývoj / Re:Investor pro C++ IDE
« kdy: 19. 09. 2021, 04:42:00 »
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?

protoze obracene to neplati, linter (zalezi na linteru) casto odhali vic chyb. priklad hlint a ghc. navic linter negeneruje binarku, tak bezi mnohem rychleji, IDE ho muze spoustet na pozadi.

To ze mnozina uloh ktore vykonava linter sa ciastocne prekryva s mnozinou uloh ktore vykonava kompilator, neznamena ze linter odhali rovnaky typ chyb ako kompilator.

Linter sa skor pouziva na staticku analyzu kodu. Stylisticke chyby, programatorske chyby (ako napr. funkcia bez return)...
Ale co sa tyka typovej kontroly, tak k ma dispozicii len tie informacie ako kompilator. Cize ak je linter urceny pre dynamicky jazyk, tak nema podla coho vykonat typovu kontrolu. V tom zdrojaku proste nenajde potrebne informacie.

3
Vývoj / Re:Investor pro C++ IDE
« kdy: 19. 09. 2021, 02:31:55 »
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?

4
Vývoj / Re:Investor pro C++ IDE
« kdy: 19. 09. 2021, 02:26:49 »
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
Ak ma jazyk dostatocne prostriedky, tak je jednoduchsie tie prostriedky vyuzit a dodat prekladacu dostatok informacii o scitanych typoch a o type do ktoreho bude priradeny vysledok.

Inak povedane, nie je dobre znasilnovat jazyk k comu nie je urceny a zacharanovat to testami. Ludia su nevrly uz ked musia pisat funkcne testy, ak im k testom ohladne zadania pridas este testy ktore budu zachranovat slabu typovu kontrolu, tak o to viac na to budu kaslat.

5
Vývoj / Re:Investor pro C++ IDE
« kdy: 19. 09. 2021, 00:37:50 »
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;

6
Vývoj / Re:Investor pro C++ IDE
« kdy: 18. 09. 2021, 23:22:53 »
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.

7
Vývoj / Re:Investor pro C++ IDE
« kdy: 18. 09. 2021, 23:19:07 »
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 :D

8
Vývoj / Re:Investor pro C++ IDE
« kdy: 18. 09. 2021, 23:13:26 »
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?

9
Vývoj / Re:Investor pro C++ IDE
« kdy: 18. 09. 2021, 22:48:31 »
naviac poukazujes na to ze idris znamena prorok...

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

10
Vývoj / Re:Investor pro C++ IDE
« kdy: 18. 09. 2021, 22:36:45 »
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...

11
Vývoj / Re:Investor pro C++ IDE
« kdy: 18. 09. 2021, 21:46:59 »
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? :D

12
Vývoj / Re:Investor pro C++ IDE
« kdy: 18. 09. 2021, 21:28:16 »
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.

13
Vývoj / Re:Investor pro C++ IDE
« kdy: 18. 09. 2021, 15:15:47 »
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...

14
Vývoj / Re:Investor pro C++ IDE
« kdy: 18. 09. 2021, 13:28:37 »
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.

15
Vývoj / Re:Investor pro C++ IDE
« kdy: 18. 09. 2021, 13:14:01 »
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.

Stran: [1] 2 3 ... 16