Haskellのnewtype

代数的データ型を用いて新たな型を定義する

元の型とは全くの別物になる

パフォーマンスに影響を与えない

コンストラクタに包んだり出したりするオーバヘッドがかからない

code:ghci(hs)

ghci> newtype N = N Int

ghci> let n = N (1+1)

ghci> :sprint n

n = _

ghci> seq n ()

()

ghci> :sprint n

n = N 2

(元々なっているので)

再帰的定義もできる

code:例.hs

newtype Fix f = Fix (f (Fix f))

制限がある

値コンストラクタは1つだけ

code:hs

newtype Volume = Volume Double -- ok

newtype A = B String | C Int -- ng

その値コンストラクタが持てるフィールドも1つだけ

code:hs

newtype Size = Size { unSize :: Int } -- ok

newtype Point = Point -- ng

{ pointX :: Int

, pointY :: Int

}

そのため、パターンマッチにおけるパターンは1つしかない

このルールは、ランタイムでtypeと同じ挙動をさせるために必要

このルールによって、dataと少し異なる挙動をすることがある

例えば以下の様なコード

code:hs

data D a = D a

f (D _) = "hello"

newtype N a = N a

g (N _) = "hello"

code:hs

f undefined -- error

g undefined -- "hello"

code:hs

type N a = a

g _ = "hello"

だからerrorにならない

derivingで型クラスのインスタンスにするときは、中身の既存の型がその型クラスのインスタンスである必要がある

code:hs

-- こう使える

getZipList $ ZipList "hoge"

参考