04/10/20 22:40:10
>>294
ghcはターミナルではLineBufferingだから一行たまるまで出力されない。
hSetBuffering stdout NoBufferingを最初に書いてもいい。
>>291
>>293
手で地道にpoint-freeに書き換えました:-)
元は確か
-- not tested
c n m = length $ filter ((m ==).length.filter id) $
foldl (\ys xs -> [ x:y | x <- xs, y <- ys]) [[]]
$ replicate n [True,False]
こんな感じ。
自動化してフィルタプログラムにするとおもしろそう。