421
Vývoj / Re:Ověření pravidel pro funktory
« kdy: 04. 03. 2022, 14:54:13 »samotné podmínky funktoru nejsou nijak složité a není důvod v nich knihovnám nevěřit
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.
422
Vývoj / Re:Kterým směrem se vydat od C
« kdy: 28. 02. 2022, 15:08:43 »na papíře to fungovalo (u zkoušky) - v počítači neAspoň něco
423
Vývoj / Re:Kterým směrem se vydat od C
« kdy: 28. 02. 2022, 12:20:31 »člověk, co umí jeden nebo dva jazyky a je ztracenej, když přijde ke třetímu, není programátor.Co když umí PHP a JS a pak přijde k Haskellu?
424
Vývoj / Re:Číselné typové parametry a type erasure
« kdy: 26. 02. 2022, 22:17:06 »Ve v2 ten kód nefunguje, potřebná úprava je:Kód: [Vybrat]Instanci vektoru lze načíst například za běhu ze vstupu pomocí readVect.data Vect : Type -> Nat -> Type where
Nil : Vect _ 0
Cons : a -> Vect a n -> Vect a (n+1)
length : Vect a n -> Nat
length {n} _ = n
Lze vyzkoušet zde: https://learn-idris.net/play
Kód: [Vybrat]
length : {n : Nat} -> Vect a n -> Nat
length _ = n
425
Vývoj / Re:Číselné typové parametry a type erasure
« kdy: 26. 02. 2022, 15:12:23 »Ten kód výše ukazuje, jak se to řeší v případě type erasure. V backendu pro C nebo JS je krásně vidět, jak všechny typy zmizí.No právě.úplně stejně, jako k jiným generickým parametrůmK těm to v případě type erasure za běhu nejde vůbec.
426
Vývoj / Re:Číselné typové parametry a type erasure
« kdy: 26. 02. 2022, 13:13:23 »Kód: [Vybrat]
data Vect : Type -> Nat -> Type where
Nil : Vect _ 0
Cons : a -> Vect a n -> Vect a (n+1)
length : Vect a n -> Nat
length {n} _ = n
Lze vyzkoušet zde: https://learn-idris.net/play
427
Vývoj / Re:Číselné typové parametry a type erasure
« kdy: 26. 02. 2022, 12:55:10 »úplně stejně, jako k jiným generickým parametrůmK těm to v případě type erasure za běhu nejde vůbec.
428
Studium a uplatnění / Re:Tipy a triky na zlepšení logického myšlení u pohovorů
« kdy: 20. 02. 2022, 15:37:23 »Jakoze Rust je rychlejsi nez C++Pokud někdo, kdo píše v JS (případně TS), přepíše svůj kód do C++, tak to bude dost hnůj. V Rustu mu překladač nedovolí tolik prasit.
429
Vývoj / Re:Jak validovat DTO v dynamicky typovaném jazyce?
« kdy: 20. 02. 2022, 14:18:16 »- místo řešení rozhraní a tříd jako typových omezení, se používá forall, který je sice matematicky čistější, ale programátorsky neintuitivníTeď jsem zrovna na tento “problém” narazil při psaní kódu. Tak jen dodám, že v jazyce s GADT se ten neintuitivní forall v existenčním významu používat nemusí, v GADT to jde stejně bez nepříjemných syntaktických konstrukcí.
430
Studium a uplatnění / Re:Tipy a triky na zlepšení logického myšlení u pohovorů
« kdy: 20. 02. 2022, 10:18:51 »Je možné, že ten odhad je špatný, žádnou statistiku k tomu nemám. Nicméně tento styl úloh oddělí zrno od lopatExistují nějaké tipy / triky jak tento logický / algoritmický styl myšlení vylepšit?Jak říkal jeden pán: učit se, učit se, učit se. Kromě nějaké té teorie hlavně procvičovat, ne triviální blbosti, ale něco jako tohle: https://github.com/AYLIEN/technical_challenge (to je tak 5 minut rozmyšlení a pak 10 minut implementace). Ten styl úloh se docela opakuje, po určité době už člověka nic nepřekvapí.
https://onlinejudge.org/index.php?option=com_onlinejudge&Itemid=8&category=3
Asi bych trochu polemizoval s temi 5+10 minutami. Viz ta procenta.
a především otevírá prostor k zajímavé diskusi nad řešením, paradigmaty apod.
431
Studium a uplatnění / Re:Tipy a triky na zlepšení logického myšlení u pohovorů
« kdy: 20. 02. 2022, 00:46:00 »Existují nějaké tipy / triky jak tento logický / algoritmický styl myšlení vylepšit?Jak říkal jeden pán: učit se, učit se, učit se. Kromě nějaké té teorie hlavně procvičovat, ne triviální blbosti, ale něco jako tohle: https://github.com/AYLIEN/technical_challenge (to je tak 5 minut rozmyšlení a pak 10 minut implementace). Ten styl úloh se docela opakuje, po určité době už člověka nic nepřekvapí.
432
Studium a uplatnění / Re:Tipy a triky na zlepšení logického myšlení u pohovorů
« kdy: 19. 02. 2022, 22:30:48 »pry ten svuj uzasny produkt napsali v TypeScriptu, ale zjistili, ze je to prilis pomaleCopak asi zjistili pro přepsání do C++
Že je to pomalé a musí to přepsat do Rustu?
433
Studium a uplatnění / Re:Tipy a triky na zlepšení logického myšlení u pohovorů
« kdy: 18. 02. 2022, 20:47:12 »U nás na podobné zadání jeden ekšpert zcela vážně tvrdil, že by si na to natrénoval neuronku. Taky odpověďPřekrývání se obdélníků v základní poloze je vcelku trivialita, na kterou člověk ani nemusí být programátor.prvni bych zacal zda se protnou opsane kruznice.
Zajímavé zpestření té úlohy by byla možnost libovolného pootočení těch obdélníků.
pak je kazda straba cast primky, takze test na protnuti primek v danych intervalech.
434
Studium a uplatnění / Re:Práce pro německé a rakouské společnosti
« kdy: 16. 02. 2022, 21:19:29 »se Svycarskem jsem mel vetsi stesti.Tam stačí většinou jen rétorománština
435
Studium a uplatnění / Re:Práce pro německé a rakouské společnosti
« kdy: 16. 02. 2022, 12:18:11 »Zedník nebo turistický průvodce většinou nepracuje z domu. Navíc je rozdíl mezi poskytováním služeb koncovým zákazníkům a firmám. Vývoj SW z pohodlí domova v ČR (nebo kanclu/coworkingu) je naprosto v pořádku.není legální pracovat 100 % pro zahraničí s českou živností.
Mohl byste upřesnit proč?
https://www.mpo.cz/cz/zahranicni-obchod/podnikani-v-eu/vnitrni-trh-eu/volny-pohyb-sluzeb/preshranicni-poskytovani-sluzeb---osvc--67768/CitaceV praxi to znamená, že těžiště zájmů OSVČ musí nadále zůstat v ČR a své služby může poskytovat pouze jednorázově a nepravidelně. Tak český kadeřník nemůže každý pátek dojíždět k zákaznicím do Polska, ale tesař z Plzně může přijmout zakázku v Německu, která bude vyžadovat půl roku práce. Situaci je třeba posuzovat případ od případu, zejména s ohledem na frekvenci, pravidelnost, délku trvání a nepřetržitost aktivity; nezbytnou podmínkou je, aby daná služba byla poskytována také v ČR.
Hromadě lidem to prochází, protože na ně úřady nepřišly, to ale neznamená, že to není práce za hranou zákona.
