• úvod
  • témata
  • události
  • tržiště
  • diskuze
  • nástěnka
  • přihlásit
    registrace
    ztracené heslo?
    LUDWIG_Funkcionální programování (Haskell, LISP, XQuery, OCaml, F#, Scala, ...) - praxe, teorie a uplatnění
    LUDWIG_
    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)
    LITTLELI
    LITTLELI --- ---
    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.
    WILD_A
    WILD_A --- ---
    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.
    LUDWIG_
    LUDWIG_ --- ---
    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 :)
    WILD_A
    WILD_A --- ---
    LUDWIG_: To je imo i pekny tema na flejm :)
    LUDWIG_
    LUDWIG_ --- ---
    dynamicky jazyk s volitelnymi typy, nebo staticky jazyk s chytrou inferenci? to by mozna bylo na anketu
    LITTLELI
    LITTLELI --- ---
    Dvě starší věci, který mě teď v pátek po přednášce v práci zaujaly
    Why we’re supporting Typed Clojure, and you should too! | The Circle Blog
    http://blog.circleci.com/supporting-typed-clojure/
    Clojure's core.typed vs Haskell - Adam Bard and his magical blog
    http://adambard.com/blog/core-typed-vs-haskell/
    LUDWIG_
    LUDWIG_ --- ---
    Bret Victor - The Future of Programming
    http://vimeo.com/71278954
    LUDWIG_
    LUDWIG_ --- ---
    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
    LITTLELI
    LITTLELI --- ---
    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
    LITTLELI
    LITTLELI --- ---
    Deconstructing Functional Programming
    http://www.infoq.com/presentations/functional-pros-cons
    LUDWIG_
    LUDWIG_ --- ---
    What Every Hipster Should Know About Functional Programming
    http://bodil.org/hipster/#/

    Of Algebirds, Monoids, Monads, and other Bestiary for Large-Scale Data Analytics - Michael G. Noll
    http://www.michael-noll.com/...3/12/02/twitter-algebird-monoid-monad-for-large-scala-data-analytics/

    Announcing Scala.js v0.1 | The Scala Programming Language
    http://www.scala-lang.org/news/2013/11/29/announcing-scala-js-v0.1.html
    LUDWIG_
    LUDWIG_ --- ---
    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
    ESTEN --- ---
    :)

    Functional programming combines the flexibility and power of abstract mathematics with the intuitive clarity of abstract mathematics.

    xkcd: Functional
    http://xkcd.com/1270/
    BROUKOID
    BROUKOID --- ---
    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"
    Kliknutím sem můžete změnit nastavení reklam