モナドがいっぱい！YAPC::Asia 2014 - 半端なPHPDisでPHPerに陰で笑われないためのPerl Monger向け最新PHP事情Junichi Ishida
Haskell — ありえるえりあ
概要 HaskellのスレッドシステムとSTMについて調べたので、ここにまとめます。 Haskellのスレッドシステムは、予想よりも複雑でした。 Haskellの世界で閉じた処理ならば、比較的簡単なのですが、 FFI(Foreign Function Interface: 外部のCの関数を呼び出す仕組み)を使うと、 とたんに複雑になってしまいます。 一度に書くと、量が多いため、数回に分けて書こうと思っています。
第53回 repaを使って行列演算を並列化する
これまで並行処理のためのデータ型として，第12回ではTVar型やMVar型，第14回ではChan型やTChan型などを取り上げてきました。一方，並列処理のためのデータ型はあまり説明してきませんでした。取り上げたのは，第10回や第24回のコラムで説明したデータ並列Haskellの並列配列くらいです。 たしかに，並列HaskellやParモナドを利用すれば，並列処理のための特別なデータ型を使わなくても並列処理は可能です。しかし，目的とする処理の並列化に特化したデータ型が用意されているのであれば，それを利用したほうが簡単かつ効率的に処理を行えます。 そこで今回は，並列処理用のデータ型の一つとして提供されている「repa（REgular PArallel arrays）」の並列配列の基本を説明します。repaはデータ並列Haskellプロジェクトの一環として開発が進められているライブラリです。デー
Haskell での例外処理 - あどけない話
リツイート数が30を超えたので、Haskell での例外処理について説明します。僕が思うに、Haskell での例外処理が分かりにくいのには、2つ理由があります。 ライブラリの混乱 パラダイムの違い 歴史的経緯により、Prelude にも Control.OldException にも Control.Exception にも catch があります。歴史的経緯を説明するのは面倒なので、これだけ覚えて下さい。「Control.Exception だけを使って、それ以外は忘れる」 そもそも純粋関数型で catch とか言われても分からないかもしれません。Haskell では、純粋な関数と IO とでは、例外処理の方法が異なります。命令的な catch などを使うのは IO です。純粋な関数には Maybe か、Either を使います。 純粋な関数 純粋な関数では、原則として例外を投げてはい
Yesod でブログエンジンをつくってみた
Yesod 1.0勉強会（http://partake.in/events/76f421e7-c3ca-49bf-b28e-f9ede8032f0b）での発表資料です。
Haskellで並行処理 - napthats’
forkIOでスレッドを起動できる。forkIOは(IOモナドに包まれた)スレッドIDを返すので、取っておいて後でkillThreadするとThreadKilled例外を投げて終了できる。 import Control.Concurrent main :: IO () main = do id <- forkIO $ subThread 0 threadDelay 5000000 killThread id subThread :: Int -> IO () subThread num = do putStrLn $ "loop " ++ (show num) threadDelay 1000000 subThread $ num + 1 スレッド間でメッセージを送受信したい場合は、MVarを使う。MVarは容量1のメッセージボックスで、既にメッセージが入ってる時に更に書き込もうとするとブ
Google Sites: Sign-in
Not your computer? Use a private browsing window to sign in. Learn more about using Guest mode
Welcome to the Cabal User Guide — Cabal 3.10.1.0 User's Guide
Welcome to the Cabal User Guide Edit on GitHub Welcome to the Cabal User Guide 1. Getting Started with Haskell and Cabal 1.1. Installing the Haskell toolchain 1.2. Creating a new application 1.3. Run a single-file Haskell script 1.4. What Next? 2. Introduction 2.1. A tool for working with packages 2.2. What’s in a package 2.3. Cabal featureset 2.4. Similar systems 3. Package Concepts and Developm
Enumeratorは終了条件の検査からの解放だ - あどけない話
長年の疑問の答えが Enumerator だった。今日はそんなお話です。 findを実装する Real World Haskell の第9章に UNIX の find コマンドを作る例があります。最初は安直に実装してみましょう。まず、ディレクトリの内容を得る補助関数と、ディレクトリが辿れるか調べる補助関数を用意します。 getValidContents :: FilePath -> IO [String] getValidContents path = filter (`notElem` [".", "..", ".git", ".svn"]) <$> getDirectoryContents path isSearchableDir :: FilePath -> IO Bool isSearchableDir dir = (&&) <$> doesDirectoryExist dir <
使ってみよう Enumerator - あどけない話
Enumerator Package - Yet Another Iteratee Tutorialは、Iteratee: 列挙ベースのI/Oよりは分かりやすいのですが、やっぱりよく分かりません。なぜなら、僕は使い方を知りたいのに、作り方が書いてあるからです。そこで、Enumerator ライブラリの使い方を簡単に紹介します。 登場人物 Iteratee 入力をもらって計算をします run_ で実行します IO モナドが指定されていれば、副作用を起こせます オートマトンと考えると分かりやすいです Iteratee 同士は (>>=) で合成できます Iteratee >>= Iteratee → Iteratee Enumerator Iteratee と ($$) で合成することにより、新たな Iteratee になります Enumerator $$ Iteratee → Iterate
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
プログラミング/Haskell/GLUT - Flightless wing
Haskell の Data.IORef を使い IO モナドの中で変数を更新
OpenGL - HaskellWiki
Dropbox Tech Blog