1001コメント352KB

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

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

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

2011/09/20(火) 10:19:31.58

集合の圏の上では副作用は直積型の冪対象で表現されるんやな
side-effects T A := (A×S)^S

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