外延的等価性
extensional equality
関数空間$ B^Aに属する2つの関数$ f,gが等しいとは、 任意の$ a\in Aに対して、$ f(a)=g(a)となること
どれを入れても同じ結果が返ってくるような関数を「等しい」と定義しているmrsekut.icon
code:hs
f, g :: Int -> Int
f n = n + n + n
g n = 3 * n
このように別の仕方で定義されている複数の関数について「関数同士が等しい」をどのように定義するのか、という話をしている
例としてあまり良くないかもしれないmrsekut.icon