F# でFree MonadとOperational Monad

ぽけば @pocketberserker

@gab_km そのままだとたぶん無理ですね

安心沢ガブ美 @gab_km

@pocketberserker さっきふと思い立って書いてみたら、同じく Run が FS0670 で怒られた…。

ぽけば @pocketberserker

インターフェースとジェネリックをこねこねしたらなんとかなるかもしれないが…先は遠い

ぽけば @pocketberserker

@gab_km 正攻法は厳しいものですね…

ぽけば @pocketberserker

コンパイル通った…これほど信じられないコンパイルエラーは3時間ぶりだ

安心沢ガブ美 @gab_km

@pocketberserker やったねたえちゃん！ヾ(๑╹◡╹)ﾉ

ぽけば @pocketberserker

@gab_km まだだ、まだ終わらんよ！（テスト的な意味で）

ぽけば @pocketberserker

コンパイルできるしシグネチャも一見問題ないようにみえるが、はたして github.com/pocketberserke…

ぽけば @pocketberserker

型…型が…

ぽけば @pocketberserker

変位指定ください。それでなければたいぷいれーじゃさせてください…。

ぽけば @pocketberserker

うおー型があわないー

ぽけば @pocketberserker

お昼休憩時にも試してみたのだけど、CoYoneda動きそうで動かない。難しい…

ぽけば @pocketberserker

そういえば d.hatena.ne.jp/xuwei/20140613… で"Javaはtype erasureだから動くけどやりたくない"的なことが書かれていた部分があるけど、F# ではobj使って逃げようとしたら変位指定できないし型消えないのでInvalidCastで落ちました

ぽけば @pocketberserker

あと、型パラメータ(あの記事でいうX1など)を定義した後も、型推論使えなくてだいたい型指定するはめになった(これは私が勘違いしているだけかもしれない)

ぽけば @pocketberserker

せめて今日中におぺれーしょなる作り上げられればよいのだが…

ぽけば @pocketberserker

@gab_km 昨日のあれ、おぺれーしょなるのためのこよねだだったり

安心沢ガブ美 @gab_km

@pocketberserker 頑張ってくれー。オッサンは若者の成果をちょびっと拾わせてもらうだけじゃーヽ('ω')ﾉ三ヽ('ω')ﾉ

ぽけば @pocketberserker

@gab_km がんばるます

ぽけば @pocketberserker

Operationalさん、interpret内のbindに渡す関数の型がわからず一回休み

ぽけば @pocketberserker

そもそも勘違いしていた可能性

ぽけば @pocketberserker

Operationalできたかもしれないしできてないかもしれない github.com/pocketberserke…