1001コメント379KB

関数型プログラミング言語Haskell Part6

■ このスレッドは過去ログ倉庫に格納されています

0829デフォルトの名無しさん

2007/02/19(月) 20:53:18

> Listだって集合の左随伴だと思うが…
集合へのforgetful functorの随伴ね

■ このスレッドは過去ログ倉庫に格納されています