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