• ú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í
      WILD_A
      WILD_A --- ---
      1 odpověď
      LUDWIG_: To je imo i pekny tema na flejm :)
      LUDWIG_
      LUDWIG_ --- ---
      1 odpověď
      dynamicky jazyk s volitelnymi typy, nebo staticky jazyk s chytrou inferenci? to by mozna bylo na anketu
      LITTLELI
      LITTLELI --- ---
      +1
      Dvě starší věci, který mě teď v pátek po přednášce v práci zaujaly
      Why we’re supporting Typed Clojure, and you should too! | The Circle Blog
      http://blog.circleci.com/supporting-typed-clojure/
      Clojure's core.typed vs Haskell - Adam Bard and his magical blog
      http://adambard.com/blog/core-typed-vs-haskell/
      LITTLELI
      LITTLELI --- ---
      jeden hate blogpost http://overwatering.org/blog/2013/12/scala-1-star-would-not-program-again/
      LUDWIG_
      LUDWIG_ --- ---
      +1
      http://imgs.xkcd.com/comics/haskell.png
      LUDWIG_
      LUDWIG_ --- ---
      +4
      Bret Victor - The Future of Programming
      http://vimeo.com/71278954
      LUDWIG_
      LUDWIG_ --- ---
      LITTLELI: skvela prednaska, ale nesouhlasil bych ohledne typovy inference - jak nekdo napsal v diskuzi pod tim, v F# je to uzitecny, jen si clovek musi praxi vybudovat urcitou intuici
      LITTLELI
      LITTLELI --- ---
      Reference z předchozího talku...
      Room 101: Maybe Monads Might Not Matter
      http://gbracha.blogspot.cz/2011/01/maybe-monads-might-not-matter.html
      Room 101: Chased by One’s Own Tail
      http://gbracha.blogspot.cz/2009/12/chased-by-ones-own-tail.html
      LITTLELI
      LITTLELI --- ---
      1 odpověď+3
      Deconstructing Functional Programming
      http://www.infoq.com/presentations/functional-pros-cons
      LUDWIG_
      LUDWIG_ --- ---
      +1
      What Every Hipster Should Know About Functional Programming
      http://bodil.org/hipster/#/

      Of Algebirds, Monoids, Monads, and other Bestiary for Large-Scale Data Analytics - Michael G. Noll
      http://www.michael-noll.com/...3/12/02/twitter-algebird-monoid-monad-for-large-scala-data-analytics/

      Announcing Scala.js v0.1 | The Scala Programming Language
      http://www.scala-lang.org/news/2013/11/29/announcing-scala-js-v0.1.html
      LUDWIG_
      LUDWIG_ --- ---
      +1
      https://www.coursera.org/course/reactive
      LUDWIG_
      LUDWIG_ --- ---
      LUDWIG_: ten paper o monoidech, ktery zminuje, je zrejme tenhle:

      [ LUDWIG_ @ Funkcionální programování (Haskell, LISP, XQuery, OCaml, F#, Scala, ...) - praxe, teorie a uplatnění ]
      LUDWIG_
      LUDWIG_ --- ---
      1 odpověď
      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 :)
      LUDWIG_
      LUDWIG_ --- ---
      https://air.mozilla.org/region-based-storage-management-parasailing-without-a-garbage-chute/
      ESTEN
      ESTEN --- ---
      +3
      :)

      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 --- ---
      1 odpověď
      BROUKOID: aby ne, kdyz je sussman spoluautor scheme ;)
      BROUKOID
      BROUKOID --- ---
      1 odpověď
      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 --- ---
      1 odpověď+4
      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_ --- ---
      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/
      Kliknutím sem můžete změnit nastavení reklam