igrepのブックマーク - はてなブックマーク

igrep id:igrep

ブックマーク / nebuta.hatenablog.com (2)

Halide事始め - プログラミングの実験場
MIT Halide(http://halide-lang.org/)というC++の高速画像処理ライブラリが去年リリースされた。C++内のDSLを使っていて、画像処理を、計算のアルゴリズムアルゴリズム自体は副作用がなく、純粋関数的に定義される。実装の詳細（「スケジュール」）スケジュールは、計算の並列化と、複数の計算ステップの融合を最適化する方法を指定する。を分離した形で簡潔に書ける。凄いのは、抽象的に書いたアルゴリズムからライブラリによって低レベルコードを出力させたほうが、手書きでチューニングしたコードよりも速いことすらあること（という作者の主張）。たとえば最近開発されたlocal Laplacian filterというの複雑なアルゴリズム（http://people.csail.mit.edu/sparis/publi/2011/siggraph/、pixelwise ope
igrep 2014/02/01
“画像処理のアルゴリズムが純粋関数的に抽象的・簡潔に書くことが可能で、実装の詳細（「スケジュール」）は、アルゴリズムから分離して後から最適化できる。”

C++

画像処理

halide
リンク
GADTによるHaskellの型付きDSLの構築 - プログラミングの実験場
GADTについて、この解説が分かりやすい（英語）。 http://en.wikibooks.org/wiki/Haskell/GADT 背景 Haskell（というか関数型言語一般）の素晴らしい機能の一つ、代数的データ型を使うと、抽象構文木(AST)をHaskellの枠組みの中で表現できる。例えば、整数の足し算・引き算ならば、 data Exp = Const Int | Add Exp Exp | Subtract Exp Exp さらにこのASTを数値一般に使いたいので型パラメータrをつけて多相にしてみる。 data Exp r = Const r | Add (Exp r) (Exp r) | Subtract (Exp r) (Exp r) これを使えば、例えば(3 + 4) - 2という数式は、Subtract (Add (Const 3) (Const 4)) (Const
igrep 2013/10/14
“GADT(Generalized algebraic datatype)とは、多相のデータ型に対し、データコンストラクタの型を特化することができる仕組み（というのが私の理解）”

haskell

GADTs
リンク
1