異端開発室

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) ...