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 - Idris

Stran: 1 ... 26 27 [28] 29 30 ... 153
406
Vývoj / Re:Jaký jazyk bych se měl učit?
« kdy: 26. 05. 2022, 12:38:08 »
To tedy v tomto případě opravdu není. Haskell je sice bezpochyby zajímavý jazyk, ale reálných nasazení je pomálu a třeba mě osobně to ani moc nemrzí. Já osobně sekty zase až tak moc nemusím.
Pokud vadí sektářství u Haskellu, tak co teprve taková Agda? :)

407
Vývoj / Re:Jaký jazyk bych se měl učit?
« kdy: 26. 05. 2022, 11:27:01 »
How to Design Programs síce nie je na báze Haskellu, ale Lispu. Teda Scheme. Vlastne Racketu... […] kniha vyučuje vývoj programov na báze funkcionálneho programovania
To je záslužné, ale je to vhodné pro úplné začátečníky?

408
Vývoj / Re:Jaký jazyk bych se měl učit?
« kdy: 25. 05. 2022, 23:11:07 »
se nejdřív musím naučit Python a Javu
Povinnost to určitě není, je to dost individuální, ale Python není pro začátek špatný a navázat pak Javou taky neuškodí, je to klasika, ovšem tyto dva jazyky pokryjí backend a nějaké “vědecké” počítání, pro širší záběr to chce i SQL, HTML, JavaScript, případně další v závislosti na práci a osobních preferencích.

409
Studium a uplatnění / Re:Studium informatiky FIT ČVUT
« kdy: 16. 05. 2022, 11:51:29 »
Třeba v Dánsku jsou školy a praxe lépe aligned, než v ČR.
To asi skoro všude na západ od ČR, hlavně v anglosaských zemích.

410
Studium a uplatnění / Re:Studium informatiky FIT ČVUT
« kdy: 15. 05. 2022, 21:34:54 »
rok vzdálené studium CS
V Británii je běžné jednoleté a dvouleté studium (certificate a diploma). Poskytuje solidní základ, ale pokud studium nepokračuje až k BSc, jako by člověk nic neměl. Hodně užitečné jsou “postgraduate certificates/diplomas”, tam se ale člověk bez aspoň bakaláře nemůže přihlásit.

411
Studium a uplatnění / Re:Studium informatiky FIT ČVUT
« kdy: 15. 05. 2022, 19:01:16 »
bojím, že se dalších minimálně pět let budu muset učit zbytečnosti a zatím bych mohl být na seniorské úrovni
Po pěti letech studia VŠ není úspěšný absolvent na nule a na “seniora” se může dostat poměrně rychle, na rozdíl od někoho, kdo má za sebou jen několik let “lepení webů”. Při studiu se dá normálně pracovat na částečný úvazek a kdo chce mít v budoucnu otevřené dveře v zahraničí, může studovat plně on-line v USA nebo Anglii (kurzů je mnoho včetně plnohodnotných BSc a MSc). Člověk se tím ochudí o radosti studentského života, ale zase může zároveň nabírat praktické zkušenosti i (formální) vzdělání.

412
Studium a uplatnění / Re:Java
« kdy: 07. 05. 2022, 13:54:48 »
ukazuje dědění na tom, že třída úsečka dědí z třídy bod
Tak úsečka je přece speciální případ bodu, ne? :)
Ty se směješ, ale když někdo o objektovém programování nic neví, začíná, tak mu nedojde, že přesně tohle je špatně. A přeučovat se něco, co se člověk naučil špatně, to je vždy těžké.
Tyhle nesmysly o OOP jsou v (asi nejen) české literatuře bohužel běžné, Čada má ve své knize o OOP stejný blábol, akorát o čtvercích a obdélnících. Jeho knihu naštěstí nikdo nečte, ale v těch rozšířenějších to skutečně může napáchat škody.

413
Studium a uplatnění / Re:Java
« kdy: 07. 05. 2022, 13:44:48 »
ukazuje dědění na tom, že třída úsečka dědí z třídy bod
Tak úsečka je přece speciální případ bodu, ne? :)

414
O serveru Root.cz / Re:Preco mam na root.cz shadowban?
« kdy: 06. 05. 2022, 14:42:04 »
Počkej až Roota koupí Musk. :P
Nebo Trump ;)

415
kandidáti s doporučením obvykle bývají mnohem kvalitnější. Plus si nějaké vychováváme i ve spolupráci s univerzitami.
Správný přístup.

416
Proč je spousta firem tak obsesivních ohledně řešení algoritmů na pohovorech?
Je to filtr, aby firma neztrácela čas s úplným trotlem.

417
Vývoj / Re:javascript prototype
« kdy: 08. 03. 2022, 10:51:01 »
jelikoz mame vsichni 16GB RAM

ve finale to bude fungovat oboji a jestli programatora zajima/nezajima, ze se tam zbytecne generuji zbytecnosti, je uz vec druha
1. Já mám 64 GB RAM a stejně si občas stěžuju :) S jídlem roste chuť :)

2. Jenže “zbytečné generování zbytečností” je ve většině případů i například alokace na haldě v Javě, protože escape analýza by měla dát instanci v zájmu optimality na zásobník. A vůbec celý tracing GC “zbytečně” drží objekty v paměti moc dlouho atd. atd. Je to o prioritách.

418
Vývoj / Re:javascript prototype
« kdy: 08. 03. 2022, 08:35:10 »
V prvním případě je funkce sdílená napříč všemi instancemi
A hodí se dodat, že v moderním JS jsou i “normální” třídy (class), takže pokud člověk nechce, o prototypy se nemusí zajímat.

419
Vývoj / Re:Číselné typové parametry a type erasure
« kdy: 06. 03. 2022, 19:59:26 »
Tady je podrobně popsáno, jak se řeší $SUBJ v jazycích s lineárním typovým systémem: https://arxiv.org/pdf/2104.00480.pdf

420
Vývoj / Re:Ověření pravidel pro funktory
« kdy: 04. 03. 2022, 15:08:28 »
  • "programming by contract"
  • "symbolic evaluation"
(b) je správně (zbytek příspěvku je blábol). V podstatě se jedná o jednoduché cvičení z úvodního kurzu do Agdy nebo Coqu, pro různé typy funktorů se dají podmínky symbolicky ověřit ("formálně verifikovat") poměrně snadno (i třeba flatMap apod., kde to je ale o chlup složitější). V případě Haskellu (ten původní nemá dostatečně silný typový systém, i když nějaká použitelná rozšíření už existují) se musí to ověření napsat v nějakém podobném funkcionálním jazyce, kde to ověřit jde, a pak ověřený kód podstrčit Haskellu.

BoneFlute se toho možná chytne a napíše si to ověření v rámci sebevzdělávání (a snad se pak s námi podělí o výsledek) :)

Stran: 1 ... 26 27 [28] 29 30 ... 153