関数型プログラミング言語Haskell Part9
at TECH
249:デフォルトの名無しさん
08/06/18 14:40:13
>>244
initial object（始対象）じゃなくて terminal object（始対象）だお。
集合の圏で terminal object からの arrow というと一点集合に相当する。
集合の圏では任意の一点集合 x に対して f x = g x ならば f = g
「point（一点集合）を使わずに関数が等しいことを表現できる」=>「ポイントフリー」ということだと思う。
次ページ続きを表示1を表示最新レス表示スレッドの検索類似スレ一覧話題のニュースおまかせリスト▼オプションを表示暇つぶし2ch
5212日前に更新/225 KB
担当:undef