• ú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_ --- ---
      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 :)
      ESTEN
      ESTEN --- ---
      :)

      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 --- ---
      BROUKOID: aby ne, kdyz je sussman spoluautor scheme ;)
      BROUKOID
      BROUKOID --- ---
      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 --- ---
      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_ --- ---
      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 --- ---
      LUDWIG_: C++, ne C. FWIW, GCC umi __attribute__ ((pure)) v C i C++.
      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
      Kliknutím sem můžete změnit nastavení reklam