#DataMigrationNight にて発表したスライドです
![2000万アカウントの無停止データ移行の裏側](https://cdn-ak-scissors.b.st-hatena.com/image/square/bb5c0410fa2f223b48e13852b788d51347cc2591/height=288;version=1;width=512/https%3A%2F%2Ffiles.speakerdeck.com%2Fpresentations%2Fe775d98d64be46aa9492619fb3a00552%2Fslide_0.jpg%3F8027646)
圏論勉強会の資料 によれば、 と自由な構成 について、 を与えると が得られるとある。 自由モナドの文脈でこれを考えると、関手 からモナド (の構造を忘れて関手と思ったもの)への自然変換を定義すれば、自由モナド からモナド への自然変換(正確にはモナドモーフィズム)が得られるという意味となる。 free パッケージにこの対応関係に相当するものは入ってないのかなと探してみたら、 Control.Monad.Free.Church というモジュールで定義されていた。 foldF :: Monad m => (forall x. f x -> m x) -> F f a -> m a The very definition of a free monad is that given a natural transformation you get a monad homomorphism. ht
気持ち 個人メッセージはなるべく使いたくない 秘密に必要のないものまで見えなくすると、共有漏れや追加の共有などが必要になりコミュニケーション効率が悪化してしまう 知りたいと思った人が自分で情報に到達できる状況を保っていきたい なんか発言しにくい! と思う瞬間 別の話題について話している しかし私は別件の相談がしたい デザイナーの人に相談したいがデザイナーチャンネルみたいなところに書き込むのに心理的障害がある 居心地の悪さ(?) 他の人の家に上がり込んでるみたいな? 個人の感覚によるところが大きそう 状況 チャネルは組織単位の物が多い 一部、ソースコードリポジトリと対応するような単位のものがある iOSチャンネルに iOS エンジニアと担当のデザイナがいるみたいな感じ コンテクストに応じてチャンネルをばかすか作ってガンガンアーカイブしていく運用はどうか? 急にそういう雰囲気にするのは難しそう
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く