matarillo https://blog.hatena.ne.jp/matarillo/ HaskellとF#について書くmatarilloの日記（アーカイブ） https://functional-matarillo.hatenadiary.jp/ foldrが無限リストを扱えるというならできるはずだと思って書いてみた。 drop' n = foldr f [] . zip (trueWhile n) where trueWhile n = (replicate n True) ++ (repeat False) f (True, _) = id f (_ , x) = (:) x （追記）foldrに食わせる関数が2引数であることが分かった方が理解しやすい。 関数合成も少ない方が理解しやすい気がする。 名前はもちろん長い方が理解しやすい。 drop' n xs = foldr dropWhileTrue [] (zip trueThen… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Ffunctional-matarillo.hatenadiary.jp%2Fentry%2F2011%2F05%2F09%2F224757" title="foldrでdrop - HaskellとF#について書くmatarilloの日記（アーカイブ）" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2011-05-09 22:47:57 rich https://functional-matarillo.hatenadiary.jp/entry/2011/05/09/224757 1.0 100%