LITTLELI: Pouzil jsem sice ostry vyrazy, hlavne ve snaze vyvolat nejakou diskuzi, ale osobne to fakt vnimam jako nahrazku v nouzi, kdyz to teda nejde jinak. A jinak viz LUDWIG_.

LITTLELI: je to volitelne (=> min uzitecne: nedokaze to z principu odchytit radu veci, co staticke jazyky zvladnou) a musi to byt explicitne vypsane (=> min produktivni oproti untyped Clojure nebo statickym jazykum s inferenci)

WILD_A: tak mně zas přijde, že to takhle nestojí. Mít takovou možnost volitelně mi přijde dost užitečné a rozhodně ne "lámání" nebo nějaké "znásilňování". Docela to odpovídá filosofii Clojure.

LUDWIG_: Z toho teda flejm nekouka, nejak neumim zaujmout jiny stanovisko nez je to tvoje. Clojure je Lisp a Lisp je jakej je a ma svoje vyhody a ja jsem velkej fanousek. Pokud mi z nejakyho duvodu Lisp nevyhovuje tak proc ho znasilnovat a lamat vzdyt tu jsou i jiny jazyky, za mne treba OCaml, Haskell jsem se zatim moc nenaucil.

Odbocka ve forme nadavani na pomery, mne osobne prijde snaha nacpat do kazdyho jazyka vsechno co umej ostatni fakt hloupa, pokud danej jazyk v jadru nevyhovuje tak ho prece nepouzivam a zvolim si lepsi nastroj, prirovnavam to k remeslnikovi, ten taky nema na vsechno kladivo, teda pokud je dobrej.

WILD_A: tak hura do toho - mne osobne ten Typed Clojure prijde jako z nouze cnost, pokud je tym a hafec kodu v Clojure nebo clenove tymu, co nic jineho nez Clojure neumi/neuznavaji... na solo projekty mi to prijde zbytecny a staci untyped Clojure a na vsechno ostatni jsou tu staticke jazyky s chytrou inferenci :)

LUDWIG_: To je imo i pekny tema na flejm :)

dynamicky jazyk s volitelnymi typy, nebo staticky jazyk s chytrou inferenci? to by mozna bylo na anketu

jeden hate blogpost http://overwatering.org/blog/2013/12/scala-1-star-would-not-program-again/

LITTLELI: skvela prednaska, ale nesouhlasil bych ohledne typovy inference - jak nekdo napsal v diskuzi pod tim, v F# je to uzitecny, jen si clovek musi praxi vybudovat urcitou intuici

Reference z předchozího talku...
Room 101: Maybe Monads Might Not Matter
http://gbracha.blogspot.cz/2011/01/maybe-monads-might-not-matter.html
Room 101: Chased by One’s Own Tail
http://gbracha.blogspot.cz/2009/12/chased-by-ones-own-tail.html

LUDWIG_: ten paper o monoidech, ktery zminuje, je zrejme tenhle:

[ LUDWIG_ @ Funkcionální programování (Haskell, LISP, XQuery, OCaml, F#, Scala, ...) - praxe, teorie a uplatnění ]

prednaska o Scala frameworcich pro Hadoop a obecne:

Should I use Scalding or Scoobi or Scrunch? - YouTube
http://www.youtube.com/watch?v=1vEHnsUW4rM


M/R job takhle vypada ve Scala dost prirozene a casto se moc nelisi od prace s normalnimi datovymi strukturami - prijde mi docela vtipny, ze se takovouhle oklikou pres M/R znovu-objevilo funkcionalni programovani :)

ESTEN: no to ja vim :) myslel jsem to spise tak, ze "opravdu bych chtel videt jak by toto nekdo na par slidech ukazoval v jave"

BROUKOID: aby ne, kdyz je sussman spoluautor scheme ;)

LITTLELI: jako velkeho LISP-ofila me potesilo, ze vsechny ty veci predvadel v scheme :) .. a zminky o RMS me take potesily.. skoda ze se dnes venuje ruznym hadkam o to, co je svobodnejsi a nejsvobodnejsi a ne umele inteligenci..

LUDWIG_: Ty bind1st apod. osobne nemam rad. V C++11 jsou lambdy, doufam, ze se budou pouzivat spis ty, imho je to citelnejsi.

ANT_39: diky za opravu, jsem to postnul v rychlosti. GCC je tam zmineny v Prior Art, dokonce ma i ten prepinac, co hodi warningy na mozne pure funkce, a ARMovsky prekladac ma __pure.

jeste par veci do skladacky, jak si z c++ udelat prijemnejsi jazyk:
stl - How can currying be done in C++? - Stack Overflow
http://stackoverflow.com/questions/152005/how-can-currying-be-done-in-c
Implementing Scala’s pattern matching in C++ | Statically Typed
http://staticallytyped.wordpress.com/2011/01/18/implementing-scalas-pattern-matching-in-c/

LUDWIG_: C++, ne C. FWIW, GCC umi __attribute__ ((pure)) v C i C++.

"pure" (bez vedlejsich efektu) anotace pro cecko:
http://isocpp.org/files/papers/n3744.pdf

BROUKOID: ne, jen me to zaujalo

LUDWIG_: zkousel jsi ty, nebo nekdo jiny, v tom neco psat?