• ú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í
      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++.
      LUDWIG_
      LUDWIG_ --- ---
      1 odpověď
      "pure" (bez vedlejsich efektu) anotace pro cecko:
      http://isocpp.org/files/papers/n3744.pdf
      LUDWIG_
      LUDWIG_ --- ---
      BROUKOID: ne, jen me to zaujalo
      BROUKOID
      BROUKOID --- ---
      1 odpověď
      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_ --- ---
      1 odpověď
      mate nekdo zkusenost s http://elixir-lang.org/ nebo http://www.rust-lang.org/ ?
      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
      Kliknutím sem můžete změnit nastavení reklam