使用State Monad插入树

文章/答案/技术大牛

发布

1回答

haskell、tree、monads、state-monad

我有一个树和插入操作，就像“学习Haskell实现伟大的好处！”| x < a = Node a (treeInsert x left) right 我想使用State Monad重新实现treeInsert，但我甚至不确定函数声明应该是什么样子。到目前为止，我有这样的想法： treeInsert :: (Ord a) => a -> Tree a -> Sta

浏览 18提问于2020-05-27得票数 2

回答已采纳

3回答

Haskell通过深度优先顺序遍历标记二叉树。

haskell、tree、binary-search-tree

我需要通过深度优先顺序遍历来标记一棵二叉树，因此我想，我需要首先遍历树的左边分支并标记这些分支，然后对右边的分支进行同样的标记。我的二叉树只在内部节点(而不是在节点/叶子的末端)存储值：label (BranchMonad，但我并没有真正掌握它的用法。例如：应： Branch (Branch Leaf (0,-

浏览 7提问于2014-10-16得票数 0

回答已采纳

2回答

为什么哈斯克尔的名单没有作为一个国家蒙纳德的例子？

haskell

他们使Stack和Queen作为国家Monad的实例，使其易于使用。但如果不是，为什么？似乎被插入到一个列表中就像堆里的第一推。所以如果可以的话，为什么Haskell不把它作为State的实例呢？我认为因为它是最常用的数据结构，所以如果将它作为State的实例，就很难使用(与直接使用它相比)

浏览 4提问于2021-06-09得票数 0

回答已采纳

2回答

我想定义一个管理错误的State monad (在某种意义上就像是可能的)：如果在"do“计算过程中出现错误/问题，它将由信号引导并由>>=传播。错误还应该包含一个描述它的字符串。之后，我想将这个单体应用于mapTreeM，使用for map函数将状态假设为数字和一个包含数字的树，并在每个访问步骤通过将当前叶的值添加到当前状态来更新当前状态；结果树必须包含具有旧叶值和访问时刻状态的对例如，给定这棵树：Branch (Branch (Leaf 7) (Branch (Leaf

浏览 2提问于2014-06-06得票数 0

3回答

类型模式名称:R b=Q (a -> (R b，b))

haskell、data-structures、types、terminology

例如，L a = Empty | Cons a L通常称为“列表”，而T a = Leaf a | Node (T a) (T a)是“二叉树”，St s a :: St (s->(a,s))是StateMonad的形式。递归函数让它看起来有点像State Monad或Cont Monad。除了(->)和(>=>)之外，它也是唯一一个我见过为其定义了箭头实例的结构。这个数据结构有没有通用的名字？

浏览 0提问于2012-02-29得票数 15

回答已采纳

2回答

在保持树的结构的同时，将树的叶值更改为有序序列

haskell、tree、tree-traversal

给出了一个递归树结构。我想用一种保持树结构的方式来规范它，但使叶处的整数按深度顺序排列--一阶。我怎样才能做到这一点？我的当前设置代码如下所示：normalize :: T

浏览 1提问于2016-05-26得票数 1

回答已采纳

2回答

如何将数据类型转换为MonadState

haskell、binary-tree、monads

我有这样的类型： deriving (Eq, Ord, Show) 在这些情况下：instanceMonadState (State' s) s

浏览 6提问于2014-10-17得票数 0

回答已采纳

1回答

将树转换为功能图库树的优雅方法？

haskell、graph

我的问题涉及将树转换为其表示时的明显笨拙，这需要显式引用节点名称以插入更多节点/边。具体地说，我递归地构建了一棵玫瑰树(目前是containers的Data.Tree.Tree a )，并希望将其转换为Gr a ()，以便针对它调用各种函数。为此，可以首先遍历树(使用supply monad或FGL的状态monad类型之一，如NodeMapM)，并使用标识符标记每个节点：impo

浏览 0提问于2012-11-13得票数 5

2回答

如何不确定地将值置于状态中？

haskell、monads、monad-transformers、state-monad、non-deterministic

在下面的代码中，如何将put 1替换为某些在状态中插入不确定的1或2的代码？import Control.Monad.Listtest = do put

浏览 5提问于2014-08-02得票数 4

回答已采纳

1回答

AST >1的免费Monad？

haskell、compiler-construction、category-theory

当我说1-arity | 2-arity | n-arity时，我指的是grap理论中的树，： data Toy b next“免费Monad”是解决这个问题的方法吗？如果是的话，你有免费Monad &

浏览 1提问于2019-04-27得票数 5

回答已采纳

4回答

彭定康如何在一个州的球场上比赛？

haskell、pattern-matching、state-monad、pattern-guards

是否可以使用模式匹配/保护来编写函数a？{-# LANGUAGE PatternGuards #-}data MyStates m => s (Control.Monad.Trans.Cont.ContTControl

浏览 7提问于2014-10-28得票数 2

回答已采纳

3回答

在Haskell中使用State monad

haskell、monads

我一直在一点一点地学习一些Haskell，并且(慢慢地)致力于理解State monad，尝试编写一个函数来重复State计算，直到状态满足一些布尔测试，并收集列表中的返回值以获得整体结果。我最终做到了这一点：collectUntil f s = do s0 <- getif (f s') then return [a] else liftM (a:) $ c

浏览 2提问于2012-06-29得票数 6

回答已采纳

1回答

在Scala+Cats中使用带有自由单值的任意树

scala、parsing、abstract-syntax-tree、free-monad、scala-cats

该库使用cats将语法的AST创建为一个自由monad。然而，它似乎并不是完美的匹配，因为免费的monad创建了我的AST的列表表示，这对于语句列表很好，但是语法远不是语句列表，而是更接近于任意的树结构。我通过使用~操作符来表示两个连接在一起的语法，从而成功地实现了我的树。AST就是一个语法列表，这些语法本身就是任意的AST。 State.apply(s

浏览 0提问于2016-10-10得票数 8

1回答

Haskeline:为` `ReaderT r (StateT S m)`堆栈实现`MonadException`实例

haskell

假设我有以下monad转换器堆栈(为简单起见，将r和s保留为() )，如果我想使用它作为haskeline，import Co

浏览 2提问于2013-08-20得票数 1

3回答

函数在Haskell中映射到MonadTrans上？

haskell、monads

我最近决定开始使用monad转换，而不是堆叠我的monad，因为这似乎是正确的做法。不管怎么说，我以前并没有堆叠很多单子。假设我有一个定制的monad，m，并且我对它使用了一个StateT转换，因此使用StateT s m a类型而不是m (State s a)。因此，我正在构建一个类似于这样的递归函数recFunc :: State s a -> [t] -> m (State s a)： recFunc ::

浏览 6提问于2019-12-18得票数 3

回答已采纳

1回答

镜头和状态，库不一致

haskell、monad-transformers、haskell-lens

我正在尝试使用镜头来修改StateT Monad转换器的状态。据我所知，这段代码应该编译：import Control.Monad.State但ghc告诉我： Game我已经

浏览 7提问于2015-01-22得票数 2

回答已采纳

2回答

mtl :从StateT切换到transformers

haskell、monad-transformers

使用mtl，派生MonadState似乎可以正确地提升make state操作：import Control.Applicative(Applicative)import Control.Monad.State (MonadState,State IO a } deriving (Functor, Applicative,

浏览 0提问于2013-07-15得票数 0

回答已采纳

1回答

如何在已安装的软件包中查找符号

haskell、symbols、ghci

当我需要查找包含符号的包时，我使用Google或Hoogle。99%的案例我找到了Hackage的引用(这很好)。然后：Prelude> etc...非常感谢!

浏览 3提问于2012-11-25得票数 1

回答已采纳

4回答

Java泛型推断类型

java、generics

好的，所以我用java实现了state monad。然而，我似乎不能让泛型正常工作。我有下面的代码，并试图避免指示的情况。super A, R> p_function); } public <B, R extends Mon

浏览 1提问于2013-07-16得票数 6

回答已采纳

1回答

如何导入隐藏子模块或实例的模块？

haskell、import、module

用这个代码import Control.Applicative Alternative (Either e) -- Defined in ‘Control

浏览 4提问于2015-08-29得票数 5

回答已采纳

点击加载更多