- 関数型プログラミング言語Haskell Part28 [転載禁止]©2ch.net
63 ：デフォルトの名無しさん[sage]：2016/02/10(水) 01:32:51.20 ID:v+PYUzVT - Type1とType2の型は同じなんだけどなぁ
data Type0 a = T0 {uncmn :: a, cmn :: Common}
num t1 = uncmn t1 :: Int
name t2 = uncmn t2 :: String
|
- 関数型プログラミング言語Haskell Part28 [転載禁止]©2ch.net
65 ：デフォルトの名無しさん[sage]：2016/02/10(水) 16:17:31.06 ID:v+PYUzVT - 型の宣言には属人性があって、2種類の型を宣言する人もいれば1種類で済ます人もいる
|
- 関数型プログラミング言語Haskell Part28 [転載禁止]©2ch.net
68 ：デフォルトの名無しさん[sage]：2016/02/10(水) 22:27:56.35 ID:v+PYUzVT - よく考えたらprivate変数のようなものを作る方が簡単だった
public変数はもうどうでもいい
newCounter = do {
n <- newIORef 0; -- private
return (readIORef n >>= \ k -> writeIORef n (k+1) >> return k)
}
main = do {
counter <- newCounter;
counter >>= print;
counter >>= print
}
|