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.
KAMAHL --- 11:26:24 18.3.2014
Kdyby to někoho zajímalo, bylo mi na Coq doporučeno http://www.cis.upenn.edu/~bcpierce/sf/ a http://adam.chlipala.net/cpdt/ ale ještě jsem se do toho pořádně nedíval, nechám si to tu jako poznámku pro sebe :D
LUDWIG_ --- 14:51:37 17.3.2014
KAMAHL: pokud ciste "dependent types", tak Agda ci Idris bude asi lepsi volba: [ LUDWIG_ @ Funkcionální programování (Haskell, LISP, XQuery, OCaml, F#, Scala, ...) - praxe, teorie a uplatnění ]

Idris je prakticky programovaci jazyk, zatimco Coq a Agda jsou spis pomocny software pro matematicke dukazy :)
Jinak tady je kdyztak nova prednaska o Idrisu:
Edwin Brady - Idris: Programming with Dependent Types
http://vimeo.com/83665028
KAMAHL --- 14:39:52 17.3.2014
Inspiroval mě tenhle článek http://blog.ezyang.com/2014/03/haskell-for-coq-programmers/ ale chtěl bych to naopak :D
KAMAHL --- 14:36:20 17.3.2014
Tak primárně by mě v tuhle chvíli zajímalo vyzkoušet si něco s "dependent types" (má to už ustálený český ekvivalent?) Na konkrétním jazyku vlastně až tak nezáleží.
Víte o nějaké srozumitelně zpracované teorii přímo k tomuhle tématu? Tak nějak si to představuju, že type checking bude něco jako inference v prologu, ale to to je asi dost naivní, nebo ne?
LUDWIG_ --- 14:28:56 17.3.2014
KAMAHL: ja zkousim zacit Agdou, ktera je takova haskellovitejsi, a pak jit na to jednoduchyma dukazama v Coqu... nevim, jestli je to nejlepsi postup, jak se naucit Coq - takze mam stejny dotaz :)
KAMAHL --- 12:58:49 17.3.2014
Nějaké tipy, kde začít, když se chci naučit Coq? A jakou teorii bych si před tím eventuálně měl nastudovat. Řekněme, že v se cítím docela sebevědomě v základech jazyků jako haskell nebo prolog, ale už ne v jejich pokročilejších aspektech.
LUDWIG_ --- 16:01:58 10.2.2014
WILD_A: "z toho co jsem mel moznost cist" je zbytecne mnoho pesimismu z tech novych Phillipsovo prednasek :)
LUDWIG_ --- 15:51:38 10.2.2014
jinak tady jsou ty alternativni kolekce pro scalu:

paulp/psp-view · GitHub
https://github.com/paulp/psp-view
ALMAD --- 12:17:24 10.2.2014
LUDWIG_: WILD_A: Flame dokoncen v poste, nevim nakolik tim zasirat kluby ;)
WILD_A --- 9:43:31 10.2.2014
Python pouziva mnohem vic lidi nez scalu, takze takovej skok by scalu fakt asi zrusil, coz nevim jestli by nakonec nebylo spis dobre z toho co jsem mel moznost cist :)