Příspěvky

91

Studium a uplatnění / Re:Studium IT na vysoké

« kdy: 09. 01. 2023, 18:39:50 »

když chceš pochopit souvislosti věcí, které se učíš, tak prostě musíš omezit to množství, rozhled a postupně se doučovat věci, co ti schází.

A chápu třeba to, takovou tu typickou mýlku, že samouk programátor je na nic, protože si pustí videa na youtube, udělá stackoverflow a tak. Ale na internetu jsou i strukturované kurzy programování, a mnohdy na mnohem vyšší úrovni než VŠ.

Já třeba měl problém pochopit integrály a deriváty. Pusť si tohle - https://www.youtube.com/watch?v=WUvTyaaNkzM a to je prostě materiál 10x líp vysvětlený než co ti kdokoliv vysvětlí u tabule nebo v knížce.

Dneska je prostě klasické formální vzdělávání alespoň v IT již překonané.

A jedna věc je, učit se pro testy a druhá pro pochopení souvislostí. Je skvělé, že všichni vědí kdy byla bitva na bílé hoře, ale kdo ví souvislosti v tom, proč, co se tam řešilo, jaká byla doba, a jak se tehdy vnímala válka a tak? Není to samo o sobě důležitější než napsat datum do testu, ostatně ten datum je ten nejmíň podstatný údaj.

Představ si, že v roce 2100 bude test "Kdy byla válka na ukrajině pepíčku", a pepíček řekne "2022-2024" správně! Ale pepíček nebude mít ani nejmenší ponětí proč a o co šlo a jak to probíhalo. Prostě odpapouškuje datum, a tím má znalost. A to je dnešní školství.

Aby to vypadalo vierohodne, je dobré sa aspoň v tom základnom pojme nezmýliť. Potom to nahráva argumentom, že študovať na YT za moc nestojí. Keď ani nevieš, že to nie je derivát ale derivácia(derivace).

To je nepodstatné, důležité je, že to umí odvodit z axiomů teorie množin

92

Studium a uplatnění / Re:Go backenďáci a Quasar frontenďáci u nás

« kdy: 09. 01. 2023, 16:38:39 »

S Go mám v tomto pár čerstvých zkušeností. Najít dobrého vývojáře je obtížné a jsou drazí, těch pár projektů, co se tu dlouhodobě dělá, si je hravě rozebere. S juniory máme spíše špatné zkušenosti, kód se po nich musí často přepisovat, levnější je vzít rovnou seniora. Těžko obecně soudit, ale na lepení na koleni se spíš používá Node.js (ne, že bych tu hrůzu doporučoval).

93

Studium a uplatnění / Re:Studium IT na vysoké

« kdy: 05. 01. 2023, 17:28:58 »

Ale jak se říká, kdo se bojí nesmí do lesa, co si myslíte, stojí to za pokus?

Určitě, přinejmenším to bude cenná zkušenost.

94

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

« kdy: 29. 12. 2022, 14:17:07 »

kdo se šel živit do IT, v mnoha ohledech oboru těžším, než jsou ostatní "vysokopříjmové obory"

Proč těžším?

95

Vývoj / Re:Je Zig jazyk buducnosti?

« kdy: 29. 12. 2022, 12:01:20 »

je to jazyk z 90 let, kdy všechno muselo mít objekty a všechno muselo mít garbage collector.

Jo to byly časy Dokonce vzniknul “object-oriented Prolog”. Když se šéfa (francouzské pobočky) IBM ptali, proč, odpověděl: “Our customers wanted an object-oriented Prolog, so we made an object-oriented Prolog.” Prostě protože proto

96

Vývoj / Re:Je Zig jazyk buducnosti?

« kdy: 25. 12. 2022, 17:17:16 »

statické vinařky mají své použití

No to bezpochyby

97

Vývoj / Re:Rychlost Chez Scheme

« kdy: 25. 12. 2022, 14:59:49 »

To ale řeší rychlost jen částečně. Ano, máte-li funkci přijímající parametr jediného typu, můžete zde něco ušetřit za cenu problémů, když předpoklad není naplněn.

To se dělá v případě nějaké externí typové kontroly, takže předpoklad je naplněn vždy.

98

Vývoj / Re:Rychlost Chez Scheme

« kdy: 25. 12. 2022, 14:36:37 »

Zkusím trochu střelby od pasu.

Otázka je, co přesně znamená „dosahují rychlosti srovnatelné s Céčkem/Rustem“. Věřím, že bude existovat nějaký benchmark, který tak dopadl. Třeba u nějaké funkce, která má na vstupu i výstupu číslo (z hlediska dynamicky typovaného jazyka tam ale může přijít cokoliv), se může vyplatit udělat specializovanou variantu, která bude číslo předpokládat, a v některých případech ji použít – například dynamicky zkontrolovat předpoklad, že je na vstupu číslo, a podle toho se rozhodnout mezi obecnou a specializovanou variantou. Tady věřím, že se může podařit prakticky odstranit režii dynamicky typovaného jazyka, zvlášť pokud výpočet v té funkci bude náročnější, a tedy režie s kontrolou na začátku funkce bude zanedbatelná.

