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.
LUDWIG_ --- 7:51:33 21.6.2013
jak spravne designovat map/reduce programy? pomoci monoidu: http://arxiv.org/abs/1304.7544
LUDWIG_ --- 17:46:17 4.5.2013
Idris -
http://idris-lang.org/

docela zajimavy jazyk inspirovany haskellem, co ma "dependent types" - tedy datove typy, ktere muzou mit predikaty na hodnoty, cimz se muze definovat chovani programu a overit ho staticky (trochu neco jako pokrocile assertions v jml pro javu)
LITTLELI --- 0:44:24 29.3.2013
LUDWIG_: mě spíš zaskočil ten Java Interop v Clojure. Kdo by řekl, že psát javu pomocí clojure lze velmi efektivně a hlavně o polovinu méně.
BROUKOID --- 10:32:13 20.3.2013
LUDWIG_: megalol :)
BROUKOID --- 16:30:34 14.3.2013
LUDWIG_: asi jsem zbytecne pesimisticky - pokud to znamena, ze firmy akceptuji ve vetsim meritku existenci funkcionalnich jazyku, je to uz jenom detail :)
LUDWIG_ --- 15:32:26 14.3.2013
BROUKOID: no, pointa je, ze nez se k temhle vecem dostanou, meli by uz mit zvladnuty nejaky zaklady a mysl nastavenou tak, ze k tomu nebudou tolik sklouzavat... zatimco do scaly se muzou vesele vrhnout s presvedcenim, ze to je java s mensim poctem slozenych zavorek :)
BROUKOID --- 22:27:58 13.3.2013
LUDWIG_: stejne se obavam, ze po zvladnuti zaludnosti "syntaxe" lispu by nakonec objekto-proceduralne psali i v Clojure (koneckoncu v lispu se da psat imperativne celkem snadno) - a dovedu si predstavit, ze nekteri "experti" by i v haskellu dokazali vytvorit temer kompletne imperativni kod, jen co by objevili IO :)