fold 相关问题

在函数式编程中，折叠（也称为减少，累积或变形）是一种高阶函数，它递归地将变换应用于数据结构，将其“折叠”为汇总值

我写了一个C ++ 20的概念myrequirement

c++ templates fold pack unnamed-class

回答 1 投票 0

vim vimscript：autoCMD将foldcolumn设置为foldlevel

i目标是将折叠式折叠式自动化为最深的折叠式。在.vimrc中，我尝试了： AutoCMD Filetype HTML：SET FOLDMETHOD =语法 AutoCMD Filetype HTML：让＆foldcolumn =＆foldlevel 但是显示错误： E ...

vim editor vim-plugin fold neovim

回答 1 投票 0

如何构建for for for for ford_left的index访问的累加器我想编写一个列表[a_n; A_N-1; ...; A_0]带有Ackulator ACC。该功能应该计算出列出的整个列表中的每个元素的总和...

[a_n; a_n-1; ...; a_0]

recursion functional-programming ocaml ref fold

回答 4 投票 0

返回矩形范围内的单元列表

作为OCAML的初学者，我正在尝试编写一个函数，该函数需要两个INT参数（A和B），并且应返回一个包含所有元组（i，j）的列表，其中我在0和a之间， j在0 ...

ocaml fold

回答 3 投票 0

使用ocaml

given：键入'a树=空| “ a *”一棵树 *'的节点使用：让rec tree_fold f e t =与 |空 - > e |节点（x，l，r） - > f x（tree_fold f e l）（tree_fold f e r）;; 到

functional-programming ocaml binary-tree fold

回答 0 投票 0

我可以用右折叠的依赖左折吗？

我们有数据nat = z | S nat 类型VEC :: NAT->类型 - >类型数据vec n a where nil :: vec z a （:: :: :::: vec n a-> vec（s n）a Infixr 4 :::: 衍生实例可折叠（vec n ...

haskell fold agda dependent-type

回答 1 投票 0

使用foldr在haskell中实现插入

如何在haskell中使用foldr实现插入。我试过：插入'' :: Ord a => a -> [a] -> [a] 插入'' e xs =foldr (\x -> \y -> if x 如何在haskell中使用foldr实现插入。我试过： insert'' :: Ord a => a -> [a] -> [a] insert'' e xs = foldr (\x -> \y -> if x<y then x:y else y:x) [e] xs 没有骰子。我必须在列表中插入元素 e，以便它位于大于或等于它的第一个元素之前。示例： insert'' 2.5 [1,2,3] => [1.0,2.0,2.5,3.0] insert'' 2.5 [3,2,1] => [2.5,3.0,2.0,1.0] insert'' 2 [1,2,1] => [1,2,2,1] 在上一个示例中，第一个 2 被插入一个。编辑：谢谢@Lee。我现在有这个： insert'' :: Ord a => a -> [a] -> [a] insert'' e xs = insert2 e (reverse xs) insert2 e = reverse . snd . foldr (\i (done, l) -> if (done == False) && (vj e i) then (True, e:i:l) else (done, i:l)) (False, []) where vj e i = e<=i 但是这不起作用： insert'' 2 [1,3,2,3,3] => [1,3,2,2,3,3] insert'' 2 [1,3,3,4] => [1,3,2,3,4] insert'' 2 [4,3,2,1] => [4,2,3,2,1] 解决方案： insert'' :: Ord a => a -> [a] -> [a] insert'' x xs = foldr pom poc xs False where pom y f je | je || x > y = y : f je | otherwise = x : y : f True poc True = [] poc _ = [x] 谢谢@Pedro Rodrigues（只需将 x>=y 更改为 x>y。）（如何将此标记为已回答？）你需要 paramorphism 为此： para :: (a -> [a] -> r -> r) -> r -> [a] -> r foldr :: (a -> r -> r) -> r -> [a] -> r para c n (x : xs) = c x xs (para c n xs) foldr c n (x : xs) = c x (foldr c n xs) para _ n [] = n foldr _ n [] = n 有了它， insert v xs = para (\x xs r -> if v <= x then (v:x:xs) else (x:r)) [v] xs 我们可以用 foldr 来模仿 init . tails 的同态，如下所示：需要根据元素升序的中断将列表划分为列表（Haskell）。因此解决方案是 import Data.List (tails) insert v xs = foldr g [v] (init $ tails xs) where g xs@(x:_) r | v <= x = v : xs | otherwise = x : r 对同态进行编码的另一种方法是通过一系列函数，如 Pedro Rodrigues 的答案中所示，安排从左到右信息流，同时传递输入列表本身的第二个副本：一个参数（复制 tails 的效果）： insert v xs = foldr g (\ _ -> [v]) xs xs where g x r xs | v > x = x : r (tail xs) -- xs =@= (x:_) | otherwise = v : xs -- visual aid to how this works, for a list [a,b,c,d]: -- g a (g b (g c (g d (\ _ -> [v])))) [a,b,c,d] 与他的答案中的版本不同，这不会复制插入点之后的列表结构的其余部分（这是可能的，因为同态性“鱼与熊掌兼得”）。这是我的看法： insert :: Ord a => a -> [a] -> [a] insert x xs = foldr aux initial xs False where aux y f done | done || x > y = y : f done | otherwise = x : y : f True initial True = [] initial _ = [x] 但是恕我直言，使用 foldr 并不是解决这个问题的最佳选择，对我来说以下解决方案更容易理解： insert :: Int -> [Int] -> [Int] insert x [] = [x] insert x z@(y : ys) | x <= y = x : z | otherwise = y : insert x ys 我想折叠在这里不太方便。它总是处理列表中的all元素，但是您需要在找到第一个出现的元素后停止。当然这是可能的，但你可能不想使用这个： insert' l a = snd $ foldl (\(done, l') b -> if done then (True, l'++[b]) else if a<b then (False, l'++[b]) else (True, l'++[a,b])) (False, []) l 这是另一个使用 foldr 的解决方案。与这里的其他人相比，它简单易懂。 insert :: Ord a => a -> [a] -> [a] insert a = foldr swap [a] where swap y x_xs@(x:xs) | y > x = x:y:xs | otherwise = y:x_xs 但是，它有一个严重的限制：与使用正常递归解决方案的标准Data.List.insert不同，并且与 Pedro 和 Will Ness 的答案不同，这个版本在给定无限列表时会崩溃。 ghci> take 10 $ insert 4 [1,3..19] -- This works fine. [1,3,4,5,7,9,11,13,15,17] ghci> take 10 $ insert 4 [1,3..] -- This crashes. *** Exception: stack overflow ghci> import qualified Data.List as L (insert) ghci> take 10 $ L.insert 4 [1,3..] [1,3,4,5,7,9,11,13,15,17]

list haskell insert lambda fold

回答 4 投票 0

从“级联ifs”折叠表达式中检索值

假设我想使用以下语法创建自己的基于 lambda 的开关： auto s = make_switch(std::pair{0, []{ return 0; }}, std::pair{1, []{ 返回 50; }}，...

c++ c++17 fold fold-expression

回答 3 投票 0

F# FoldBack 转换为尾递归函数

出于学习目的，我模拟了 List.foldBack。模拟版本是头递归的。有没有一种优雅的方法将其转换为尾递归版本？让 li : int 列表 = [1;2;3] 让记录

recursion f# tail-recursion fold tail

回答 1 投票 0

Rust 中的欧拉项目#2

我正在学习 Rust，所以我正在做 Project Euler 问题，因为恕我直言，它们是很好的练习。但我已经陷入了第二个问题。这个想法是找到所有偶数的总和......