• ú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í
      LISKNI_SI
      LISKNI_SI --- ---
      +1
      LUDWIG_: Úplně podobný to asi nebude, protože jestli tomu dobře rozumím (jakože spíš ne), tak Scala 3 kód může klidně záviset na knihovně ze Scaly 2, protože runtime je JVM.
      LUDWIG_
      LUDWIG_ --- ---
      1 odpověď+1
      Scala 3 je tu:
      Scala 3
      https://dotty.epfl.ch/

      Co myslite? Bude to podobne jako s Python 2 vs 3? :D
      LUDWIG_
      LUDWIG_ --- ---
      +2
      Announcing Dotty 0.21.0-RC1 - explicit nulls, new syntax for `match` and conditional givens, and more
      https://dotty.epfl.ch/blog/2019/12/20/21th-dotty-milestone-release.html
      LISKNI_SI
      LISKNI_SI --- ---
      S kým se potkáme v pondělí v Praze na http://www.elixirconf.eu/? :-)
      LITTLELI
      LITTLELI --- ---
      1 odpověď+3
      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_ --- ---
      1 odpověď
      LITTLELI: nejaky zazitek z after-party?
      LITTLELI
      LITTLELI --- ---
      1 odpověď+1
      ...nebo společně s prof. Wadlerem pátrat po osudu Gerharda Gentzena ;)
      LUDWIG_
      LUDWIG_ --- ---
      +1
      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 --- ---
      2 odpovědi+1
      SATAI: Ma to nejakou pridanou hodnotu? Stejne to bude pozdeji na YT.

      Po par konferencich me to uplne prestalo bavit :-(
      SATAI
      SATAI --- ---
      1 odpověď+2
      Chystate se nekdo na lambda days?
      Lambda Days 2019
      http://www.lambdadays.org/lambdadays2019
      LUDWIG_
      LUDWIG_ --- ---
      +1
      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 --- ---
      1 odpověď
      Zkoumal tady už někdo Pony? .)
      MARASAN
      MARASAN --- ---
      +2
      Type Theory and Functional Programming
      https://www.cs.kent.ac.uk/people/staff/sjt/TTFP/
      UETOYO
      UETOYO --- ---
      +1
      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 --- ---
      1 odpověď+3
      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 --- ---
      1 odpověď
      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/
      Kliknutím sem můžete změnit nastavení reklam