Příspěvky

4051

Studium a uplatnění / Re:Funkcionální programátor

« kdy: 02. 07. 2015, 01:49:34 »

Jenže čumila jsem pochopil tak, že i když to runtime dělá side effecty, tak nemusí ustupovat až tak daleko, že bude umožňovat i race conditions (přeci jenom, side-efect je užitečný, zatímco race conditions vůbec).

No to je zajímavá otázka - jestli by šlo nějak zabezpečit, aby jazyk předal runtimu zaručeně jenom takové instrukce, které by zaručeně nevedly k race condition. Pokud myslíš RC obecně (síť, paměť, disk, čekání na zprávy...) tak si to fakt neumím představit Třeba chytré hlavy už něco vymyslely, akorát to zas bude mít nějaké jiné neblahé praktické důsledky

Proto uváděl další implementace řešení FP: uniqueness typing (rozumím jakžtakž), FRP (nerozumím vůbec).

To první jsme asi už proprali dostatečně... A to druhý nevím nevím, že by se pomocí toho dalo vyhnout jakejmkoli cyklům _obecně_? Neuvěřím dokud neuvidím

4052

Studium a uplatnění / Re:Funkcionální programátor

« kdy: 02. 07. 2015, 01:32:55 »

Ať nad tím dumám jak dumám, vychází mi z toho, že to právě race conditions vylučuje.

Když dumáš "uvnitř" toho jazyka, tak vylučuje - ale zároveň nemůže nijak ovlivnit okolní svět, což není moc praktické

čumil to napsal docela dobře: matematická funkce ti dům nepostaví. (udělá to za ni nějaký "runtime")

4053

Studium a uplatnění / Re:Funkcionální programátor

« kdy: 02. 07. 2015, 01:23:12 »

V Dartu to jsou ještě kovariantní generika - typový systém povolí kontravarianci, ale za běhu to spadne. Například

Díky moc za příklad, ale z OOP už jsem dost vypadl a sotva už držím víčka, projdu zítra

Údajně je to intuitivnější.

Pro webaře odchované JavaScriptem určitě

Samozřejmě že to není jedno v okamžiku, kdy zvažuješ, že se ten jazyk naučíš.

Záleží, jaký máš cíl. Ten Erlang je třeba z hlediska čistě akademickýho celkem nezajímavej hnůj, ale z hlediska použití je to prostě paráda Je na tom dost poznat, že chtěli vyvinout jazyk pro dobré řešení konkrétních průmyslových úloh - a dělali na tom lidi, kteří fakt nejsou hloupí a (až na drobnosti) zvolili parádní kompromisy, který do sebe zapadají jak zadek na nočník

Může bejt, ale dozvěděl jsem se spousta zajímavejch věcí.

Každopádně si zaslouží dík za rozproudění hezké a neobvykle poučné debaty, o tom žádná

4054

Studium a uplatnění / Re:Funkcionální programátor

« kdy: 02. 07. 2015, 00:44:35 »

Dokonce jakoby funkcionální paradigma byl ideál, kterého se všemožné jazyky pokoušejí dosáhnout, a když už jsou na devadesáti procentech, tak se označují za pure :-)

Ty, teďka čistě přízemně a prakticky: a není to jedno? Zajímá tě primárně, jestli jazyk splňuje nějaká víceméně umělá akademická kritéria, nebo jestli se v něm dobře píše?

Mě třeba fakt nadchl Elixir a přitom z těch akademických "kritérií funkcionálnosti" nesplňuje skoro nic, někdo ho do FP vůbec neřadí, někdo ho klidně zařadí do "opravdové OOP" (kvůli posílání zpráv), někdo ho dá do "concurrent programming"... A není to ve finále úplně jedno? Stejně v praxi tě víc zajímají věci jako pattern matching, nároky na paměť, rychlost, snadnost paralelizace... ne?

Popravdě řečeno mi ten čumilův přístup přijde poněkud (až značně ) autistickej

