Příspěvky

151

Vývoj / Re:Proč ten hype okolo Go?

« kdy: 04. 09. 2018, 10:24:43 »

Občas tu přece někdo doporučuje jako výhodné předávat data netypovaným asociativním polem/hashmapou :-)

je to dobrá praktika v jazycích bez keyword argumentů.

152

Vývoj / Re:Proč ten hype okolo Go?

« kdy: 04. 09. 2018, 10:15:32 »

Sorac, ale tyhle naproste zaklady MUSI byt soucasti stdlib, uz z toho prosteho duvodu, se se tyto datove struktury pouzivaji pro predavani dat mezi knihovnimi komponentami.

není důvod, aby defaultní mapa neudržovala i pořadí prvků. Skoro nic to nestojí. Můžete mít různé implementace mapy, které implementují stejné rozhraní. Knihovna by neměla vyžadovat konkrétní typ.

153

Vývoj / Re:Proč ten hype okolo Go?

« kdy: 31. 08. 2018, 22:32:05 »

Swift myslím apple-only (už) není a technologicky je docela zajímavý, rozhodně to není prostá napodobenina C#, ad F# - vím přinejším o tomhle https://twitter.com/RProvaznik , je to .net, takže hádám, že bude dost používaný, ale nevim, Scalu jsem jenom tak plácnul a zapoměl jsem na Rust

Rust je jazyk, který je nový, originální, ambiciózní a netriviální - mohu se mýlit, ale nemyslím si, že by se nějak masivně rozšířil - pro svou netriviálnost - aktuálně se určitě nedá brát jako rozšířený a etablovaný programovací jazyk.

Jazyk nedokážu zhodnotit, ale jako uživatel narážím stále častěji na SW napsaný v Rustu. Používám ripgrep, protože je to nejrychlejší vyhledávací nástroj. Firefox je postupně přepisován do Rustu. Coreutils implementované v Rustu jsou nejrychlejší implementace.

154

Vývoj / Re:Proč ten hype okolo Go?

« kdy: 31. 08. 2018, 21:56:15 »

Clojure

Sakra, musím sledovat tu diskusi pečlivěji
Samozřejmě, že clojure je jen lisp a tedy nic nového

Clojure byl hodně inovativní jazyk. Lispovská syntax je jen detail.

155

Vývoj / Re:Funkcionální pole (a jiné mutabilní datové struktury)

« kdy: 29. 08. 2018, 10:32:18 »

Mají tyhle funkcionální hracky vubec realny smysl? Jakykoliv vypocetni vykon ktery byste mohli ziskat paralerizaci, stejně ztratíte na režii, zbytecnem kopirovani a cache misses.

z hlediska výkonu asi většinou ne, ale podle mě to usnadňuje psaní korektních a testovatelnách programů. Vyzkoušejte Elixir.

156

Vývoj / Re:Funkcionální pole (a jiné mutabilní datové struktury)

« kdy: 29. 08. 2018, 09:26:38 »

vektor v clojure

https://hypirion.com/musings/understanding-persistent-vector-pt-1

157

Vývoj / Re:Vývoj pro C99

« kdy: 23. 08. 2018, 21:16:34 »

https://github.com/cs01/gdbgui/

158

Vývoj / Re:Typový system versus unittesty

« kdy: 20. 08. 2018, 16:18:20 »

To je ale dost nizkourovnova zalezitost. Myslim, ze v jazycich vyssi urovne s tim stejne moc neudelame, protoze jsme tak daleko abstrahovali od HW, ze nemuzeme optimalizovat na urovni l1 a l2 cache.
To je dan kterou platime za expresivnost jazyku.

Zde bych si dovolil nesouhlasit.

Právě expresivnost jazyka nám, minimálně teoreticky, dovoluje agresivně optimalizovat. Tudíž se docela dobře na tu úroveň cache můžeme dostat.

