force=call/cc説

わさびず @___yuni

schemeのforceがcall/ccであることに気づいて朝めっちゃ感動した

stibear @stibear1996

@___yuni mjd

わさびず @___yuni

@stibear1996 syd

stibear @stibear1996

forceがcall/ccとは？

stibear @stibear1996

Schemeのforce call/cc説とは

でこれき @dico_leque

(delay exp) ≡ (lambda (k) (k exp)) で (force p) ≡ (call/cc p) みたいな？

stibear @stibear1996

非限定継続でええんやろか？

わさびず @___yuni

@dico_leque ですです

わさびず @___yuni

@stibear1996 でこれきさんのツイ参照

stibear @stibear1996

@___yuni 見た

stibear @stibear1996

https://t.co/VDZARVYKlN なんでcall/ccでいいのかわからないので手元で検証してる

わさびず @___yuni

promiseはモナド

ころ @koropicot

@dico_leque これcall/cc使う意味なんなんです？

stibear @stibear1996

call/ccだと強すぎる気がするんだよね

ころ @koropicot

(delay exp) ≡ (lambda () (exp)) (force p) ≡ (p) じゃあかんの？

ころ @koropicot

schemeの構文がよく分からないので無引数関数がこれで良いのかは謎

わさびず @___yuni

非同期promiseを考えるとforceはcall/cc

ころ @koropicot

call/ccのが間違ってると言いたいわけじゃなく、たしかにそれでできるけどそのcall/cc必要なのかが分からない

stibear @stibear1996

@___yuni @dico_leque @koropicot ツイートを使わせていただきました。問題ありましたら対応しますのでご連絡ください。 http://t.co/i9ZuwOFoME

stibear @stibear1996

あーcall/ccでも良さそう

stibear @stibear1996

call/ccへの理解がやはり足りないという感じだった

stibear @stibear1996

https://t.co/1Fhk73rS7c なるほど

でこれき @dico_leque

@koropicot さあ？ delay を CPS で書くのは合成しやすくするためで、 force は (λ (x) x) を渡して結果を受け取ってやれば同じだけど、概念としては call/cc を使った方が直接的とか？

ころ @koropicot

@dico_leque CPSで書くと合成しやすくなるってどういうことです？

でこれき @dico_leque

@koropicot CPS の方はモナドとして合成できる。 thunk の方もコモナドだと思って合成すればよい……？