CPS a bind

[fajront]

Ahoj, učím se FP, abych byl aspoň schopen porozumět článkům o funkcionálním přístupu, a celkem chápu třeba Maybe. Teď jsem se dočetl, že kontinuace je také monáda, ale zaboha nejsem schopen napsat pro ni bind, tedy když mám hodnotu typu (A->R)->R, abych ji mohl dát do funkce beroucí na vstupu hodnotu typu A. Jde mi o vyjádření v nějakém ne čistě funkc. jazyce.

[Reklama]

[zboj]

Ahoj, učím se FP, abych byl aspoň schopen porozumět článkům o funkcionálním přístupu, a celkem chápu třeba Maybe. Teď jsem se dočetl, že kontinuace je také monáda, ale zaboha nejsem schopen napsat pro ni bind, tedy když mám hodnotu typu (A->R)->R, abych ji mohl dát do funkce beroucí na vstupu hodnotu typu A. Jde mi o vyjádření v nějakém ne čistě funkc. jazyce.

bind(m,f)=λg.m(λx.f(x)(g))

[v]

http://stackoverflow.com/questions/3322540/how-and-why-does-the-haskell-cont-monad-work

[zboj]

Ahoj, učím se FP, abych byl aspoň schopen porozumět článkům o funkcionálním přístupu, a celkem chápu třeba Maybe. Teď jsem se dočetl, že kontinuace je také monáda, ale zaboha nejsem schopen napsat pro ni bind, tedy když mám hodnotu typu (A->R)->R, abych ji mohl dát do funkce beroucí na vstupu hodnotu typu A. Jde mi o vyjádření v nějakém ne čistě funkc. jazyce.

Tak například ve Swiftu to je easy-peasy:

Kód: [Vybrat]

func contUnit<T>(_ x:T) -> ((T)->Any)->Any {
    return { $0(x) }
}

func contBind<T1,T2>(_ m:@escaping ((T1)->Any)->Any, _ f1:@escaping (T1)->((T2)->Any)->Any) -> ((T2)->Any)->Any {
    return { f2 in m{ f1($0)(f2) }}
}


[UF]

Nechci prudit ale k cemu je tohle dobre kdyz pominu mentalni cviceni a vubec vsechny mozne 'akademicke' duvody?

[Reklama]

[zboj]

Nechci prudit ale k cemu je tohle dobre kdyz pominu mentalni cviceni a vubec vsechny mozne 'akademicke' duvody?

Je to praktické a užitečné, ale je to vyšší level (liga). Senioři jsou mnohem produktivnější právě proto, že používají takové sofistikované postupy.

[UF]

Nechci prudit ale k cemu je tohle dobre kdyz pominu mentalni cviceni a vubec vsechny mozne 'akademicke' duvody?

Je to praktické a užitečné, ale je to vyšší level (liga). Senioři jsou mnohem produktivnější právě proto, že používají takové sofistikované postupy.

Takze pokud se na to budu divat jako na jazyk tak dva kteri pisou a ctou stejne jsou daleko efektivnejsi a mohou resit daleko slozitejsi ulohy.

[zboj]

Nechci prudit ale k cemu je tohle dobre kdyz pominu mentalni cviceni a vubec vsechny mozne 'akademicke' duvody?

Je to praktické a užitečné, ale je to vyšší level (liga). Senioři jsou mnohem produktivnější právě proto, že používají takové sofistikované postupy.

Takze pokud se na to budu divat jako na jazyk tak dva kteri pisou a ctou stejne jsou daleko efektivnejsi a mohou resit daleko slozitejsi ulohy.

Nebo nějakou běžnou úlohu mnohem rychleji.

[zboj]

Nechci prudit ale k cemu je tohle dobre kdyz pominu mentalni cviceni a vubec vsechny mozne 'akademicke' duvody?

P.S. "Akademické" postupy jsou obvykle rychlejší a bezpečnější právě proto, že jsou mnohem promyšlenější a abstraktnější, je to něco jako psát řekněme web server v asembleru vs. Javě. Jen ještě o úroveň výš.