Tento web používá soubory cookie. Dalším používáním webu s tímto souhlasíte.
jméno
heslo
přihlásit
zaregistrujte se
zapomněli jste heslo?
Funkcionální programování (Haskell, LISP, XQuery, OCaml, F#, Scala, ...) - praxe, teorie a uplatnění
LUDWIG_
A monad is just a monoid in the category of endofunctors, what's the problem? http://vimeo.com/38223410

[http://blogs.discovermagazine.com/loom/files/2008/07/y-combinator.jpg]

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
Máte k tomu co říct? Vložte se do diskuze.
F89 --- 16:24:44 12.6.2019
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 --- 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
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
LITTLELI: nejaky zazitek z after-party?
LITTLELI --- 1:02:47 15.2.2019
...nebo společně s prof. Wadlerem pátrat po osudu Gerharda Gentzena ;)
LUDWIG_ --- 0:29:22 7.2.2019
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
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
Chystate se nekdo na lambda days?
Lambda Days 2019
http://www.lambdadays.org/lambdadays2019
F89 --- 12:56:23 16.11.2017
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 ]

[https://scontent.fprg2-1.fna.fbcdn.net/v/t1.0-9/22780579_1955036338098258_4026729171565585422_n.jpg?oh=6f8eb8c8186e2ffc6684dcc8897cfd7e&oe=5A9F73D0]