• ú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í

    Clojure's core typed vs Haskell

    8 hlasy od 8 respondentů
      A monad is just a monoid in the category of endofunctors, what's the problem? http://vimeo.com/38223410



      All programming languages evolve towards Lisp.

      Haskell is faster than C++, more concise than Perl, more regular than Python, more flexible than Ruby, more typeful than C#, more robust than Java, and has absolutely nothing in common with PHP. — Autrijus Tang

      There may, indeed, be other applications of the [lambda calculus] than its use as a logic. — Alonzo Church, 1932
      rozbalit záhlaví
      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 :)
      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_ --- ---
      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 --- ---
      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_ --- ---
      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 :)
      Kliknutím sem můžete změnit nastavení reklam