• ú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_ --- ---
    1 odpověď
    A celkem taky ulet, ze zrovna Fortnite dostal jako prvni takovy celkem pokrocily programovaci jazyk. Docela dnesni mladezi zavidim :-D
    LUDWIG_
    LUDWIG_ --- ---
    V te prednasce jen zminoval
    Icon (programming language) - Wikipedia
    https://en.wikipedia.org/wiki/Icon_(programming_language)
    LUDWIG_
    LUDWIG_ --- ---
    1 odpověď
    SATAI: to programovani s existencnimi promenymi mi propomnelo trochu https://ncatlab.org/nlab/show/NuPRL (coz neni programovaci jazyk, ale logicky system)
    Zeptal se tam nekdo Tima/SPJ na to, jestli se tim inspirovali?
    SATAI
    SATAI --- ---
    1 odpověď
    LUDWIG_: tahle byla moc pěkná... Druhá půlka teda
    LUDWIG_
    LUDWIG_ --- ---
    1 odpověď+2
    Beyond functional programming: a taste of Verse. Simon Peyton Jones & Tim Sweeney | Lambda Days 2023
    https://www.youtube.com/watch?v=OJv8rFap0Nw
    SATAI
    SATAI --- ---
    Btw jedete letos někdo na Lambdadays?

    Teď jsem k odchycení v bistrovoze, zítra po barech a pak na konferenci ;-)
    SMRADOCH
    SMRADOCH --- ---
    +1
    LITTLELI: nova url: https://www.matfyz-alumni.cz/clanky/putovani-po-hrobech-slavnych-matematiku-fyziku-astronomu-xix-dablicky-hrbitov
    UETOYO
    UETOYO --- ---
    +1
    GitHub - andorp/order-taking: Idris version of Domain Modeling Made Functional Book.
    https://github.com/andorp/order-taking
    UETOYO
    UETOYO --- ---
    +1
    Někdo to nemá rád, já to miluju: porovnávání jazyků :)
    Zajímavé od bodu https://contributors.scala-lang.org/t/scala-3-very-impressive-it-can-replace-python-i-think/4768/11
    F# vs Scala, leitmotiv: jednoduchost
    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/? :-)
    Kliknutím sem můžete změnit nastavení reklam