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:ちゃんと調べられておらず、理論的に実装不可か、それとも頑張れば定義できるがまだ入っていないだけなのかは不明なので「現時点の実装ではできない」という事実のみ。それ以外の意味はありません。評価を制御できるようにするデータ型で、モナドです。試してみたTweet広告を非表示にするもっと読むコメントを書く2017-09-03近況とかaoino.hatenablog.com以降の話をハイライトでお伝えします。資料作成に追われる現実逃避息抜きに書いています。進捗はどこに行ったのでしょうか。19:44近況とかTweet広告を非表示にするもっと読むコメントを書く2017-05-05退職しますちょっと数日たってしまいましたが、日記です。2017年5月2日マーベリック株式会社を退職します。書くお仕事してる人です。ライブラリのコミッターだったりする人です。あと、猫が大好きです。振り返って振り返ってみて、自由な社風でとてもいい会社だったなと思ってます。活動に対する理解があった故でしたし。実装から各種テスト、デプロイ体制の整備あたりまで一通り担当できてとても自信に繋がりました。入社してから約二年半という短い期間で様々なことに取り組めましたしとても素晴らしい経験をすることが出来ました。長期的な観点で考えた時に環境を変えて新たな業種での開発もしてみたいと思ったのが理由です。前向きなので特別なネタは無いですが、そのあたり聞きたい方は肉or寿司の場で(ぇまとめとかとりあえず5月一杯の有給消化期間を全力でまったりと(?)進捗を出していこうかなと思っています。次どこで何をするかは諸々確定してから改めて書く予定です。お世話になった皆さん、本当にありがとうございました。今後とも引き続きよろしくお願い致します。記事を書くまでがイベントです。カンファレンスで、2015年に初開催。Lens/Prism」です。上げてありますので見直したい方はどうぞ。Aoyamawww.slideshare.net以下、思い出とか発表の背景とか。開いて発表しようと考えていたんですが試しにプロジェクターと接続した瞬間レイアウト完全崩壊。ページを境にざっくり前半と後半部分に分かれています。