226
Vývoj / Re:Agregace velkeho mnzstvi stream dat
« kdy: 22. 09. 2021, 19:29:07 »
Pripadne ak chces predasa len programovat, tak by som nevymyslal koleso, ale pouzil RRD tool. Ten by mal mat implementaciu hadam v kazdom jazyku.
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.
Unicorn je shit, Kovar si nevazi lidi.Jak to souvisí se zdejším off-topicem?
Ak by linter odhalil rovnaky typ chyb ako kompiler, tak by bol tak trocha zbytocny, nie?Linter odhali stejny typ chyb jako kompiler.Odvážné tvrzení. Ale budiž, nebudem se o tom přít.
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.
Ak by linter odhalil rovnaky typ chyb ako kompiler, tak by bol tak trocha zbytocny, nie?Linter odhali stejny typ chyb jako kompiler.Odvážné tvrzení. Ale budiž, nebudem se o tom přít.
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 pripadyAk 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.
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.
type Month is range 1 .. 12;
Tak si zadaj do google Idris, co ti najde. Na kolkej strane vysledkov by ta uzastna info mala byt? 10k a nejake drobne?Ještě větší retard, než jsme se obávali, hejže?naviac poukazujes na to ze idris znamena prorok...[facepalm]
https://www.root.cz/zpravicky/vysla-nova-verze-jazyka-idris-2/
Krikom, urazkami, vytrhavanim z kontextu a tak podobne... Njn, s tym sa da uhrat iba iluzia vyhryHele 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.Ještě větší retard, než jsme se obávali, hejže?naviac poukazujes na to ze idris znamena prorok...[facepalm]
Tak si zadaj do google Idris, co ti najde. Na kolkej strane vysledkov by ta uzastna info mala byt? 10k a nejake drobne?Ještě větší retard, než jsme se obávali, hejže?naviac poukazujes na to ze idris znamena prorok...[facepalm]
Fackuj sa kolko chces, k tejto poznamke si vystrihol iba vetu s dogmou...naviac poukazujes na to ze idris znamena prorok...
[facepalm]
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...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.
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.