異端開発室

継続渡渡しスタイル（CPS, Continuation Passing Style）とは、計算の結果を通常の戻り値として返さず、その結果を受け取るための関数（継続子）を引数として受け渡して処理を実行する手法です。これに対して、値自体をそのまま返却する従来の手法は直列的スタイルとも呼ばれます。 計算の連鎖と CPS 変換 通常の実装と比較すると、CPS を適用した関数は結果を即座に処理 ...

Haskell 生態系におけるテストフレームワークと実装戦略 ソフトウェアの信頼性を担保する上で、テスト自動化は不可欠な工程です。特に Haskell のような静的型付けかつ純粋関数型プログラミング言語では、コンパイル段階での型チェックや副作用の排除といった特性が、テスト戦略に独特の利点をもたらします。本稿では、Haskell 環境における主要なテストフレームワークの ...

Haskellによるネットワークプログラミング：Socket通信の基礎から実践まで はじめに Haskellは、高階関数、不変データ、強力な型システムといった特徴で広く知られる純粋関数型プログラミング言語です。ネットワークプログラミングにおいて、Haskellはその美しさと簡潔さを発揮し、開発者が宣言的なアプローチで複雑なネットワークアプリケーションを構築でき ...

モナドトランスフォーマー モナドトランスフォーマーは、異なる2つのモナドを1つのモナドに合成するために使用されます。モナドトランスフォーマー自体もまたモナドです。 MaybeT MaybeTモナドトランスフォーマーは、Maybeモナドを他のモナド内にカプセル化することで、両者を統合します。 newtype MaybeT m a = MaybeT { runMaybeT :: m (Maybe a) } instance (Monad m) = ...

Arrow型クラスの定義 class Category a => Arrow a where transform :: (input -> output) -> a input output primary :: a input output -> a (input, extra) (output, extra) primary = (||| identity) auxiliary :: a input output -> a (extra, input) (extra, output) auxiliary = (identity |||) (|||) :: a input output -> a input2 o ...

contravariant モジュールの導入 contravariantパッケージをインストールするには以下のコマンドを実行します。 $ cabal install contravariant モジュールをインポートするには以下のように記述します。 Prelude> import Data.Functor.Contravariant Contravariant ファンクタ（逆変函子） Contravariantクラスは以下のように定義されています。 class Contravariant ...

型クラスインスタンスの曖昧さへの対処 Haskell において、同じ型に対して複数のモノイド則が成立する場合があります。例えば整数型 Int は、加法に関するモノイド（単位元 0、演算 +）としても、乗法に関するモノイド（単位元 1、演算 *）としても振る舞うことができます。通常、型クラスはインスタンス化された型のみで解決されるため、このままではどちらの演算を使用す ...

インデックス型（Ix） 配列の添字として使用される型です。 Prelude> :m +Data.Array Prelude Data.Array> data Color = Red | Orange | Yellow | Green | Blue | Indigo | Violet deriving (Show,Eq,Ord,Ix) Prelude Data.Array> range (Yellow,Blue) [Yellow,Green,Blue] Prelude Data.Array> index (Yellow,Blue) Green 1 Prelude Data.Array> inRange ( ...

Data.Sequenceの基本操作 Prelude> import Data.Sequence as DS Prelude DS> :set -XOverloadedLists Prelude DS> シーケンスの構築 Prelude DS> DS.empty fromList [] Prelude DS> DS.singleton 5 fromList [5] Prelude DS> 5 <| [6,7] fromList [5,6,7] Prelude DS> [6,7] |> 8 fromList [6,7,8] Prelude DS> [5,6] >< [7,8] f ...

Profunctorの定義 class Profunctor p where dimap :: (a -> b) -> (c -> d) -> p b c -> p a d dimap f g = lmap f . rmap g lmap :: (a -> b) -> p b c -> p a c lmap f = dimap f id rmap :: (b -> c) -> p a b -> p a c rmap = dimap id Profunctorは2つの型パラメータを持つ型クラスで、第1引数が反変(contravariant)、第2引数が共変(covariant) ...