4055

Studium a uplatnění / Re:Funkcionální programátor

« kdy: 02. 07. 2015, 00:27:39 »

Kvůli pohodlí programátorů - viz Unsound and Incomplete. Nebo Why Dart Types Are Optional and Unsound nebo oficiální manuál TypeScriptu.

Díky. Už je dost pozdní hodina, takže mi možná něco ušlo, ale ten první link mi to teda moc neosvětlil a v tom textu o Dartu je jenom příklad s downcastem, kterej je jasnej, ale nevím

1. jestli je to jediná věc, u které je ne-korektní, nebo je jich víc (jasně že jedna věc stačí k tomu aby byl nekorektní jako takový, ale to teď nemyslím)

2. V čem je to zjednodušení pro programátora? Že může použít downcast bez toho, aby to udělal explicitně? To mi moc jako výhoda ani nepřijde

4056

Studium a uplatnění / Re:Funkcionální programátor

« kdy: 01. 07. 2015, 23:47:59 »

Obecně nic takového neplatí - typový systém a operační sémantika jsou dvě nezávislé věci. Například jazyky Dart a Typescript mají záměrně nekorektní typové systémy.

Můžeš tohle prosím rozvést nebo dát nějaký odkaz? Zajímalo by mě, jak přesně nekorektní a jaký je ten záměr (k čemu to má vést).

4057

Studium a uplatnění / Re:Proč tolik matematiky?

« kdy: 01. 07. 2015, 23:28:50 »

berte to jako takovou moji zvláštnost po nikom vykání nevyžaduju a naopak tykání neberu jako neúctu

Ok, není problém.

http://www.spseiostrava.cz/cs/obory-vzdelani/obor-informacni-technologie
např. tohle je prakticky to co popsal Intelektual

A ty grafové algoritmy jsou tam kde? Z takhle krátkého seznamu přece nic nepoznáš. "základy algoritmizace" může být taky robot Karel A hlavně Intelektuál taky říkal "zbytek ať si vyberou sami", tady ale nic navíc není (zřejmě). Já jsem pochopil Intelektuála tak, že vypočítal věci, které využije s velkou pravděpodobností úplně každý, kdo bude v IT dělat cokoli, takový nejměnší společný základ. Jestli by někoho bavil lambda kalkul, tak ať si ho pak dá volitelně. Akorát mi tak v tom Intelektuálově výčtu chybí logika, tu bych napral bez milosti taky všem

humanitní vědy (např. dějepis) nejsou využitelné v IT praxi, o smysluplnost jejich výuky bez ohledu na praxi nechci debatovat

Ale jsou, abych byl stylový, minimálně tě naučí myslet - v kontextu doby, společnosti, politiky. Když budeš jednat s Japoncem, tak se hodí trochu něco tušit o tom, jakou by asi tak mohl mít mentalitu.

Samozřejmě pokud jsi třeba autista, chceš hlavně mít klid a hrabat se ve svých oblíbených parakonzistentních logikách a ničem jiným, tak k tomu pochopitelně dějepis nepotřebuješ. My se ale bavíme o normálních lidech v normálních situacích - tj. o průměru.

4058

Studium a uplatnění / Re:Proč tolik matematiky?

« kdy: 01. 07. 2015, 22:56:09 »

Ostaně obecný princip derivace se právě na grafu vysvětluje nejlépe.

To je vtip? Samozřejmě nejde o grafy funkcí, ale o https://cs.wikipedia.org/wiki/Teorie_graf%C5%AF

4059

Studium a uplatnění / Re:Proč tolik matematiky?

« kdy: 01. 07. 2015, 22:54:40 »

Hele nemohli bysme si tykat, mě to vykání přijde hloupý...

tvrdil jste, že studenti ve středoškolském věku se některé věci nebudou chtít(moct?) učit, proto mě zajímají vaše východiska, to je docela jednoduchá logika