Příklad: mám kolekci objektů, u které si kompilátor z typové signatury odvodí, že jsou imutable, tak mohu nejenom neřešit zámky, ale klidně můžu tu kolekci umístit na stacku, nebo ji inlinovat/rozkopírovat. Mě, jako uživatele to nezajímá, a kompilátor má volné ruce.

V praxi se to i dost ukazuje: http://funkcionalne.cz/2015/04/bez-typu-se-obejdeme-ale/

V kontextu tohoto vlákna: kompilátor píšou parta lidí, kteří se soustředí na různé tyto optimalizace. Obvykle můžeme očekávat špičky ve svém oboru. V případě, kdy to samé dělám testy, tak to píšeš zas a znova, a optimalizovat musíš opět zas a znova ty sám. Snad je z toho vidět ta motivace po typech.

iterátor neumožňuje náhodný přístup, z toho plyne ten problém, o kterém psal jirsák. Typy prvků vám nepomohou.

159

Vývoj / Re:Typový system versus unittesty

« kdy: 20. 08. 2018, 14:22:53 »

Doporučil bych knihu "Seven more languages in seven weeks", tam stručně popisují Idris, který se přesně na tohle hodí.

dokážeš v tom Idrisu napsat jednořádkovou funkci?

160

Vývoj / Re:Typový system versus unittesty

« kdy: 20. 08. 2018, 13:37:00 »

Ale to neznamená že to nejde.

dosud jsi neukázal, že to jde ani u jednoduchých funkcí pro sčítání a odčítání.

161

Vývoj / Re:Typový system versus unittesty

« kdy: 18. 08. 2018, 23:53:35 »

jak by tedy vypadaly ty funkce v Elmu?

162

Vývoj / Re:Existuje jazyk, ktery...

« kdy: 18. 08. 2018, 22:34:38 »

Musí to tak bohužel tímto stylem být, to prostě nejde jinak.

nemusí. Můžeš pokaždé vracet stejný objekt a jen měnit jeho stav. Většinou se to tak dělá. Říká se tomu builder pattern.

https://jlordiales.me/2012/12/13/the-builder-pattern-in-practice/

můžeš dokonce vracet singleton a přidávat routy do nějaké kolekce v něm.

163

Studium a uplatnění / Re:Otázky na pohovoru

« kdy: 15. 08. 2018, 22:00:55 »

Matematika je paveda. A nie ze nie. Nezmyselne ciselka bez experimentu. Vypovedna hodnota ziadna, lebo az realita ukaze ako sa veci maju.

fourier vymyslel svou transformaci, casem se ukazaly krasne moznosti praktickeho pouziti.
a tak to je s matematikou stale.
no a statistika ma prakticke pouziti neustale.

pokud vím, tak Fourier tím řešil nějaké fyzikální rovnice. Od začátku to mělo praktické využití.

164

Studium a uplatnění / Re:Otázky na pohovoru

« kdy: 15. 08. 2018, 18:58:02 »

To funguje jenom pro malé pravěpodobnosti.

sčítání pravděpodobností funguje jen pro disjunktní jevy.

Máte 4 elementární jevy.

TT = první trefí, druhé trefí
TN = první trefí, druhé netrefí
NT = první netrefí, druhé trefí
NN = první netrefí, druhé netrefí

Radovan sčítá pravděpodobnosti jevů {TN, TT} a {NT, TT}, které mají neprázdný průnik. Musí od výsledné pravděpodobnosti odečíst pravděpodobnost průniku P({TT}) = 1/25, jak správně poznamenal DragonMaster.

165

Studium a uplatnění / Re:Otázky na pohovoru

« kdy: 15. 08. 2018, 18:33:29 »

Tvl vy se tu hádáte u příkladu ze SŠ.

Je to trochu smutné. A z tohoto vybíráme zaměstnance...

nepsal jsi tu před pár dny, že k pohovorům připouštíte jen elitu s červenými diplomy?