Podobné věci bych čekal spíše u JIT, který může využít informace z běhu (funkce f dostane vždy int, funkce g int nebo float, funkce h dostane v 99 % případů int), nicméně i AOT (ahead of time) to může udělat, jen k tomu má méně informací.

Pokud bychom ale měli funkci, která bude intenzivně pracovat s košatou strukturou, může být s podobnou optimalizací problém. Ono už u obyčejného pole může být náročné dtnamicky zjistit typ všech jeho prvků – jednak by to typicky znamenalo projít všechny prvky a jednak bychom mohli mít problém v případě úpravy pole třeba z jiného vlákna. Navíc je těžké podobná pole efektivně reprezentovat – v obecném případě je přímočaré udělat pole pointerů na hodnoty prvků, protože nepředpokládám konkrétní typy. Pro pole integerů se nabízí udělat přímo pole integerů (a nemít žádné pointery), ale pokud nemohu zajistit, že se tam nedostane prvek jiného typu, potřebuju řešení pro případ, že se tam nějak dostane. Což může být u velkého pole časově náročné. Ano, lze mít typy jako Int32Array, které nic jiného nepřijmou, ale tím v podstatě dodávám trochu typové informace ručně.

A teď si představte, že nemáte homogenní pole různé strukturované heterogenní hashmapy, které s odkazují na další hashmapy, atd. S dynamickým typováním to bude celkem běžné, třeba v JS objektový literál {key: value, …} je v podstatě taková heterogenní hashmapa.

V Chezu se dá kontrola typů za běhu explicitně vypnout.

99

Vývoj / Re:Je Zig jazyk buducnosti?

« kdy: 25. 12. 2022, 11:15:41 »

jediný důvod proc Go existuje je Google. A to ze bylo rychlejší než python a ruby.

Spíš to, že v něm jdou dělat standalone binárky, který nemají stovky MB nebo hromadu požadavků na věci, co musí mít uživatel nainstalovaný.

A taky snadná kroskompilace.

100

Vývoj / Re:Rychlost Chez Scheme

« kdy: 25. 12. 2022, 06:09:51 »

Chez Scheme kompiluje do nativního kódu, ale just-in-time a díky typové inferenci se té dynamicity může zbavit. A někdy tato strategie vyústi v rychlejší program než C nebo Rust protože je k dispozici více kontextu, ale to se nestává příliš často.

Ano, tohle je správná odpověď. Navíc pokud se například generuje kód ve Scheme z nějakého typovaného jazyka a ví se tedy, že typy jsou na 100% správně, jde typová kontrola za běhu explicitně vypnout.

101

Vývoj / Re:Rychlost Chez Scheme

« kdy: 25. 12. 2022, 00:40:48 »

zrovna scheme není zrovna nějak složitý a nebo velmi vysokourovnovy jazyk

Proč je teda rychlý jen Chez (a svého času Stalin)? Tam zjevně směřovala otázka, že je Scheme poměrně jednoduchý se obecně ví.

102

Vývoj / Re:Je Zig jazyk buducnosti?

« kdy: 25. 12. 2022, 00:38:57 »

Rust urcite neni Go killer a Go neni Rust killer. Ty niky obou jazyku se dost lisi [...]. Asi jeste dlouho budou koexistovat vedle sebe. Asi nema moc vyznamu se na ne divat jako na protivniky.

Přesně, moc si do zelí nelezou.

103

Vývoj / Re:Je Rust jazyk budoucnosti?

« kdy: 23. 12. 2022, 17:31:48 »

Ještě BTW našel jsem zápisek (5 let starý) od Graydona o možných budoucích směrech vývoje. Hodně high-level, ale docela dobré IMO.

Zajímavé, zmiňuje Koku, což je předchůdce (nebo bratříček?) Leanu. Jo, dobrý přehled, ale nějak se to ubíralo jiným směrem.

104

Vývoj / Re:Je Rust jazyk budoucnosti?

« kdy: 23. 12. 2022, 17:24:53 »

K té praktičnosti Rustu, kdy bude použitelné Any?

Jakej máš na to požadavek?

Nic zvláštního, kód v Rustu píšu zásadně bez Any, ale obecně by bylo hezké, kdyby byl k dispozici nějaký type switch (jako ve Fortranu nebo Go, nemusí to být žádná divočina jako třeba v ObjC).

105

Vývoj / Re:Je Rust jazyk budoucnosti?

« kdy: 23. 12. 2022, 15:20:15 »

Skoro bych býval hádal jazyk Kind, ovšem až na to OOP.

Ne, Kind je, pokud vím, čistě funkcionální.

Právě to OOP, ať už si o něm myslíme cokoliv, se dá udělat použitelně, jak je na nějakých (okrajových) jazycích vidět.

K té praktičnosti Rustu, kdy bude použitelné Any?