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.
ESTEN --- 14:14:34 27.9.2013
:)

Functional programming combines the flexibility and power of abstract mathematics with the intuitive clarity of abstract mathematics.

xkcd: Functional
http://xkcd.com/1270/
BROUKOID --- 14:13:29 4.9.2013
ESTEN: no to ja vim :) myslel jsem to spise tak, ze "opravdu bych chtel videt jak by toto nekdo na par slidech ukazoval v jave"
ESTEN --- 18:29:11 3.9.2013
BROUKOID: aby ne, kdyz je sussman spoluautor scheme ;)
BROUKOID --- 18:00:05 3.9.2013
LITTLELI: jako velkeho LISP-ofila me potesilo, ze vsechny ty veci predvadel v scheme :) .. a zminky o RMS me take potesily.. skoda ze se dnes venuje ruznym hadkam o to, co je svobodnejsi a nejsvobodnejsi a ne umele inteligenci..
LITTLELI --- 9:02:11 3.9.2013
We Really Don't Know How To Compute!
http://www.infoq.com/presentations/We-Really-Dont-Know-How-To-Compute
Gerald Jay Sussman compares our computational skills with the genome, concluding that we are way behind in creating complex systems such as living organisms, and proposing a few areas of improvement.
ANT_39 --- 16:11:41 1.9.2013
LUDWIG_: Ty bind1st apod. osobne nemam rad. V C++11 jsou lambdy, doufam, ze se budou pouzivat spis ty, imho je to citelnejsi.
LUDWIG_ --- 0:56:32 1.9.2013
ANT_39: diky za opravu, jsem to postnul v rychlosti. GCC je tam zmineny v Prior Art, dokonce ma i ten prepinac, co hodi warningy na mozne pure funkce, a ARMovsky prekladac ma __pure.

jeste par veci do skladacky, jak si z c++ udelat prijemnejsi jazyk:
stl - How can currying be done in C++? - Stack Overflow
http://stackoverflow.com/questions/152005/how-can-currying-be-done-in-c
Implementing Scala’s pattern matching in C++ | Statically Typed
http://staticallytyped.wordpress.com/2011/01/18/implementing-scalas-pattern-matching-in-c/
ANT_39 --- 20:35:05 31.8.2013
LUDWIG_: C++, ne C. FWIW, GCC umi __attribute__ ((pure)) v C i C++.
LUDWIG_ --- 15:19:10 31.8.2013
"pure" (bez vedlejsich efektu) anotace pro cecko:
http://isocpp.org/files/papers/n3744.pdf