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.
Tak jasně že to má rozumně vysvětlit, ale ne u všeho může uvést, kde studenti probíranou věc využijí, něco je prostě jen obecný základ, na kterém se staví v dalším výkladu (nebo navazujících předmětech)....Přednášející většinou neznají budoucnost studentů.Ale přednášející by měl zpětnou vazbu, že je někdo, kdo tomu nerozumí a že by to buď měl pořádně vysvětlit [...]
Přednášející většinou neznají budoucnost studentů....Navíc je to hlavně u tom studujícím, ten sám by měl nejvíce vědět jaký styl výuky je pro jeho mozek nejefektivnější.Kdybych ještě jednou měl studovat VŠ, tak bych chtěl po přednášejícím, aby mi vysvětlil, k čemu ten který pojem co o něm přednášel budu potřebovat ve svém oboru.
To není pravda, v češtině je synonymem CS. V angličtině záleží na kontextu: https://en.wikipedia.org/wiki/InformaticsJako samostatný obor nikde. Ale spadá to pod obor "Informační studia a knihovnictví". Klasická informatika je věda o informacích, nemá s IT ani s Computer Science celkem nic přímo společného.Nerad bych se patlal ve slovíčkách, ale klasickou informatiku můžete studovat možná tak v Praze na FF UK. Tu téměř určitě nemyslíte.Na FF je kde co včetně dost brutální matematiky. Jaká katedra má nabízet “klasickou informatiku”?
Na FF je kde co včetně dost brutální matematiky. Jaká katedra má nabízet “klasickou informatiku”?Podle referenci je skola vhodna predevsim pro zajemce o elektro, nebo prumyslove ICT. Klasicka informatika je az na druhe koleji. [...]Nerad bych se patlal ve slovíčkách, ale klasickou informatiku můžete studovat možná tak v Praze na FF UK. Tu téměř určitě nemyslíte.
V poslední době se zda, že Rust jde cestou GADT. Ty jsou IMHO vhodnější pro Rust.Jj, monády bez HKT a nějaké formy do-notation jsou dost polovičatý. Pro rust existují věci jako https://crates.io/crates/do-notation , ale moc se to nepoužívá. S nejpoužívanějšími monádami (Result, Option, Future) se v rustu pracuje jinak(?, async/await), State není moc potřeba protože máme exclusive mutability, u řetězených and_then (monadické bind) u Iterátorů člověk často narazí na borrow checker nebo příliš krátce žijící data. Takže rustovský svět m-word moc nepoužívá, a pro komunitu je to asi i zdravější.OK, takže jde o to, že na existujících standardních typech s výhodou využíváš monadický přístup, jestli tomu rozumím dobře. Přemýšlel jsem, jestli má smysl jít někam dál a víc to "ohaskellovat"...Těmi monádami myslíš prosím co?Result, Option, Future, Iterator...
To je vzájemné, vyučující taky nadávají na studenty, protože většina jsou líní namyšlení lemplovénesedí jen ty stesky na učiteleTy jsem si mohl odpustit, souhlas. Jenže, jak si na ně vzpomenu, vjede do mě takový vztek...
Integrální počet se probírá spíš na gymplu, to bych za SŠ neoznačoval.Kdy se měnila klasifikace? Teď je gympl co, VOŠ?
Ve skutečnosti, jako programátor, potřebujete matematiku překvapivě málo, řekněme na úrovni dobré střední školy.Na dobré střední škole se probírá diferenciální a integrální počet, to už tak málo není. Programátor asi nevyužije nedosažitelné kardinály a forsing, ale diskrétní matematika se hodí (což se zrovna na SŠ nijak moc neprobírá).
Teď už to chce jen HKT a z Rustu bude Haskell. I k DT už mají našlápnutoResult, Option, Future, Iterator...Popravdě, od té doby co dělám v Rustu mi přijde způsob řešení takových věcí bez součtových typů, pattern matchingu a monád hrozně kostrbatý.Těmi monádami myslíš prosím co?
Jo, to jsem zaregistroval, akorát jsem se k tomu ještě podrobněji nedostal. Dík za odkaz a připomenutí.Zcela off-topic, Idrisi, tohle by se ti mohlo líbit: https://maybevoid.com/blog/mononym-part-1/Popravdě, od té doby co dělám v Rustu mi přijde způsob řešení takových věcí bez součtových typů, pattern matchingu a monád hrozně kostrbatý.Kdo by to čekal, že do tak nízkoúrovňového jazyka proniknou natolik abstraktní funkcionální konstrukty
Popravdě, od té doby co dělám v Rustu mi přijde způsob řešení takových věcí bez součtových typů, pattern matchingu a monád hrozně kostrbatý.Kdo by to čekal, že do tak nízkoúrovňového jazyka proniknou natolik abstraktní funkcionální konstrukty
Nakonec ta symbióza funguje celkem hladce.
Rozhodně doporučuji naučit se pattern matching pořádně, Rust je tím prolezlý (vracení chyb, prázdných hodnot…). Chce to zvyknout si na syntax (match, if let…), jinak to žádná věda není a přispívá to k bezpečnosti kódu. Taky doporučuji nezvykat si na unwrapOčividně jsme se nepochopili, enum v Rustu je, jak správně poznamenal Idris, součtový typ, tedy něco jako variantní typ v jiných jazycích - můžeš na základě zvolené varianty (typicky pattern matching) vzít vnitřek (např. instanci struktury X, Y nebo Z) a pracovat s ním "hezky" namísto toho řešení, které jsi měl původně. Struktura a enum se v Rustu doplňují a to dost elegantně.Nakolko v tomto pripade sa mi jedna o navrh, tak reimplementacia do Rustovskeho Enumu je taka studijna vyzva
Tvoje nové řešení používá enum a la C, což není samozřejmě nic špatného, ale já jsem si představoval něco jiného - muselo by se to ale celé překopat. Jinak doporučuju se mrknout na Diesel a podobná řešení DB v Rustu - ať už pro náhradu nebo inspiraci.
Diky za hint
Tvoje nové řešení používá enum a la CPodle mě je totiž matoucí nazvat součtové typy "enum", člověk si nese z C (a podobných jím ovlivněných) nějakou představu, která je velice daleko od součtových typů ve funkcionálním pojetí (a nepomáhá ani nazvat je "indirect enum" jako ve Swiftu, spíše naopak...).
třeba smalltalkovský #become: , #allInstances, #selectors, metatřídy, reifikovaný callstackBTW takhle daleko asi nikdo jít nechce — to už může rovnou použít Smalltalk nebo ObjC
— ale reifikované invokace jsou ještě před hranicí užitečnosti a neprůhledné magie Jinak u Rustu bych fakt moc neřádil, ostatně mantra jeho autorů je abstrakce bez ztráty efektivity (nebo tak nějak) a dává smysl mít bezpečné a efektivní C s mocnými makry 
No právě, jde o metadata. Třeba Go má velký runtime, ale hlavně kvůli GC. Ideální runtime má ObjC, ten je malý, flexibilní, elegantní, prostě skvěle navržený a implementovaný. Nebo microsoftí metadata u C++ se taky povedly, než to zrušiliPod dynamickou reflexi se toho může schovat hodně (v extrému třeba smalltalkovský #become: , #allInstances, #selectors, metatřídy, reifikovaný callstack), ale v Rustu si ani základnější věci příliš představit nedovedu, těžko třeba zjišťovat typ nějaké hodnoty když se optimalizátor rozhodl ji úplně vyhodit, a i kdyby ne tak k ní stejně nejsou metadata. No, uvidíme, co se vymyslí.Můžeš rozvést, co myslíš v tomhle případě runtimem, a k čemu by měl být Rustu užitečný?... ale právě lidi od App Engine si stěžují na absenci alespoň elementární dynamické reflexe ...
Ale Rust je v podstatě asembler s GADT, tak v nic moc nedoufám
Root.cz (www.root.cz), informace nejen ze světa Linuxu. ISSN 1212-8309
Copyright © 1998 – 2023 Internet Info, s.r.o. Všechna práva vyhrazena. Powered by Linux.