Příspěvky

136

Studium a uplatnění / Re:Práca IT vo Švajčiarsku

« kdy: 19. 12. 2022, 11:55:50 »

cizinci jsou ve Švýcarsku občané druhé kategorie. Jsou určité věci které nemůžou, místní je leckde k něčemu nepustí

S tím mám jen jednu zkušenost, nepustili mě k ostrému testování systému automatického ovládání lanovky v jedné zapadlé dolině někde v Grisonsku. Později jsem zjistil, že to bylo kvůli tomu, že veškeré UI bylo v rétorománštině.

137

Studium a uplatnění / Re:Práca IT vo Švajčiarsku

« kdy: 19. 12. 2022, 11:49:19 »

IMHO to reálné je, záleží spíše na znalosti jazyka (dobrá angličtina, pro Švýcarsko ideálně němčina). O kolik si říct, to ve Švýcarsku bohužel nevím, v Německu by to bylo nejméně okolo €4000/měsíc (podle regionu a velikosti/zaměření firmy), ve Švýcarsku jsou obecně platy vyšší (ale i výdaje). Jak píšu, za daných podmínek jde hlavně o soft skills (zejména jazyk(y)).

138

Vývoj / Re:Juvix / OCaml

« kdy: 17. 12. 2022, 22:58:22 »

Just so you know — právě vyšel OCaml 5.0.0.

139

Vývoj / Re:Je Rust jazyk budoucnosti?

« kdy: 16. 12. 2022, 21:25:05 »

Jsou náročné na čas výpočtu v době překladu, za běhu ne.

Ano, ano, sorry.
A platí o opak, že za běhu by to mělo být rychlejší […] teoreticky. Což je taky smutné - takovej nevyužitej potenciál.

Tohle mi vrtalo hlavou, tak jsem zkusil kus reálně používaného kódu přepsat do (čistě funkcionálního) Leanu a ejhle, jsme s rychlostí na úrovni Rustu. Není to sice (formálně mnohem silnějším) typovým systémem, ale to by bylo nadlouho.

Jestli ses na Lean zatím nekoukal, tak doporučuji aspoň letmé seznámeni. Má například “locally imperative code blocks”

Doplnění: V Idrisu jsem doimplementoval FBIP pro pole a hurá sláva, rychlost se limitně blíží verzi v Leanu. Ten Chez je fakt raketa No nic, dám si Guinness a pak jdu slavit

140

Studium a uplatnění / Re:.NET a remote?

« kdy: 16. 12. 2022, 18:53:31 »

Na druhou stranu za sebou Java nemá až tak silnou společnost, takže třeba časem umře, kdo ví...

Toho bych se asi nebál, ale je možné, že v ní časem bude méně projektů.

141

Studium a uplatnění / Re:.NET a remote?

« kdy: 16. 12. 2022, 18:09:46 »

nestalo by za to zkusit najit job v Jave? Nebo Go?

Zrovna po vývojářích v Go je momentálně velká poptávka, co tak vidím kolem sebe (a na portálech). Takže bych to určitě doporučil, pozice bývají dobře placené a jazyk se dá naučit rychle.

142

Vývoj / Re:Je Rust jazyk budoucnosti?

« kdy: 14. 12. 2022, 22:55:45 »

Jsou náročné na čas výpočtu v době překladu, za běhu ne.

Ano, ano, sorry.
A platí o opak, že za běhu by to mělo být rychlejší […] teoreticky. Což je taky smutné - takovej nevyužitej potenciál.

Tohle mi vrtalo hlavou, tak jsem zkusil kus reálně používaného kódu přepsat do (čistě funkcionálního) Leanu a ejhle, jsme s rychlostí na úrovni Rustu. Není to sice (formálně mnohem silnějším) typovým systémem, ale to by bylo nadlouho.

Jestli ses na Lean zatím nekoukal, tak doporučuji aspoň letmé seznámeni. Má například “locally imperative code blocks”

143

Vývoj / Re:Go - alternativa atomics pre prilezitostne zmeny?

« kdy: 14. 12. 2022, 22:40:59 »

Tak asembler naozaj neplanujem riesit. Nejde o riesenie specifickeho problemu, len generalny problem(ak sa to tak vobec da nazvat). A v tomto pripade je v poriadku ak reader precita staru hodnotu. Ide len o zabrenenie toho aby doslo k citaniu a zapisu zaroven a tym padom panike.

Na tento typ úloh se používá RWMutex (hodně souběžných čtenářů, jeden zapisovatel), zamčení pro čtení bývá značně efektivnější než pro zápis.

144

/dev/null / Re:libi se mi tenhle programovaci jazyk

« kdy: 09. 12. 2022, 12:46:47 »

