こんなのはどう？ null = \x y = x wrap a = \x y = y a isNull n = n True (\y = False)

[id:lethevert:20060202:p1]で一意型の考察を行っていたが、それに関連する。 モンテカルロ法でPIを推定するという例題。 import StdEnv, OptEnv mapU :: [(.f -> (a, .f))] .f -> ([a], .f) mapU [] f = ([], f) mapU [x:xs] f # (a, f) = x f # (as, f) = …