HaskellのPrimMonadとうまく付き合う その1

Haskellで可変な参照や配列を使うには、IO や ST などのモナドを使います。IO や ST の上に ReaderT や StateT 等のモナド変換子を重ねたモナドでも、IO や ST のアクションを lift すれば可変な参照や配列を扱えます。 primitiveパッケージでは、このような「可変な参照や配列を扱えるモナド」を統一的に扱える PrimMonad という型クラスを用意しています。 module Control.Monad.Primitive where class Monad m => PrimMonad m where type PrimState m -- ... instance PrimMonad IO instance PrimMonad (ST s) この記事では、PrimMonad を使う際にパフォーマンスを低下させないための注意点について論じます。 サ