• ú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í
      UETOYO
      UETOYO --- ---
      LISKNI_SI: Co se týče typů ve Scale, pak by to mohlo trochu popostrčit DOT respektive Dotty. Co men právě zrazilo: Radek Miček: "Ano, Scala je komplikovaná, ale nepřijde mi to jako nějaká splácanina - naopak mi přijde, že je tam jen pár konstrukcí, na nichž je vše postaveno (v tomto ohledu mi Scala přijde mnohem čistší než OCaml nebo GHC Haskell)."
      UETOYO
      UETOYO --- ---
      LISKNI_SI: Těch pár pěkných poznámek je srovnání Scala/F# co má na githubu: https://github.com/radekm/notes-cs/tree/master/2016 Jinak v posledních diskuzích např. zde: https://forum.root.cz/index.php?topic=11771.msg192910;topicseen#new se porůznu vyjadřuje k typům ve Scale vs Haskell a možná spíše nějkým detailům v implementaci GHC (javamana prosím přeskakovat :). Jinak co vím Radek Miček je docela zběhlý v OCamlu a a FP obecně, takže já jen tak přihlížím; teoreticky do toho tolik nevidím.
      LISKNI_SI
      LISKNI_SI --- ---
      UETOYO: Mohl bys dát link na ty pěkné poznámky a výhrady k Haskellu? Dělal jsem (za peníze) obojí v produkci, a Haskell je, co se typů týče, úplně jinde než Scala. Nedá se to vůbec srovnat. Dá se jistě najít spousta dobrejch důvodů, proč v produkci preferovat Scalu, ale o typovým systému (vyjma kompatibility s JVM), nebude ani jeden z nich, imho. :-)
      UETOYO
      UETOYO --- ---
      Tohle je otázka na SATAIe, ale za další komentáře děkuji: Ondřeji, kdesi na rootu jsi v diskuzi psal, že jsi rád, že nemusíš dělat v práci ve Scale. Mne zajímá proč? Je ten Scala styl opravdu tak různorodý, že je s tím problém? Já pořád kroužím kolem Scaly s tím, že oproti Haskellu a OCamlu mi to stále sedí na JVM a to se mi pořád zdá jako výhoda + Spark/ML atd. A k mému podivu, napsal i Radek Miček ke Scale pár pěkných poznámek a zdá se že se mu líbí (má spoustu výhrad k Haskellu), čemuž věřím, protože se v typových systémech dost vyzná. Je Scala v produkci problematická? Dík.
      CABOWITZ
      CABOWITZ --- ---
      GitHub - gibiansky/IHaskell: A Haskell kernel for IPython.
      https://github.com/gibiansky/IHaskell
      LUDWIG_
      LUDWIG_ --- ---
      IRAVEN
      IRAVEN --- ---
      UETOYO: avast. prej tam maji nejaky framework nad scalou, ale neznam podrobnosti.
      SATAI
      SATAI --- ---
      LISKNI_SI: nevím jak ostatní teamy, ale tam, kam mne loni brali, nebyla...
      LISKNI_SI
      LISKNI_SI --- ---
      UETOYO: sqldep, yottly
      LUDWIG_: v GD už prej moc ne (ale nevím, jestli se tomu, kdo mi to říkal, dá věřit :-))
      LUDWIG_
      LUDWIG_ --- ---
      UETOYO
      UETOYO --- ---
      Dík všem za tip (i za SK :) Měl jsem pocit, že v Etnetera jde Scala do pozadí, přestali ji nějak propagovat.
      LITTLELI
      LITTLELI --- ---
      UETOYO: v Jumpshotu jedeme Scalu. Mimo jiné
      LUDWIG_
      LUDWIG_ --- ---
      UETOYO: http://dev.etnetera.cz/scala/scaladays_2014.html
      Etnetera, Spinocco, CA a GoodData?
      SATAI
      SATAI --- ---
      UETOYO: cas od casu zbezne hledam, vetsinou nic nenachazim. Ale zhruba pred tydnem mne lovili na nejakou Scalu do Bratislavy :/
      UETOYO
      UETOYO --- ---
      Nemáte někdo přehled českých firem, kde se daří programovat ve Scale? Nějak mi toho v posledním roce vyhledávač moc nevrací. Díky.
      SATAI
      SATAI --- ---
      LUDWIG_: doporučuji číst jenom těm, co mají čas a po ruce alkohol ;)
      LUDWIG_
      LUDWIG_ --- ---
      LUDWIG_
      LUDWIG_ --- ---
      Jiří Knesl: OOP a funkcionální programování se navzájem vylučují - Zdroják
      https://www.zdrojak.cz/clanky/jiri-knesl-oop-funkcionalni-programovani-se-navzajem-vylucuji/
      UETOYO
      UETOYO --- ---
      ESTEN: Jo koukám, že se odmlčel . Nedivím se mu, že se raději věnuje Clojure (http://kachayev.github.io/talks/) .)
      ESTEN
      ESTEN --- ---
      UETOYO: pekny, skoda ze posledni commit je z r. 2014 :/
      UETOYO
      UETOYO --- ---
      LUDWIG_
      LUDWIG_ --- ---
      UETOYO: stack pouziva defaultne stackage
      Kliknutím sem můžete změnit nastavení reklam