Ti studenti, kteří by nechtěli jít na VŠ a stačila by jim střední, by to podle mýho zvládali těžko. Proto ty IT střední jsou postavený tak, jak jsou postavený, to myslíš, že jsou to úplní pitomci, že to dělají blbě?

No a to se právě tragicky pleteš.

o využití nastudované látky v praxi mluvíte celou dobu

Pleteš se v tom, že humanitní vědy jsou nepraktické. Jak říkám, já z některých věcí, který jsem se na bakaláři sociologie naučil, žiju doteď, používám je denně (bez přehánění) a jsem moc rád, že jsem si tím prošel.

Ono ve skutečnosti nejde ani tak moc o to, co se učí, ale především jak se to učí... Jestli to motivuje, přitahuje lidi, jestli mají radost z učení, jestli to v nich podporuje tvořivost a inovativnost, jestli to mají chuť a možnost využít, nebo jestli hlavní efekt je udělat de facto IQ test a těm, kdo projdou, dát razítko, že jsou teda machři, a poté si v diskusích honit triko, že ti dnešní mladí nemají ani tuchu o tom, co je to Aleph0...

možná, nehodlám o tom debatovat, téma debaty je využití studované látky v (IT) praxi

Ve skutečnosti téma je "po tisíciprvé někdo tvrdí zjevnou lež, že kdo neumí diferenciální rovnice, ten nikdy nemůže programovat, a nedokládá to ničím jiným než nekonečným opakováním svých dojmů".

Ještě jednou tě odkážu na příspěvek, který zapadl: http://forum.root.cz/index.php?topic=9278.msg134754#msg134754
- souhlasím s 90% věcí, co jsou v tom výcucu. Nemám nic proti matice, ale rozčiluje mě, když s ní někdo někoho mlátí po hlavě.

4060

Studium a uplatnění / Re:Proč tolik matematiky?

« kdy: 01. 07. 2015, 22:30:53 »

ten výčet matematických oblastí zvládli i lidi, kteří zdaleka nebyli "elitou" a krom toho ještě sadu odborných předmětů, třeba automatizaci (laplacovka, ještě teď se mi dělá blbě)

Nemám žádnou potřebu tě přesvědčovat, jenom jsem vyjádřil svou skepsi, že by něco takového k něčemu bylo a našlo si to studenty. Když si myslíš, že by to šlo, tak je to asi teda díra na trhu, protože nevím o tom, že by něco takovýho existovalo.

Btw, proč by tam vlastně někdo chodil, když může jít třeba na Unicorn College, kde bude mít předměty podobné a ještě navíc titul?

nevím na jakou střední jste chodil, jestli,  ale docela mě to začíná zajímat

O své střední jsem neřekl vůbec nic, proč by tě to mělo zajímat?! Integrály jsme myslím měli taky a dělal jsem pro zábavu fyzikální olympiádu, jestli tě to nějak zahřeje u srdce

a ještě před chvílí jste volal po praktickém zaměření výuky, teď zas že by se měly zachovat společenskovědní předměty (velmi praktické! teda spíš ne)

No a to se právě tragicky pleteš. Sociální vědy jsou velice dobrý doplněk. Podobně jako třeba ta hudba. Nebo filosofie. Jak v jednom rozhovoru řekl Ondřej Štefl (volně): já se spolu s váma nesměju oborům jako multikulturní studia. Co my víme, co bude za dvacet let potřeba? Svět začíná být v pohybu a třeba budou odborníci na inter-kulturní komunikaci to vůbec nejcennější, co budeme potřebovat!

Krom toho, mě na sociologii naučili docela dobře metodologii výzkumu a (naprostý) základy praktické statistiky. Hodně hodin jsme strávili diskutováním o tom, jak by se nějaká věc dala vyzkoumat a co by naopak byl chybnej postup. Jaký jsou typi falešných korelací a jak se snažit se jim vyhnout... Spousta parádních praktických věcí, žiju z toho doteď a používám to pořád. Narozdíl od řekněme formální sémantiky programovacích jazyků, to jsem nepoužil nikdy a nic si z toho nepamatuju. Ale možná mě to naučilo myslet

