LUDWIG_: ja teoreticky souhlasim ze za idealnich podminek by funkcionalni jazyky mely prevladnout, ale obavam se ze tady je mnohem hlubsi bariera pro "bezne lidi/programatory" - a to je prave matematika - coz me se sice libi, ale hodne lidi ma s matematikou "problem". Spis ocekavam, ze vznikne (vlastne uz vzniklo) mnoho komplikovanych a silne omezenych "paralelnich" knihoven pro javu/c++, ktere lidem castecne zastrou fakt, ze tudy cesta nevede.

Jinak fortress me taky lehce zaujal, hlavne teda tim, ze NASTESTI na nem moc neni videt ze by vychazel z fortranu :)
A ten uvod... to jsem mel mozna upozornit ze polovinu prednasky to vypada ze na paralelni zpracovani nikdy nedojde. Ale prave diky nemu ukazal velice dobre to co chtel rict - ze je potreba programatora odstinit jeste vice od hw a ze uz se to v minulosti stalo.
Jenom si troufnu tvrdit ze prechod od "rucni alokace pameti + adresy natvrdo" nejakemu inteligentnejsimu memory managementu je velmi snadny krok, ktery je pro cloveka prijemny, snadno pochopitelny a primocary. Naproti tomu prechod od linearne strukturovaneho premysleni (udelam to, pak tamto a nakonec tohle) k transformaci na problem resitelny nejakou formou map-reduce je celkem komplikovana mentalni gymnastika ktera rozhodne neni trivialni a dost lidem muze pripadat jako "zbytecna komplikace".. coz nemyslim jako kritiku, ale jenom jako neco co si myslim ze vyrazne zpomali dalsi nastup funkcionalnich paralelnich technik.

BROUKOID: zajimava prednaska, i kdyz trochu hardcore uvod s assemblerem :) kazdopadne paralelni programovani je duvod, proc drive nebo pozdeji funkcionalni jazyky (ci funkcionalni prvky v imperativnich jazycich) ovladnou svet :) ostatne uz o tom mluvil Martin Odersky na lonskych Scala days: [ PAD @ Funkcionální programování (Haskell, LISP, XQuery, OCaml, F#, Scala, ...) - praxe, teorie a uplatnění ] - ve strucnosti: jednim z duvodu, proc v 90. letech objektivni orientovane jazyky ovladly svet, byly GUIs - ted je podobna situace s paralelismem... taky mi prisel zajimavej ten Fortress - Fortran nesleduji, takze mi tenhle jazyk uplne unikl... kazdopadne je pekny, jak "znovuobjevil" spoustu veci z Haskellu - plus ten napad o automatickem testovani algebraickych vlastnosti je fajn... neco podobneho tomu unit testovani me taky pred nakym casem napadlo, ale nedokopal jsem se k tomu, abych neco spachal - mam ale pocit, ze v Coqu je dokonce mozny algebraicky vlastnosti funkci automaticky dokazovat.... ale clovek nejspis musi mit doktorat v obecne matematice ci tak neco, aby dokazal Coq prakticky pouzivat :)

LUDWIG_: "Escape From the Ivory Tower: The Haskell Journey, From 1990 to 2011" - paradni prednaska o historii a soucasnosti Haskellu od jednoho z jeho tvurcu :)

napadlo vas nekdy, ze koncept unixovych pipe je v podstate funkcionalni kompozice: http://xahlee.org/comp/unix_pipes_and_functional_lang.html ? :)

PAD: indove, mayove i rekove meli naky koncept nuly/niceho... tak jak ale nulu zname dneska, bylo formalizovano az pozdeji v persii

LUDWIG_: neznali nulu uz predtim indove? dlouho dlouho predtim ..

VIRTUALVOID: asi tak... ve srovnani s fyzikou ci matematikou je informatika zatim na urovni stredoveku, takze snad se mezi nama objevi brzy nejaky newton :) mozna prehanim, ale treba koncept 0 neexistoval do 9. stoleti (prestoze to je identita pro scitani, ktery lidi pouzivali dlouho predtim... a to nehovorim o spouste matematickych objevu ve starym recku, ktery se obesly bez 0) a dneska 0 zna kazdy maly dite... takze asi nejsem sam, kdo ma podezreni, ze jsou urcite nejaky velky jednoduchy zaklady logiky/informatiky, ktery zatim vsichni prehlizime

LUDWIG_: tiez si hovorim, .. holt tieto hlavy uz niesu najmladsie. teraz je rad na nas nieco vymysliet ;)

dennis ritchie, (jobs) a ted john mccarthy... to je nejaky zly mesic :(

RIP John McCarthy (Lisp, AI...)

prece jen scala ma pozehnani:

"During a meeting in the Community Corner (java.net booth) with James
Gosling, a participant asked an interesting question: "Which
Programming Language would you use *now* on top of JVM, except Java?".
The answer was surprisingly fast and very clear: - Scala."

LUDWIG_: jj, ten je dobrej - hlavne jako rozcestnik pro dalsi presentace. me hodne zaujal Menthor a OptiML ... vypada to, ze Scala jde hodne cesta masivnich vypoctu a data-miningu ... to je dobre:)

PAD: parada, zvlast keynote od boha! :)

WOODMAKER: taky moznost - zatim nemam cas/naladu novou diskuzi rozjizdet, takze to tady takhle chvili necham... pak jestli tu pobezi nejake debaty ci jestli ta anketa bude vyrazne proti, bude novy klub

tak spíš to tady asi nechat pro případné rozšiřování obzorů tématu a pro ty nové záludnosti vytvořit nový klub a dát sem na něj odkaz?

LUDWIG_: o genetických algoritmech nic nevím, tak skrytě doufám, že to vezmete nějak pomaloučku a nevylezete hned s highest-techem