• ú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
      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ží
      Kliknutím sem můžete změnit nastavení reklam