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_ --- 19:31:04 21.5.2014
LISKNI_SI --- 1:31:58 20.5.2014
IRAVEN: To fakt obecně nejde, protože taková funkce není vyčíslitelná. Představ si, že ta vstupní "množina" jsou právě všechny dvojice turingův stroj a jeho akceptující běh (tj. ta fce A → bool ověřuje, zda je to korektní zadání a zda to je skutečně akceptující běh toho stroje) a že ta transformace z toho vymaže ten běh (tj. tu dvojici transformuje jenom na to zadání turingova stroje). Tohle obojí jsou vyčíslitelné funkce, ale výsledkem té funkce by měla být množina všech turingových strojů, které zastaví. A ta rozhodně vyčíslitelná není.
IRAVEN --- 16:56:41 19.5.2014
Upřesním :). Mám definovaný datový typ "množina", který je daný pouze jako funkce A -> bool, která říká TRUE právě když prvek A do množiny patří. Potom mám funkci A -> A, která mi převádí prvky na jiné prvky, například násobí dvěma. No a cílem je napsat funkci, která vrací "množinu" (čili funkci A -> bool) která obsahuje prvky ze zadaná množiny transformované zadanou funkcí (je to funkce vyššího řádu).

Bavil jsem se o tom s kamarádem a došli jsme k tomu, že to zřejmě nejde bez nějaké iterace nad množinou (je potřeba cosi jako "exists").
KAMAHL --- 16:49:12 19.5.2014
IRAVEN: Moc nechápu zadání, nemohl bys dát příklady vstupu a požadovaného výstupu?
LUDWIG_ --- 9:50:28 19.5.2014
IRAVEN: "zda A do mnoziny patri" = typ A patri do mnoziny ruznych typu, nebo parametr :: A patri do mnoziny hodnot typu A?
LISKNI_SI --- 20:33:03 18.5.2014
IRAVEN: Jakože (. filter) . (.) . map? (Má to ty parametry opačně.)
IRAVEN --- 8:04:29 18.5.2014
jak byste napsali funkci map, ktera ma na vstupu tyto parametry: funkce A -> bool ktera rika, zda A do mnoziny patri, a A -> B pro transformaci? a jde to vubec? mne prijde, ze bez inverzu B -> A ne...
LITTLELI --- 22:00:21 5.5.2014
LUDWIG_: jak už jsem tu psal, tohle typový peklo mi přijde naprosto nadbytečný
LUDWIG_ --- 15:09:53 5.5.2014
LITTLELI: proc?
LITTLELI --- 17:11:52 4.5.2014
LUDWIG_: tohle je děsivý :)