2012-01-06から1日間の記事一覧

Type Families

HaskellのGHC拡張でType Families(型族)というのがあります。これはC++テンプレートメタプログラミングをやったことがある人にはなじみ深い、型を受け取って型を返す型関数(メタ関数)を実現する機能です。 たとえば、以下は型aを受け取って型aを返す型関数Id…