• ú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í
    LUDWIG_
    LUDWIG_ --- ---
    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 --- ---
    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_ --- ---
    Effective Programming in Scala | Coursera
    https://www.coursera.org/learn/effective-scala
    LUDWIG_
    LUDWIG_ --- ---
    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_ --- ---
    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 --- ---
    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_ --- ---
    Scala 3 je tu:
    Scala 3
    https://dotty.epfl.ch/

    Co myslite? Bude to podobne jako s Python 2 vs 3? :D
    LUDWIG_
    LUDWIG_ --- ---
    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 --- ---
    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
    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ý.
    Kliknutím sem můžete změnit nastavení reklam