HaskellのFusionがあれば速度と抽象化を両立できる - りんごがでている
データの分析をする際には配列やベクトルは欠かせないデータ構造です。 大体どの言語にも大体配列は用意されていて、そこにサンプルのデータ等を入れて統計量を計算したり関数に渡して回帰をしたりするわけです。 ベクトルという単位でデータの塊を扱うものの、実際のアルゴリズムではベクトル内の要素一つひとつを見ていって何か処理をしたり計算をすることが多いでしょう。 その際、命令型言語ではforループを陽に使って要素にアクセスすることになります。 簡単な例を見てみましょう。ベクトルv1とv2の内積を求める関数をC言語で書くと以下のようになります。 function dot(double* v1, double* v2, size_t n) { double s = 0.0; for (int i = 0; i < n; i++) { s += v1[i] * v2[i]; } return s; } 特に難
Shortcut fusion for pipes
Rewrite rules are a powerful tool that you can use to optimize Haskell code without breaking backwards compatibility. This post will illustrate how I use rewrite rules to implement a form of shortcut fusion for my pipes stream programming library. I compare pipes performance before and after adding shortcut fusion and I also compare the peformance of pipes-4.0.2 vs. conduit-1.0.10 and io-streams-1
hermit
hermit: Haskell Equational Reasoning Model-to-Implementation Tunnel HERMIT is a Haskell-specific toolkit designed to mechanize equational reasoning and program transformation during compilation in GHC. Examples can be found in the examples sub-directory. $ cd examples/reverse Example of running a script. $ hermit Reverse.hs Reverse.hss resume [starting HERMIT v1.0.1 on Reverse.hs] % ghc Reverse.hs
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Big Techday 6 - TNG Technology Consulting - From High-level Haskell to Efficient Low-level Code
