2010-12-26から1日間の記事一覧
まずHaskellはSystem Fωをベースにして(厳密にはSystem FC http://hackage.haskell.org/trac/ghc/wiki/Commentary/Compiler/FC#Newtypesarecoercedtypes とからしいですが)いるので、型を取って型を返す関数を書く事が出来ます。 type Id a = a type Pair a …
まずHaskellはSystem Fωをベースにして(厳密にはSystem FC http://hackage.haskell.org/trac/ghc/wiki/Commentary/Compiler/FC#Newtypesarecoercedtypes とからしいですが)いるので、型を取って型を返す関数を書く事が出来ます。 type Id a = a type Pair a …