2008-07-28から1日間の記事一覧
なるほどなと思った A Neighborhood of Infinity: MSFP 2008 より HaskellでのListデータ型の定義 data List A = Nil | Cons A (List A) 各項を以下の数式記号に、置き換える List A => L(A) a | b => a ＋ b Nil => 1 Cons A b => A × b L(A) = 1 ＋ A × L(…
なるほどなと思った A Neighborhood of Infinity: MSFP 2008 より HaskellでのListデータ型の定義 data List A = Nil | Cons A (List A) 各項を以下の数式記号に、置き換える List A => L(A) a | b => a ＋ b Nil => 1 Cons A b => A × b L(A) = 1 ＋ A × L(…
