Zipper関連のパッケージ - DebugIto's diary
先日コーディングしていてZipperが必要になる場面に出くわした。それは単純なList zipperだったので自前で実装して済ませたが、ふと、汎用的なZipperライブラリがあるかどうかが気になったので、少し調べた。 syz syz: Scrap Your Zippers Dataクラスインスタンスのデータ型からZipperを作れる。 データコンストラクタで作られるツリーをたどるようなものに見える。 traverse-with-class traverse-with-class: Generic applicative traversals 依存関係が小さい syzの改良版らしい。 GTraversableという独自クラスのインスタンスについてZipperを作る(？) uniplate uniplate: Help writing simple, concise and fast gene
The Life Comonadic
A Brainfuck evaluator is interesting and all, but far too one-dimensional. Lets’s kick things up a dimension, it’s time for C++ template compile-time Conway’s Game of Life. This post translates a Haskell comonad based Life implementation into a C++ template meta-program. Much like with the Brainfuck evaluator, once you get over the syntax, C++ templates turn out to be a fairly competent functional
Final Zipper
Zipper: a derivative of a data structure or of its mapping Zipper from any Traversable Zipper-based file server/OS Delimited continuations in operating systems Double-generic zipWith, for any number of any collections Zipping through several data structures to compare and annotate them Zippers with several holes Generic crossover: zipping two zippers Zipper: a derivative of a data structure or of
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
What are the differences between lenses and zippers?
Scrap Your Zippers: A Generic Zipper for Heterogeneous Types
syz
