• ú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í
      LUDWIG_
      LUDWIG_ --- ---
      +1
      UETOYO: me na Excelu v poslednich verzich fascinovala synteza dat (pripadne i formuli/kodu) na zaklade ukazek:
      Flash Fill (Excel feature in Office 2013) - Microsoft Research
      https://www.microsoft.com/en-us/research/project/flash-fill-excel-feature-office-2013/

      V tomhle byl Excel dost napred pred jinyma IDE (pokud budeme povazovat Excel za programatorske prostredi :)).
      Ted uz je neco podobneho konecne mozne ve VSCode:
      GitHub Copilot · Your AI pair programmer
      https://copilot.github.com/
      UETOYO
      UETOYO --- ---
      1 odpověď+3
      LUDWIG_: Tohle je velmi zajímavý odkaz, minimálně když se proklikáš na ty konferenční články, kde spreadsheet probíraj z teoretického hlediska. Jak nenávidím Excel, tak spreasheet jako koncept, má naprosto nevyužitý potenciál.
      LUDWIG_
      LUDWIG_ --- ---
      F# Developer in Prague – CN Group
      https://www.cnjobs.dk/position/f-developer/prague
      LUDWIG_
      LUDWIG_ --- ---
      +1
      Effective Programming in Scala | Coursera
      https://www.coursera.org/learn/effective-scala
      LUDWIG_
      LUDWIG_ --- ---
      1 odpověď+1
      Jinak Excel uz je plnohodnotny funkcionalni jazyk:
      LAMBDA: The ultimate Excel worksheet function - Microsoft Research
      https://www.microsoft.com/en-us/research/blog/lambda-the-ultimatae-excel-worksheet-function/
      :D
      LUDWIG_
      LUDWIG_ --- ---
      +1
      Dalsi rozdil je, ze mezi Scalou 2 a 3 se objevil Kotlin a vysla Java 11, 16… a diky tomu odpada motivace pouzivat Scalu jako lepsi Javu, coz IMHO pred temi 10 lety prispelo/bylo jednim z duvodu rozmachu komercniho pouzivani Scaly.

      Scala 3 tak mozna bude spis vic akademickym jazykem.
      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? .)
      Kliknutím sem můžete změnit nastavení reklam