• ú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í
      WOODMAKER
      WOODMAKER --- ---
      LUDWIG_: o genetických algoritmech nic nevím, tak skrytě doufám, že to vezmete nějak pomaloučku a nevylezete hned s highest-techem
      LUDWIG_
      LUDWIG_ --- ---
      aby to tady nehnilo - mam napad na diskuzi, co tu na nyxu taky chybi... tak kdyztak v zahlavi je anketa
      LUDWIG_
      LUDWIG_ --- ---
      k pradavne debate - tak c++0x je uz par dni standardem a c++ je tak funkcionalnejsi nez java :) jeste ze mame tu scalu
      LUDWIG_
      LUDWIG_ --- ---
      Inside story: Parallel bars | The Economist
      http://www.economist.com/node/18750706?frsc=dg
      "Meanwhile, a group of obscure programming languages used in academia seems to be making slow but steady progress, crunching large amounts of data in industrial applications and behind the scenes at large websites. Two examples are Erlang and Haskell, both of which are “functional programming” languages.

      Such languages are based on a highly mathematical programming style (based on the evaluation of functions) that is very different from traditional, “imperative” languages (based on a series of commands). This puts many programmers off. But functional languages turn out to be very well suited to parallel programming. Erlang was originally developed by Ericsson for use in telecoms equipment, and the language has since been adopted elsewhere: it powers Facebook’s chat feature, for example. Another novel language is Scala, which aims to combine the best of both functional and traditional languages. It is used to run the Twitter, LinkedIn and Foursquare websites, among others."

      tak i economist si vsiml funkcionalnich jazyku :)
      LUDWIG_
      LUDWIG_ --- ---
      YouTube - Air - Song made with Haskore and Supercollider
      http://www.youtube.com/watch?v=d2JvOwS26Zg


      YouTube - hacking haskell music
      http://www.youtube.com/watch?v=eLS6GHXWMpA


      docela dobra uchylarna tyhle syntetizatory v haskellu - zkousel jste nekdo?
      LUDWIG_
      LUDWIG_ --- ---
      jedna rada do zivota pro lidi zvykly na lazy evaluation: v ocamlu apod. se folduje/redukuje/akumuluje zleva (foldl), usetri vas to zbytecnych stack overflows :)
      LUDWIG_
      LUDWIG_ --- ---
      pouzivate nekdo haskell-mode do emacsu? ja emacs normalne moc nepouzivam, ale ten mod je vymazlenej - akorat, prebornici v emacsu, nevite, jak nastavit, aby se mi nekriplilo odsazeni tabulatorem pri do-notaci?
      LUDWIG_
      LUDWIG_ --- ---
      asi jsem "objevil ameriku", ale dost jsem si ted zamiloval tpl: http://msdn.microsoft.com/cs-cz/library/dd460699.aspx
      neznate nekdo neco podobnyho na jvm (pro scalu)?
      LUDWIG_
      LUDWIG_ --- ---
      ANT_39: tak i kdyby se podelalo, porad to bude ve finale rychlejc nez jdk8
      ANT_39
      ANT_39 --- ---
      LUDWIG_: standard je ted nekde ve stavu final committee draft, cili bugfixes only. Lambdy tam jsou, nekdy pristi rok by to myslim melo byt finalni, jestli se neco nepodela.
      LUDWIG_
      LUDWIG_ --- ---
      jj, i msvc2010 to myslim podporuje... spis jsem myslel schvaleni komisi kolem standardu c++
      ANT_39
      ANT_39 --- ---
      LUDWIG_: V c++0x lambdy jsou. V gcc, ktere mam pod rukou (fedora 13), to jeste nefunguje, ale v GCC 4.5 by to melo byt.
      LUDWIG_
      LUDWIG_ --- ---
      ze by se lambda ofiko nakonec driv dostala do c++? http://val.samko.info/lambda/ :)
      MICTECH
      MICTECH --- ---
      LUDWIG_: Az v Java 8
      LUDWIG_
      LUDWIG_ --- ---
      to me tak napada - jak je to momentalne vlastne s closures v jdk7?
      URZA
      URZA --- ---
      Tak jsem si říkal, že nějakému funkcionálnímu jazyku podívám trochu blíž na zoubek, když to teď začíná být tak in :)
      A tak dlouho jsem váhal mezi F# a Scalou až jsem se začal učit Clojure :)
      LUDWIG_
      LUDWIG_ --- ---
      abych nadhodil tema - v lete jsem na stazi potkal cloveka, co maka na vlastnim multiparadigmatickym jazyku (rdxpl). pred dvouma rokama na paty pokus se mu podarilo udelat funkcni prototyp tusimze v object pascalu... ted pripravuje novou verzi ve scale - tak jsem se s nim pri obedech nekolikrat bavil na tema, co me stve na vetsine programovacich jazyku, co mi v nich chybi, co je skoda, ze nikdo jeste do nich neimplementoval, co by mohlo byt prirozenejsi apod. z tehle rozhovoru nacerpal celkem dost inspirace, ze rikal, ze me v ty pristi verzi uvedene jako prispevatele.
      tak jestli mate k tomu nekdo podobny postoj jako ja - tedy ze mate v hlave celkem dobrou predstavu o tom, jaky by byl fajn programovaci jazyk, ale nejste dostatecne sileny na to, abyste se pustili do napsani vlastniho, a byli byste radi, kdyby se vase napady nekde ujaly - neco sem napiste a ja to presmeruji, klidne i s vasim jmenem, pokud si zakladate na autorstvi :)
      LISKNI_SI
      LISKNI_SI --- ---
      LUDWIG_: Čas od času posílám nějakej patch do xmonadu (Haskell).
      LUDWIG_
      LUDWIG_ --- ---
      delate tu nekdo opensource v necem funkcionalnim?
      Kliknutím sem můžete změnit nastavení reklam