• ú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_ --- ---
    "pure" (bez vedlejsich efektu) anotace pro cecko:
    http://isocpp.org/files/papers/n3744.pdf
    LUDWIG_
    LUDWIG_ --- ---
    BROUKOID: ne, jen me to zaujalo
    BROUKOID
    BROUKOID --- ---
    LUDWIG_: zkousel jsi ty, nebo nekdo jiny, v tom neco psat?
    LITTLELI
    LITTLELI --- ---
    LUDWIG_: no o elixiru psali v pragpubu, chtel jsem si s tim zaexperimentovat, ale prislo mi to syrove. proste mam starej erlang a tak mam smulu.
    LUDWIG_
    LUDWIG_ --- ---
    LUDWIG_
    LUDWIG_ --- ---
    knihovna pro higher-level programovani v c, inspirovana haskellem: http://libcello.org/
    LUDWIG_
    LUDWIG_ --- ---
    LITTLELI: videl bych to podobne. u scaly je jeste videt takova roztristenost komunity - jsou tu lidi, co to pouzivaji jako takovou kompaktnejsi elegantni javu, elitisticka skupina kolem scalaz, ktera nikdy nebude spokojena, dokud scala nebude jako haskell, atd.
    LITTLELI
    LITTLELI --- ---
    LUDWIG_: to je výborný povídání, díky. "languages talk about being multiparadigm as it is a good thing, but mulitparadigm means you can always do the bad thing if you really need to".
    TMA
    TMA --- ---
    LUDWIG_: Má spoustu zajímavých článků, dokonce i článek, který by se nechal považovat za FP pornografii.

    Compiling up to the λ-calculus: Church encodings and the Y combinator
    http://matt.might.net/articles/compiling-up-to-lambda-calculus/
    LUDWIG_
    LUDWIG_ --- ---
    Carmack opet o FP:

    John Carmack's keynote at Quakecon 2013 part 4 - YouTube
    http://www.youtube.com/watch?v=1PhArSujR_A&t=2m5s
    LUDWIG_
    LUDWIG_ --- ---
    KAMAHL: to je super, konecne to nekdo sepsal po lopate bez ty pro mnoho lidi strasidelny matematicky terminologie :)
    KAMAHL
    KAMAHL --- ---
    Tohle mě zaujalo. Najdete tam odkazy i na další díly.
    The Algebra of Algebraic Data Types
    LUDWIG_
    LUDWIG_ --- ---
    Memoizing recursive functions via the fixed-point Y combinator: Applying functional programming techniques to Javascript
    http://matt.might.net/...tation-of-recursive-fixed-point-y-combinator-in-javascript-for-memoization/
    LUDWIG_
    LUDWIG_ --- ---
    jak spravne designovat map/reduce programy? pomoci monoidu: http://arxiv.org/abs/1304.7544
    LUDWIG_
    LUDWIG_ --- ---
    Idris -
    http://idris-lang.org/

    docela zajimavy jazyk inspirovany haskellem, co ma "dependent types" - tedy datove typy, ktere muzou mit predikaty na hodnoty, cimz se muze definovat chovani programu a overit ho staticky (trochu neco jako pokrocile assertions v jml pro javu)
    LITTLELI
    LITTLELI --- ---
    LUDWIG_: mě spíš zaskočil ten Java Interop v Clojure. Kdo by řekl, že psát javu pomocí clojure lze velmi efektivně a hlavně o polovinu méně.
    BROUKOID
    BROUKOID --- ---
    LUDWIG_: megalol :)
    Kliknutím sem můžete změnit nastavení reklam