• ú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í
    LITTLELI
    LITTLELI --- ---
    +1
    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/
    LITTLELI
    LITTLELI --- ---
    jeden hate blogpost http://overwatering.org/blog/2013/12/scala-1-star-would-not-program-again/
    LUDWIG_
    LUDWIG_ --- ---
    +1
    http://imgs.xkcd.com/comics/haskell.png
    LUDWIG_
    LUDWIG_ --- ---
    +4
    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 --- ---
    1 odpověď+3
    Deconstructing Functional Programming
    http://www.infoq.com/presentations/functional-pros-cons
    LUDWIG_
    LUDWIG_ --- ---
    +1
    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_ --- ---
    +1
    https://www.coursera.org/course/reactive
    LUDWIG_
    LUDWIG_ --- ---
    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í ]
    LUDWIG_
    LUDWIG_ --- ---
    1 odpověď
    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 :)
    LUDWIG_
    LUDWIG_ --- ---
    https://air.mozilla.org/region-based-storage-management-parasailing-without-a-garbage-chute/
    ESTEN
    ESTEN --- ---
    +3
    :)

    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"
    ESTEN
    ESTEN --- ---
    1 odpověď
    BROUKOID: aby ne, kdyz je sussman spoluautor scheme ;)
    BROUKOID
    BROUKOID --- ---
    1 odpověď
    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..
    LITTLELI
    LITTLELI --- ---
    1 odpověď+4
    We Really Don't Know How To Compute!
    http://www.infoq.com/presentations/We-Really-Dont-Know-How-To-Compute
    Gerald Jay Sussman compares our computational skills with the genome, concluding that we are way behind in creating complex systems such as living organisms, and proposing a few areas of improvement.
    ANT_39
    ANT_39 --- ---
    LUDWIG_: Ty bind1st apod. osobne nemam rad. V C++11 jsou lambdy, doufam, ze se budou pouzivat spis ty, imho je to citelnejsi.
    LUDWIG_
    LUDWIG_ --- ---
    1 odpověď
    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/
    ANT_39
    ANT_39 --- ---
    1 odpověď
    LUDWIG_: C++, ne C. FWIW, GCC umi __attribute__ ((pure)) v C i C++.
    Kliknutím sem můžete změnit nastavení reklam