2010-02-04から1日間の記事一覧
2 Type and newtype。さて、問題は、私に明確なニュータイプの素養があるかどうかだが。 ん〜、さっぱりだ。type はシノニムで newtype は新しい型をつくるのか。 type type Name = String こう書くと String 型がつかえるところでは Name 型もほぼ使えるら…
2 Type and newtype。さて、問題は、私に明確なニュータイプの素養があるかどうかだが。 ん〜、さっぱりだ。type はシノニムで newtype は新しい型をつくるのか。 type type Name = String こう書くと String 型がつかえるところでは Name 型もほぼ使えるら…