第46回 ヒープ・プロファイラで領域漏れを探る
Haskellは遅延評価を採用した言語です。第9回では，遅延評価によってプログラムの実行が効率的になる場合がある一方，遅延評価が原因で領域漏れ（スペース・リーク）が発生する可能性があることを説明しました。 プログラムの中で領域漏れが生じている個所は，一見しただけではなかなかわかりません。そこでGHCなどのHaskell処理系では，ヒープの使用状況を見るためのプロファイラが用意されています。今回は，ヒープ・プロファイラの情報を手がかりにして領域効率の問題がある個所を探す方法を説明します。 今回の記事には一つ注意点があります。この記事で使用する例や分析は，2011年3月3日にリリースされたGHC 7.0.2でのコンパイル結果に基づくものです。将来のGHCでは，最適化機能やライブラリの改善などによって，異なる結果になる可能性があります。実際にプログラムを効率化する際には，使用する処理系での結果に
Freeモナドを超えた！？operationalモナドを使ってみよう - モナドとわたしとコモナド
限定版IOみたいなモナドを簡単に作れたら、コードが分離できるしテストもしやすくなるのになあ… 数か月前なら、 それ、Freeモナド*1でできるよ！ と返されるだろう。だが今は違う。Freeモナドよりも簡単にモナドを作れるモナド、Operationalモナドがあるのだ。 Freeモナドについて復習しよう。FreeモナドはFunctorを基にMonadを作れる構造であり、Functorで自分自身を包むことによってモナドの力を得ている*2。FunctorそのものはDeriveFunctor拡張を使って簡単に作れる。 {-# LANGUAGE DeriveFunctor #-} import Control.Monad.Free data CharIO a = PutCh Char a | GetCh (Char -> a) | LiftIO (IO a) deriving Functor put
そろそろFreeモナドに関して一言いっとくか - モナドとわたしとコモナド
Freeモナドはすごい。 Haskellを書いていて、「特殊化された処理を記述するモナドが簡単に作れたら便利だろうなー」と思ったことはないだろうか？簡単に作れるのである、そう、Haskellならね。 これが、純粋なFreeモナドの定義である。 data Free f a = Pure a | Free (f (Free f a)) instance Functor f => Monad (Free f) where return = Pure Pure a >>= k = k a Free fm >>= k = Free (fmap (>>=k) fm) (Functor、Applicativeのインスタンス宣言は自明なので省略) 与えられたFunctorをお互いに埋め込み合っている、という漠然とした印象で、何が嬉しいのかよくわからないかもしれない。だが、この単純さこそFreeモナドの便利
Free and Freer Monads
Introduction Classical monads Free Monad Profitable cheating Freer Monad Definitional interpreters for effects Performance Conclusions Introduction Writing Monad (and now, Applicative and Functor) instances and making sure the monad laws hold are a big part of defining a monad and even a bigger part in exponentially procreating monad tutorials. We argue that all these instances are boilerplate --
未来のCPUの機能をカーネルのちからで現代のCPU上でも実行可能にする - pixiv inside [archive]
ピクシブ株式会社 Advent Calendar 2015の3日目の記事になります。 いま画像処理の仕事をしているエンジニアの saturday06 です。 最近仕事でアセンブラに触れたので、この記事ではそれに関連して趣味でやった開発について書きます。 未来のCPUの機能・AVX512命令 AVX512命令という、512ビットのデータをいっぺんに扱うことができるCPUの機能がIntelから発表されています。 AVX-512 instructions | Intel® Developer Zone AVX-512 - Wikipedia, the free encyclopedia AVX512命令はいわゆるSIMDと呼ばれる系列の命令です。最近画像処理系の仕事でSIMDが必要になったり、また7月に社内で行われた勉強会 でもSIMD押しだったため、最新な命令であるAVX512もちょっと見てい
![未来のCPUの機能をカーネルのちからで現代のCPU上でも実行可能にする - pixiv inside [archive]](https://cdn-ak-scissors.b.st-hatena.com/image/square/ad5c64912b5d29a947feed93b97fd51f34e27e08/height=288;version=1;width=512/https%3A%2F%2Fogimage.blog.st-hatena.com%2F11696248318756278971%2F6653586347147076734%2F1449140542)
ハイコンテキストな定数・記号の解釈 - 檜山正幸のキマイラ飼育記 (はてなBlog)
演算子オーバーロードに関する記事「コンピュータは「掛け算は足し算とする」を理解できるか」に対して、id:kmizushimaさんとid:matarilloさんが、それぞれScala、F#で対応するサンプルを書いてくださいました。ありがとうございます。 https://github.com/kmizu/tropical https://gist.github.com/matarillo/7502d98b8d46f56b4546 記事は http://haskell.g.hatena.ne.jp/matarillo/20151207/1449485837 Scala、F#でも、C++と同じことができるのが分かります。 でもね、まだ不満があるんですよ。 ソースコード内で 1 + 1 と書けば、さすがにこれは2になります。数値をmin-plus半環の要素だと思って書いても、コンパイラは心のなかまで
無限ループから抜け出すプログラム - Qiita
Haskell は簡単に無限ループを作れる。 もちろん他の言語でもwhile(1)とすれば簡単に作れるけど、じゃあその無限ループから脱出するbreakに相当する機能をHaskellでも作れるだろうか。 (｀･ω･´) 実際に作ってみた。 import Control.Monad.Cont main :: IO () main = do putStrLn "Start" withBreak $ \break -> forM_ [1..] $ \i -> do liftIO . putStrLn $ "Loop: " ++ show i when (i == 5) $ break () putStrLn "End" where withBreak = flip runContT pure . callCC
FRILの商品検索をnGramから形態素解析にした話 - mosowave
この記事はElasticsearch Advent Calendar 2015の7日目のエントリです。 こんにちは、ファッションフリマアプリFRILを運営しているFablicでエンジニアをしている@sinamon129です。 FRILの商品検索はElasticsearchを使っていて、最近nGramベースだったものを形態素解析ベースに変更しました。 その経緯やどういう手順で行ったかを書こうと思います。 主にユーザー辞書とsynonym辞書の構築の話がメインです。 どうしてnGramベースから形態素解析ベースに変更することになったか 関係ないものがなるべくひっかからないようにしたい nGramだとファーで検索したときに、ローファーやローリーズファームが引っかかり、本当に検索したかったものが出てこないという問題がありました。 （実際は出ているのだけども、埋もれてしまっている状態） 同じ意味の単
特定秘密保護法：「憲法上問題」 検査院が支障指摘 - 毎日新聞
特定秘密保護法案の閣議決定を控えた２０１３年９月、法が成立すれば秘密指定書類が会計検査に提出されない恐れがあるとして、会計検査院が「すべてを検査するとしている憲法の規定上、問題」と内閣官房に指摘していたことが分かった。検査院は条文修正を求めたが、受け入れられないまま特定秘密保護法は成立。内閣官房は修正しない代わりに、施行後も従来通り会計検査に応じるよう各省庁に通達すると約束したが、法成立後２年たっても通達を出していない。【青島顕】 毎日新聞が情報公開請求で内閣官房や検査院から入手した法案検討過程の文書で判明した。１０日で施行１年を迎える特定秘密保護法の１０条１項は、秘密を指定した行政機関が「我が国の安全保障に著しい支障を及ぼすおそれがある」と判断すれば、国会などから求められても秘密の提示を拒むことができるとしている。 この記事は有料記事です。 残り1179文字（全文1543文字）
制約充足問題として最強のボジョレーを求める - Debug me
ちゃお......舞いおりん......† 今回は#ajiting Advent Calendar 2015の8日目ということでVOYAGE GROUPの多目的スペースAjitoにむりやり絡めて話そうと思います。 はじめに 先月の話になってしまいますが、今年もボジョレーヌーボーが解禁されました。 解禁日はAjitoでも終業後に飲んでる人がちらほらいたそうです (私はその日体調悪くて家に直帰しました...†) さてボジョレーヌーボーといえば、毎年公開されるキャッチコピーが話題ですね。Wikipediaに年ごとのものが載っているのでちょっと挙げてみますとこんな感じです。 1995年「ここ数年で一番出来が良い」 1996年「10年に1度の逸品」 1997年「まろやかで濃厚。近年まれにみるワインの出来で過去10年間でトップクラス」 1998年「例年のようにおいしく、フレッシュな口当たり」 1999
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
秘密保護法 憲法上問題点指摘 - NHK 首都圏 NEWS WEB
Bitbucket | The Git solution for professional teams
bitbucketの使い方