モナド教
前提知識：モナド モナドを理解せずともモナド教を信ずることは出来ますが，理解していればより深く納得できるでしょう． 操作 :: 型 -> 型 は，"型"から"型"へ写す"操作"の存在を表します． モナドの文脈 m が必要とする2つの操作： return :: a -> m a で，値を保ちつつ文脈 m の中に入れ込むことが出来ます． (=<<) :: (a -> m b) -> (m a -> m b) で，「値を文脈に入った別の値へ写す操作」を「文脈に入った値を同じ文脈に入った別の値へ写す操作」に変換します． id :: a -> a は値をそのまま返す操作です． id を =<< で変換して得られる操作 join :: m (m a) -> m a で，二重に文脈に入った値を一重の文脈に入った値に戻すことが出来ます． 文脈の値から生の値を取り出す型 m a -> a を持つ操作は，一般
カメラを買ったから浅草のフクロウカフェへ撮影に行ってきたよ - 夜の庭から
2014-08-13 カメラを買ったから浅草のフクロウカフェへ撮影に行ってきたよ 徒然 突然ですが、カメラを買いました。ずっと一眼レフを購入しようかと迷いあぐねていたのです。しかし詳しい友人から「一眼はレンズにこだわるようになってからで良いのでは？」と助言をもらい、まずは撮る練習と画像整理の習慣をつけるためにPowerShot S120を購入しました。 コンデジはFinePixを持っていたんですけどね……。カメラ初心者が憧れる例の“背景ボケボケ画像”が撮れない機種だったので、思い切って新機種をゲット。未だ使いこなせていませんが、今のところは満足しています。 Canon デジタルカメラ PowerShot S120(ブラック) F値1.8 広角24mm 光学5倍ズーム PSS120(BK) 出版社/メーカー: キヤノン 発売日: 2013/09/12 メディア: Camera この商品を含
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
