úvod
témata
události
tržiště
diskuze
nástěnka
přihlásit
přezdívka
heslo
přihlásit heslem
přihlásit přes passkey
pamatuj si mě
registrace
ztracené heslo?
Funkcionální programování (Haskell, LISP, XQuery, OCaml, F#, Scala, ...) - praxe, teorie a uplatnění
LUDWIG_
---
---
4:04:27 28.7.2021
+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
---
---
11:59:29 26.7.2021
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_
---
---
10:41:11 23.5.2021
F# Developer in Prague – CN Group
https://www.cnjobs.dk/position/f-developer/prague
LUDWIG_
---
---
1:10:05 18.5.2021
+1
Effective Programming in Scala | Coursera
https://www.coursera.org/learn/effective-scala
LUDWIG_
---
---
3:54:40 15.5.2021
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_
---
---
3:51:52 15.5.2021
+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
---
---
0:14:06 15.5.2021
+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_
---
---
3:17:32 14.5.2021
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_
---
---
4:29:49 23.12.2019
+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
LISKNI_SI
---
---
20:36:54 5.4.2019
S kým se potkáme v pondělí v Praze na
http://www.elixirconf.eu/?
:-)
LITTLELI
---
---
13:51:06 16.2.2019
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_
---
---
1:56:29 15.2.2019
1 odpověď
LITTLELI
: nejaky zazitek z after-party?
LITTLELI
---
---
1:02:47 15.2.2019
1 odpověď
+1
...nebo společně s prof. Wadlerem pátrat po osudu Gerharda Gentzena ;)
LUDWIG_
---
---
0:29:22 7.2.2019
+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
---
---
18:12:14 6.2.2019
JINX
: sem jedu poprvé
JINX
---
---
17:56:00 6.2.2019
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
---
---
15:44:43 6.2.2019
1 odpověď
+2
Chystate se nekdo na lambda days?
Lambda Days 2019
http://www.lambdadays.org/lambdadays2019
LUDWIG_
---
---
17:10:02 15.10.2017
+1
PyFunctional by EntilZha
http://www.pyfunctional.org
LITTLELI
---
---
11:43:18 22.9.2017
já si myslím, že zrovna actor model si vlastní jazyk/y a asi i platformu celkem zaslouží
UETOYO
---
---
10:55:16 20.9.2017
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ý.
<<
<
automatické načítání
>
>>
Kliknutím sem můžete změnit nastavení reklam