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

aby to tady nehnilo - mam napad na diskuzi, co tu na nyxu taky chybi... tak kdyztak v zahlavi je anketa

k pradavne debate - tak c++0x je uz par dni standardem a c++ je tak funkcionalnejsi nez java :) jeste ze mame tu scalu

Inside story: Parallel bars | The Economist
http://www.economist.com/node/18750706?frsc=dg
"Meanwhile, a group of obscure programming languages used in academia seems to be making slow but steady progress, crunching large amounts of data in industrial applications and behind the scenes at large websites. Two examples are Erlang and Haskell, both of which are “functional programming” languages.

Such languages are based on a highly mathematical programming style (based on the evaluation of functions) that is very different from traditional, “imperative” languages (based on a series of commands). This puts many programmers off. But functional languages turn out to be very well suited to parallel programming. Erlang was originally developed by Ericsson for use in telecoms equipment, and the language has since been adopted elsewhere: it powers Facebook’s chat feature, for example. Another novel language is Scala, which aims to combine the best of both functional and traditional languages. It is used to run the Twitter, LinkedIn and Foursquare websites, among others."

tak i economist si vsiml funkcionalnich jazyku :)

YouTube - Air - Song made with Haskore and Supercollider
http://www.youtube.com/watch?v=d2JvOwS26Zg


YouTube - hacking haskell music
http://www.youtube.com/watch?v=eLS6GHXWMpA


docela dobra uchylarna tyhle syntetizatory v haskellu - zkousel jste nekdo?

jedna rada do zivota pro lidi zvykly na lazy evaluation: v ocamlu apod. se folduje/redukuje/akumuluje zleva (foldl), usetri vas to zbytecnych stack overflows :)

pouzivate nekdo haskell-mode do emacsu? ja emacs normalne moc nepouzivam, ale ten mod je vymazlenej - akorat, prebornici v emacsu, nevite, jak nastavit, aby se mi nekriplilo odsazeni tabulatorem pri do-notaci?

ke starsi predchozi debate: http://www.root.cz/clanky/novinky-v-nbsp-jdk-7-aneb-mirny-pokrok-v-nbsp-mezich-zakona-ndash-projekt-lambda/