この前、"必ず引数を2倍した値を返す関数"みたいなものを型で表せないかなーとか考えてた。 double :: Num a => a -> Nibai a みたいな。適当だけど。 型の上で足し算かけ算はできた(http://d.hatena.ne.jp/zyxwv/20070730)ので、それを利用すればいいのかな…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。