04/02/20 16:24
>>61
take* n ≒ top だね。map, ++ の使いかたあたりが微妙に遅そうにみえる。
>>57が綺麗でよさそう。
# k 0 xs = []:[[]|x <- xs]
# k n xs = zipWith (:) xs (k (n-1) (tail xs))
04/02/20 16:24
>>61
take* n ≒ top だね。map, ++ の使いかたあたりが微妙に遅そうにみえる。
>>57が綺麗でよさそう。
# k 0 xs = []:[[]|x <- xs]
# k n xs = zipWith (:) xs (k (n-1) (tail xs))