この広告は、90日以上更新していないブログに表示しています。12月でアドカレ始まったかーと思ってたらもうクリスマスイブで自分の番ですよ。今年のブログ更新もどうせこれが最初で最後でしょう。ついて少し試した感想を。公開されていたので、そちらもどうぞ。そんな継続モナドのモナドトランスフォーマー版です。おいても継続モナドは実用的なツールの一つです。labs.septeni.co.jpなどなど。公私ともにお世話になってたり。使って実装されたライブラリとの組み合わせが悪くなってしまったのでした。解消されたのかなーといった感じでやったー!みたいな気持ち、のはずでした。モナドに積んで試してみましょう。なんら意味のないコードですが。Some(1224)いいかんじですね。同じことをやってみます。なんか暗黙の値が無いよって怒られてますね。型クラスのインスタンスであることが求められています。生成の際に中身の生成を遅らせられることを要求します。インスタンスに限り、下記もインスタンスになります。積めない(積めるけど合成できない)ということになります。そのあたりはまた別の記事で。モナドに積んでやれば元の(?)シンプルな定義を得られるといった具合です。式での合成ができません。使うことで回避することが可能ですが、果たして。FromFn(AndThen$627616169)ってな具合で、使う場合はどこでもまずはモナドトランスフォーマー版から始めなきゃいけないのも手間ですね。問題なかったりで、実用上はそこまで困らない(はず)って印象です。いう事実は大きいので、これからじゃんじゃん使い倒していくぞという気持ちです。ありがとうございます。強制するのがやっぱり良くないのではって気がしなくもない*5:https://github.com/scalaz/scalaz/blob/v7.2.27/core/src/main/scala/scalaz/package.scala#L320-L323*6:ちゃんと調べられておらず、理論的に実装不可か、それとも頑張れば定義できるがまだ入っていないだけなのかは不明なので「現時点の実装ではできない」という事実のみ。それ以外の意味はありません。評価を制御できるようにするデータ型で、モナドです。アドベント...2015-12-23Platedとは何なのか?この記事はadventar版Scalaアドベントカレンダーの21日目です。...2015-09-16MonocleとScalazにcontributeした話わざわざ丁寧に書く内容ではないよなーとか思ってたので書くつ...2015-07-15「Scalaに存在演算子を求めるのは間違っているだろうか」をLens/Prismで解いてみる元の記事はこちらです。去年末くらいからぼちぼち触り始めてたけど今更知った。»プロフィールid:Aoino新宿でScala書くお仕事してます。モナモナした話が大好きです。(3)はてなブログをはじめよう!Aoinoさんは、はてなブログを使っています。ブログを報告するスターをつけました引用をストックしましたストック一覧を見る閉じる引用するにはまずログインしてくださいログイン閉じる引用をストックできませんでした。再度お試しください閉じる限定公開記事のため引用できません。