4061

Studium a uplatnění / Re:Proč tolik matematiky?

« kdy: 01. 07. 2015, 22:06:47 »

zkuste odpovědět na můj dotaz (grafy místo integrálů)

A na co mám jako odpovídat? No když to uděláš stejně jednoduchý, jaký jste měli ty integrály (bude to pak mít vůbec smysl?), nebo to bude dostatečně elitní gympl, tak to fungovat může. Jenže to se úplně míjíš s pointou, protože elitní středoškoláci by neměli dělat nějaký "IT učňák", ten by měl být (když už) naopak určený těm, které nějaká věda nezajímá a chtějí spíš co nejvíc praxe.

Jinak střední IT samozřejmě existují, můžeš se kouknout na studijní plány: http://www.roznovskastredni.cz/ucebni-plany.php#ezi a přijít jim říct, že to dělaj blbě

A taky si prosímtě uvědom, že samotný grafy ti k ničemu nepomůžou. Těch věcí musí být fakt hodně (databáze, dva programovací jazyky, unix/windows, sítě, atd atd.) Kam bys to nacpal? Zrušil bys úplně zeměpis, fyziku, dějepis, základy společenských věd? To mi nepřijde jako dobrý nápad, dělat z lidí fachidioty a jednoúčelový materiál do kjůbiklů hnedka od patnácti...

4062

Studium a uplatnění / Re:Proč tolik matematiky?

« kdy: 01. 07. 2015, 21:50:31 »

proč by nemělo jít vypustit třeba derivace a integrály a místo toho dát grafy?

Nejlepší bude, když si to vyzkoušíš. Zajdi na nejbližší gympl, nabídni jim, že jim uděláš kroužek programování a až tam ty děcka přijdou, tak jim řekni, že správný programátor musí umět hlavně teorii grafů a množin, takže jim prvně vysvětlíš to a programovat se začne tak možná příští rok - když to půjde dobře. Jo a taky je na tom děsně důležitý si procvičit mozek, takže to všechno vem včetně důkazů. Uvidíš sám, kolik děcek po téhle první hodině přijde i na druhou

4063

Studium a uplatnění / Re:Proč tolik matematiky?

« kdy: 01. 07. 2015, 21:29:37 »

proč by to měl být problém?

No třeba proto, že tě ty děcka pošlou někam s věcma, který nebudou mít bezprostřední efekt a nebudou okamžitě vědět, jak je použít na něco, co je zajímá. Na střední je problém naučit i základy booleovy algebry (tj. jenom ty pravidla, jak to funguje, nic víc).

Jo, kdybys to pojal tak, že bude nějakej projekt a když v něm narazí na něco, co neumí, tak se to doučí, to by byla jiná, to by fungovat mohlo. Jenže jak víme, naše střední školy takhle nefungují a dost dobře ani fungovat nemůžou.

4064

Studium a uplatnění / Re:Proč tolik matematiky?

« kdy: 01. 07. 2015, 21:25:59 »

Mimochodem, pánové, korektní a plodnou debatu o CS/IT a matematice si představuju nějak takhle: http://deanchen.com/computer-science-education-and-math Všimněte si, že tam nejsou žádný křečovitý argumenty a vzdušný zámky a poctivě se přemýšlí i o protiargumentech...

Celý vlákno: http://listserv.acm.org/SCRIPTS/WA-ACMLPX.EXE?A2=ind1101E&L=SIGCSE-members&D=0&P=11747

4065

Studium a uplatnění / Re:Proč tolik matematiky?

« kdy: 01. 07. 2015, 21:16:31 »

"14ti-letý" děcka na střední škole?

Jistě, na víceletým i dvanáctiletý.

Ovšem jestli trváš na normální střední, tak si tam dej klidně šestnáct, ono se tím nic nezmění.