Z PHP som presiel na Go. PHP som miloval, nikdy som s nim nemal problem ako vecsina "armchair warriors" a syntax sa mi pacila. Ale potreboval som vecsi vykon a paralelizmus, ked som zacal pisat viac backendy nez klasicke webky/cms. Go splnalo vsetko co som chcel. A ficim na nom uz treti+ rok. Preco ho milujem je to ze instalacia je jednoducha, kompilacia je okamzita a jednoducha, syntax je jednoducha, go get a teraz go mod pre kniznice, masivna "kniznica" kniznic ktore su lahko najditelne na githube a hlavne aj kompilacia do roznych architektur a tiez, oproti php, nativna binarka bez zavyslosti.
Paralelizmus ako stavebny blok jazyka je tiez mega. Pozeral som aj ine jazyky ale problem je ze ked clovek pride z vonku tak chce proste len spustit instalacku(problem rustu a odinu dnes), rozbehnut ide/editor s podporou syntaxe(problem napriklad dnes pri odin), pozriet si ake kniznice ma dostupne(problem vscsiny jazykov) a lahko stiahnut a hned ich pouzit a spustit nejake hello world/skompilovat vysledok. Vsetky jazyky prakticky maju nejaky masivny problem s niektorym tymto krokom. A tym myslim naozaj MASIVNY problem. Hlavne ak ide o kniznice a importovanie/package manager/sprava zavyslosti. Go ma skratka vsetko maximalne developer friendly(nezabudajme ze Go bolo pionier s gofmt). Ano, niektore veci su stale na zamyslenie pre novacika, hlavne GOPATH alebo Cgo moze zbrat nejaky cas kym to pochopi(ak to vobec musi riesit). Mne ako PHP-ckarovi trvalo nez som pochopil pointery(lebo v php bolo vsetko vlastne pointer), tiez mi trvalo kym som pochopil kompozicine oop vs dedicne kedy vlastne princip dedenia je presne opacny nez vsade inde. Ze zabudovane typy(map, slice, array) su vzdy pointery a teda ako funguje "mutability", navratove typy a td. Tiez niekomu moze zabrat pochopenie kanalov a mutexov a gorutin ak s takymi konceptami nema skusenosti(tiez praca so zatvorenym kanalom) a predavanie kontextu. Ale tym ze ma Go taku jednoduchu syntax, online testovacie prostredia a navody a td tak je to asi naviac developer-friendly jazyk aky dnes jestvuje. Syntax ma pre mna skvelu tiez. Ano, je verbalny ale to nevidim ako problem, urcite uz nie teraz. A kto chce, uz ma podporu generics aby nemusel opisovat rovnaky kus kodu.

Velkou výhodou je také snadná kroskompilace a efektivní správa paměti přes escape analýzu.

145

/dev/null / Re:libi se mi tenhle programovaci jazyk

« kdy: 09. 12. 2022, 09:46:05 »

Julia, čistě pro hezké jméno.
Prolog pro úplně jiné paradigma.
Smalltalk, neb je extrémně dynamický (jinak jsem v něm nikdy nepsal, ale ObjC se taky trochu počítá).

146

Vývoj / Re:Je Rust jazyk budoucnosti?

« kdy: 08. 12. 2022, 00:59:56 »

Představuji si nástroj pro C#, který projede kód a dohledá všechny neošetřené scénáře... stále si představuji... stále si představuji...

Já úplně nevím, proč se o tomhle se mnou přeš, já jsem odpůrce výjimek přesně z tohoto důvodu.

Ten problém není ve výjimkách.

A v čem?

147

Vývoj / Re:Je Rust jazyk budoucnosti?

« kdy: 07. 12. 2022, 16:21:23 »

Přemýšlím, zda by typovej systém C# stačil na to, když by se ty chyby přepsaly na Either. To stojí za promyšlení. Kolik benefitů by to vlastně přineslo.

Na této úrovni jsou Java, C#, Rust a Go stejně dobré. Nebo špatné

Java ani nemá hodnotvé typy

No a co? Ty ovlivňují výkon, ale nijak nesouvisí s bezpečností kódu.

148

Vývoj / Re:Je Rust jazyk budoucnosti?

« kdy: 07. 12. 2022, 15:45:18 »

Přemýšlím, zda by typovej systém C# stačil na to, když by se ty chyby přepsaly na Either. To stojí za promyšlení. Kolik benefitů by to vlastně přineslo.

Na této úrovni jsou Java, C#, Rust a Go stejně dobré. Nebo špatné

149

Vývoj / Re:Je Rust jazyk budoucnosti?

« kdy: 07. 12. 2022, 15:39:46 »

Věřim ti, že obecně Idris více tlačí uživatele do ošetření chyb, ale ten rozdíl je kvantitativní...

Tak jistě, když se ti počítač vznítí a ty na něj chrstneš kýbl vody, tak to asi Idris nezachrání. Ale donutí tě náležitě ošetřit všechny logické chyby v kódu (typu dělení nulou, že se nevolá head na prázdný seznam apod.).

Pro nějakou definici "chyby" a pro nějakou definici "ošetří" tě Idris donutí ošetřit chyby...

Jo, ty definice sdílí se SPARKem (a jinými superbezpečnými jazyky pro bezpečnostně kritické aplikace).

150

Vývoj / Re:Je Rust jazyk budoucnosti?

« kdy: 07. 12. 2022, 15:17:23 »

jak v Idrisu handluješ chybu alokace paměti. V Rustu to jde.

Rust v tomto případě dělá abort (ani ne panic).