• ú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_ --- ---
    1 odpověď+3
    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 --- ---
    1 odpověď
    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_ --- ---
    1 odpověď+3
    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 --- ---
    1 odpověď+4
    Tohle mě zaujalo. Najdete tam odkazy i na další díly.
    The Algebra of Algebraic Data Types
    LUDWIG_
    LUDWIG_ --- ---
    1 odpověď+2
    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_ --- ---
    Parleys.com
    http://www.parleys.com/channel/51ae1022e4b01033a7e4b6ca/presentations
    LUDWIG_
    LUDWIG_ --- ---
    jak spravne designovat map/reduce programy? pomoci monoidu: http://arxiv.org/abs/1304.7544
    LUDWIG_
    LUDWIG_ --- ---
    +1
    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 :)
    LUDWIG_
    LUDWIG_ --- ---
    1 odpověď+4
    Trochu OT humoru (mozna znate): http://james-iry.blogspot.co.uk/2009/05/brief-incomplete-and-mostly-wrong.html
    LUDWIG_
    LUDWIG_ --- ---
    +4
    The Lisp Curse
    http://www.winestockwebdesign.com/Essays/Lisp_Curse.html
    BROUKOID
    BROUKOID --- ---
    LUDWIG_: asi jsem zbytecne pesimisticky - pokud to znamena, ze firmy akceptuji ve vetsim meritku existenci funkcionalnich jazyku, je to uz jenom detail :)
    LUDWIG_
    LUDWIG_ --- ---
    1 odpověď
    BROUKOID: no, pointa je, ze nez se k temhle vecem dostanou, meli by uz mit zvladnuty nejaky zaklady a mysl nastavenou tak, ze k tomu nebudou tolik sklouzavat... zatimco do scaly se muzou vesele vrhnout s presvedcenim, ze to je java s mensim poctem slozenych zavorek :)
    BROUKOID
    BROUKOID --- ---
    1 odpověď
    LUDWIG_: stejne se obavam, ze po zvladnuti zaludnosti "syntaxe" lispu by nakonec objekto-proceduralne psali i v Clojure (koneckoncu v lispu se da psat imperativne celkem snadno) - a dovedu si predstavit, ze nekteri "experti" by i v haskellu dokazali vytvorit temer kompletne imperativni kod, jen co by objevili IO :)
    LUDWIG_
    LUDWIG_ --- ---
    2 odpovědi
    BROUKOID: To jo, Clojure by urcite lidi zaskocila. Ale rekl bych, ze ve Scale se da celkem matlat kod "javovskym" stylem, takze ten prechod by byl mene bolestivy, i kdyz zadny dobry funkcionalni kod by z toho nevznikl :)
    BROUKOID
    BROUKOID --- ---
    1 odpověď+1
    LUDWIG_: jasne, tohle ja chapu, ale predstavil jsem si tech par "good Java developer"-u, ktere znam (rozumej: lide kteri vice nez 10 let delaji v jave a maximalne maji mlhave povedomi ze kdysi se ucili neco jako C, C++ a za vrchol IT znalosti povazuji design patterns), jak se tvari kdyz jim sef rekne:
    "Klucii, tak ode dneska delate v Clojure, je to v JVM, takze pohoda, zadnej problem, ne?" :)

    .. a jeste veselejsi predstava je, jak se tvari kdyz zjisti ze Clojure je temer cisty Common Lisp :)
    Kliknutím sem můžete změnit nastavení reklam