#3 [全文検索]

■[Haskell] 設定ファイルのパースをTemplate Haskellで

キーと値からなる設定ファイルをパースするとします。設定ファイルはこんな感じです。 name=Test value=5 マップなどで値を持つという方法もありますが、ちゃんと型付けするために専用の型を用意することにします。そうするとパースするコードはこんな感じでしょうか。 import Control.Monad import Data.Maybe ...

■[Haskell] on

import Data.List on :: (a -> a -> b) -> (c -> a) -> (c -> c -> b) f `on` g = \x y -> g x `f` g y のようなonを定義しておくと、 sortBy (compare `on` snd) [(1,2),(2,1),(1,3)] のように書くことができます。以下と同じですが、ちょっと読みやすげ。 sortBy (\ (_, x) (_, y) -> compare x y) [(1,2),(2 ...

■[Haskell] Haskell Unsafe

GHCの新しい版のsarge向けのパッケージが公開されています。ただ、まだ6.4.1のようです。 /etc/apt/sources.listに以下を追加して、apt-get install ghc6。 deb http://haskell-unsafe.alioth.debian.org/archive/i386 . stable ...

■[Haskell] GHCのインストール

手元のDebianだと、GHC 6.4.1のパッケージはないものの、Generic Linux with glibc 2.3を落としてきて、 ./configure make install でインストールできます。 ...

■[Haskell] GHC 6.10.1

リリースノート ...

■[Haskell] GHC 6.8.2

リリースノートを見ると、GHCi関係の変更が多いようです。 ...

■[Haskell] GHC 6.4.2

■[Haskell] HaskellでOpenGL

OpenGLでちょっと遊んでみようかなと思い、せっかくなのでHaskellでやってみることにしました。環境はWindowsのGHC 6.10.4で。 まずは、GLUTバインディングをインストールします。cabal-installが入っていれば、 cabal install GLUT でインストールできます。glut32.dllは含まれていないので、GLUT for Win32か ...

■[Haskell] FFIとシグナル

SIGALRMシグナルを使っているライブラリをFFIで呼び出すと、コールバックのスタブの中でInterruptedというメッセージを出してプロセスが落ちてしまうことがあるので、テストコードを書いて調べてみました。 alarm.h void test(); alarm.c #include <signal.h> #include <string.h> #include <stdio.h> #include ...

■[Haskell] Type Families (5)

Synonym Familiesの別の良くある例はこんな感じのもの。 class Mul a b where type Result a b (*) :: a -> b -> Result a b instance Mul Int Int where type Result Int Int = Int (*) = (Prelude.*) instance Mul Int Double where type Result Int Double = Double (*) x y = fromIntegral Prelude.* y これ ...