タグ

関連タグで絞り込む (2)

タグの絞り込みを解除

lensに関するggkuronのブックマーク (3)

  • Lensメモ - DebugIto's diary

    ここ最近、少し思うところあってHaskellのLensについて勉強していた。 Lensに関するドキュメントをいろいろ探したが、このドキュメントが非常に分かりやすかった。 Zippers and lenses: http://www.scs.stanford.edu/14sp-cs240h/slides/lenses-slides.html#%281%29 "Real World Haskell"の共著者であるBryan O'SullivanによるStanford大の講義スライドらしい。Zipperから話を始めてLensの説明をしている。ZipperについてはすごいHにも解説があるので、Zipperをある程度理解していれば比較的カンタンに理解できる内容だろう。 ただ、講義スライドの(41)〜(47)あたりはこれだけでは少々わかりにくいと思った。ここはZipperからLensに話が移行すると

    Lensメモ - DebugIto's diary
    ggkuron
    ggkuron 2015/01/03
  • Lenses, Stores, and Yoneda

    Lenses, Stores, and Yoneda Posted by Bartosz Milewski under Category Theory, Functional Programming, Haskell, Lens, Programming [13] Comments Edward Kmett’s lens library made lenses talk of the town. This is, however, not a lens tutorial (let’s wait for the upcoming Simon Peyton Jones’s intro to lenses (edit: here it is)). I’m going to concentrate on one aspect of lenses that I’ve found intriguing

    Lenses, Stores, and Yoneda
  • Lensを使うぜ! - モナドとわたしとコモナド

    パッケージをインストールするぜ!そしてさっそくghciを起動するぜ! $ cabal install lens $ ghci GHCi, version 7.6.3: http://www.haskell.org/ghc/ :? for help Loading package ghc-prim ... linking ... done. Loading package integer-gmp ... linking ... done. Loading package base ... linking ... done. Prelude> import Control.Lens Prelude Control.Lens> タプルから値を取り出すぜ! > (1,1,4,5,1,4) ^. _3 4 リストの要素も取り出せるぜ!勿論範囲外の値は取れないけどな! > [1,1,4,5,1,4]

    Lensを使うぜ! - モナドとわたしとコモナド
    ggkuron
    ggkuron 2014/06/01
  • 1