• ú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í
      LITTLELI
      LITTLELI --- ---
      LUDWIG_: ano. Wadlerova práce vychází hodně z Gentzena. Nějak jsme se bavili, už ani nevím o čem a pak se zeptal, že by ho zajímalo, kde zemřel Gentzen. Tak jsem mu našel kde skončil jeho osud na mapě. Ten osud je celkem tragickej https://www.matfyz.cz/...tovani-po-hrobech-slavnych-matematiku-fyziku-astronomu-xix-dablicky-hrbitov
      LUDWIG_
      LUDWIG_ --- ---
      LITTLELI: nejaky zazitek z after-party?
      LITTLELI
      LITTLELI --- ---
      ...nebo společně s prof. Wadlerem pátrat po osudu Gerharda Gentzena ;)
      LUDWIG_
      LUDWIG_ --- ---
      JINX: pridana hodnota je asi jako u vsech konferencich: potkat se s ruznymi lidmi a pokecat + moznost se na cokoliv zeptat behem prednasek?
      SATAI
      SATAI --- ---
      JINX: sem jedu poprvé
      JINX
      JINX --- ---
      SATAI: Ma to nejakou pridanou hodnotu? Stejne to bude pozdeji na YT.

      Po par konferencich me to uplne prestalo bavit :-(
      SATAI
      SATAI --- ---
      Chystate se nekdo na lambda days?
      Lambda Days 2019
      http://www.lambdadays.org/lambdadays2019
      F89
      F89 --- ---
      Hola, 6. prosince proběhne v Praze MeetFactory konference LambdUp (Clojure, F#, Elixir...). Vystoupí zahraniční i naši speakři.

      Víc info přímo na webu: https://www.lambdup.io
      Nebo tady v Nyx události: [ LambdUp / konferenceconference / 6.12.2017 / CR - Praha - MeetFactory ]

      LUDWIG_
      LUDWIG_ --- ---
      PyFunctional by EntilZha
      http://www.pyfunctional.org
      LITTLELI
      LITTLELI --- ---
      já si myslím, že zrovna actor model si vlastní jazyk/y a asi i platformu celkem zaslouží
      UETOYO
      UETOYO --- ---
      LITTLELI: Jo, ale četl, jestli je to vlastně nutné, stavět celý jazyk kolem aktor modelu, když na to asi stačí knihovní řešení. Co je na Pony pěkné, je jak je krásně čitelný.
      LITTLELI
      LITTLELI --- ---
      Zkoumal tady už někdo Pony? .)
      MARASAN
      MARASAN --- ---
      Type Theory and Functional Programming
      https://www.cs.kent.ac.uk/people/staff/sjt/TTFP/
      UETOYO
      UETOYO --- ---
      GitHub - carp-lang/Carp: A statically typed lisp, without a GC, for high performance applications
      https://github.com/carp-lang/Carp
      UETOYO
      UETOYO --- ---
      LISKNI_SI: Snad to pomohlo a tobě se to v dobrém vrátí :)
      LISKNI_SI
      LISKNI_SI --- ---
      UETOYO: Nechceme, ale dalo se tam přihlásit přes google účet, tak jsem to zkusil. Doufám, že tu hrůzu nebudu muset používat nějak víc. :-)
      UETOYO
      UETOYO --- ---
      Nechcete mu někdo odpovědět? https://devel.cz/otazka/haskell-v-produkci
      UETOYO
      UETOYO --- ---
      GitHub - rvirding/lfe: Lisp Flavoured Erlang (LFE)
      https://github.com/rvirding/lfe/
      KOJA
      KOJA --- ---
      Dekuju jeste jednou a uz nebudu dal stourat.

      SHAGA: Pravda je ta, ze na zaklade zkusenosti jsem uz take opatrny v nasazovani cizich projektu dokud s nima nemam netrivialni zkusenosti (a muzou byt klidne open source, velke, od zname firmy, popularni), takze asi trochu rozumim. V podstate je to ale slepice-vejce problem, tak proto se takhle ruzne zvedave vyptavam ve snaze dostat aspon trochu zajimave informace i jinak nez na zaklade vlastnich spatnych zkusenosti. A jakozto C++ programator o prilepovani nohou na kone ve snaze stvorit chobotnici take neco vim :-)

      LISKNI_SI: Ok, dik za vysvetleni. Z me strany to ani nebyl argument jako spis uvaha, vicemene jsem prezentoval svuj logicky problem a vy jste mi vysvetlili kde uvazuju spatne. Diky.
      UETOYO
      UETOYO --- ---
      On pattern matching bude brzo v každém druhém jazyce viz C#, Rust, Java --> http://cr.openjdk.java.net/~briangoetz/amber/pattern-match.html
      LISKNI_SI
      LISKNI_SI --- ---
      KOJA: Do debaty Java vs zbytek světa se skutečně takhle po ránu pouštět nechci, tak to zkrátím. Pro ten analytickej engine bych si vybíral jen z jazyků, co maj pattern matching. To Java není, ale Scala by to bejt asi klidně mohla. A argument o počtu lidí na trhu práce je úplně zcestnej, tohle je tak složitý téma, že to stejně můžou dělat jen lidi, kteří se jazyk naučí za odpoledne.
      Kliknutím sem můžete změnit nastavení reklam