• ú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 --- ---
      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_ --- ---
      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
      F89
      F89 --- ---
      ±0
      Snad se nebudete zlobit, kdyz to zkusim i tady...
      Hleda se senior developer! Takovej, kteryho bavi technologie (treba Elixir a Reason), sleduje a chce zkouset novy veci a zaroven je predavat do svyho tymu, ktery je schopen tak trochu vest, mentorovat a vzdelavat. Ceka na nej parta mladych lidi s plochou organizacni strukturou a zapalenim pro vec, kde ho nebude nikdo buzerovat, ale naopak inspirovat - to by tam melo probihat vzajemne. :)

      Kdyz tak napis do zprav, podam vic info!
      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
      F89
      F89 --- ---
      +2
      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_ --- ---
      +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/
      Kliknutím sem můžete změnit nastavení reklam