关于"了解你的Haskell"的State Monad代码的困惑
关于"了解你的Haskell"的State Monad代码的困惑，我们可以从以下几个方面来解答：
- State Monad的概念：State Monad是一种用于处理带有状态的计算的Monad。它可以让我们在计算过程中维护一个状态，这个状态可以在计算过程中被修改和访问。State Monad的核心是一个名为
state的函数，它接受一个函数作为参数，这个函数将当前状态作为输入，并返回一个新的状态和一个计算结果。 - State Monad的优势：State Monad可以让我们更加简洁地处理带有状态的计算。通过使用State Monad，我们可以将状态管理和计算过程分离，使代码更加清晰和易于维护。此外，State Monad还可以让我们更方便地进行测试和调试，因为我们可以轻松地模拟和修改状态。
- State Monad的应用场景：State Monad广泛应用于需要维护状态的计算场景，例如编译器、游戏引擎、模拟器等。它也可以用于实现一些高级的功能，例如历史记录、撤销/重做、自动保存等。
- 推荐的腾讯云相关产品：腾讯云提供了一些与State Monad相关的产品和服务，例如：
- 腾讯云Serverless云函数：Serverless云函数可以让用户在不需要管理服务器的情况下开发和部署应用程序。它可以帮助用户更加简洁地处理带有状态的计算，并提供自动扩展和高可用性等功能。
- 腾讯云API网关：API网关可以帮助用户管理和发布API，并提供身份验证、授权、限流、监控等功能。它可以与Serverless云函数结合使用，实现更加灵活和安全的API管理。
- 腾讯云对象存储：对象存储可以帮助用户存储和管理文件，并提供高可用性、高扩展性、低成本等优势。它可以与Serverless云函数结合使用，实现更加灵活和高效的文件存储和管理。
- 答案内容：关于"了解你的Haskell"的State Monad代码的困惑，我们可以从以下几个方面来解答：
- State Monad的概念和优势：State Monad是一种用于处理带有状态的计算的Monad，它可以让我们在计算过程中维护一个状态，这个状态可以在计算过程中被修改和访问。State Monad的核心是一个名为
state的函数，它接受一个函数作为参数，这个函数将当前状态作为输入，并返回一个新的状态和一个计算结果。State Monad可以让我们更加简洁地处理带有状态的计算，通过使用State Monad，我们可以将状态管理和计算过程分离，使代码更加清晰和易于维护。此外，State Monad还可以让我们更方便地进行测试和调试，因为我们可以轻松地模拟和修改状态。 - State Monad的应用场景：State Monad广泛应用于需要维护状态的计算场景，例如编译器、游戏引擎、模拟器等。它也可以用于实现一些高级的功能，例如历史记录、撤销/重做、自动保存等。
- 推荐的腾讯云相关产品：腾讯云提供了一些与State Monad相关的产品和服务，例如腾讯云Serverless云函数、API网关、对象存储等。这些产品和服务可以帮助用户更加简洁地处理带有状态的计算，并提供自动扩展、高可用性、身份验证、授权、限流、监控等功能。
相关·内容
原问题
Haskell的最新版本(> 7.4.2?)附带一个mtl包，该包本身不再提供状态构造函数，而是提供状态函数。
这打乱了维基图书页面上的州的例子：
谁能展示一下如何修改标题“介绍状态”后面的示例？这就是小函数rollDie和rollDice。
页面前面有一个注释框，靠近标题“State Monad的定义”，大体描述了要做什么，但对我来说太含糊了。
此外，我也不太清楚导入和包是如何工作的，因此与此示例相关的一件可能的事情可能是指定需要什么导入，因为它们也可能已经发生了变化。
谢谢!
源代码
------- Adding code for ghci01.hs-------
-- h
浏览 1提问于2013-02-22得票数 2
回答已采纳
Haskell的state State s a迫使我在整个do块中保持相同类型的s。但是既然state实际上只是一个函数，那么如果我将它定义为State i o a = State (i -> (o, a))呢？return和bind函数看起来与标准状态monad中的完全相同，但是随着类型的改变：
return :: a -> State st st a
bind :: (State i o a) -> (a -> (State o o' b)) -> (State i o' b)
我认为使用此定义在Haskell中实现Monad是不可能的，因为它
浏览 2提问于2015-09-03得票数 5
回答已采纳
1回答
来自Haskell wikibook，我们有：
import Control.Monad
import Control.Monad.Trans.State
import System.Random
type GeneratorState = State StdGen
rollDie :: GeneratorState Int
rollDie = do
generator <- get
let (value, newGenerator) = randomR (1,6) generator
put newGenerator
return value
如果我们执行：
eva
浏览 0提问于2014-12-28得票数 0
我读了一些Haskell的Stack和Queen示例代码(比如：)。他们使Stack和Queen作为国家Monad的实例，使其易于使用。
那么，Haskell的名单能作为国家Monad的例子吗？
但如果不是，为什么？似乎被插入到一个列表中
1:[2,3,4]
就像堆里的第一推。所以
可以作为国家Monad?的实例列出
如果可以的话，为什么Haskell不把它作为State的实例呢？我认为因为它是最常用的数据结构，所以如果将它作为State的实例，就很难使用(与直接使用它相比)
浏览 4提问于2021-06-09得票数 0
回答已采纳
我正在学习Haskell，并试图找出实现视线算法的最常用的方法。
我找到的演示代码使用了state monad，但对我(我只是个初学者)来说，递归传递state似乎更简单。这里我漏掉了什么？是否存在性能问题？
在以下位置查找代码：
谢谢,
克里斯。
浏览 3提问于2009-09-21得票数 9
回答已采纳
3回答
对于我在Haskell中的矢量图形库，我必须携带一个相当大的状态:线条参数，颜色，剪辑路径等。我知道两种方法。引用的评论：“我建议你要么使用状态可变的阅读器monad，要么使用状态不变的状态monad”。
这就是我的问题:更新一个大的不可变状态会降低性能。使用大量的STRefs就像在Haskell中编写C一样:冗长而丑陋。
下面是不可变状态：
data GfxState = GfxState {
lineWidth :: Double,
lineCap :: Int,
color :: Color,
clip :: Path,
...
}
setLineWidth ::
浏览 0提问于2010-11-24得票数 12
回答已采纳
我在试图将下面的C代码块转换为Haskell时遇到了困难。
void echo(int num){
if(num != 0)
print(num)
else
exit()
}
我刚开始学习Haskell，但我很困惑为什么这么简单的函数会如此困难。
浏览 3提问于2014-05-08得票数 0
回答已采纳
我对Haskell比较陌生，在解析cURL请求的响应方面遇到了一些困难。
下面是我到目前为止掌握的代码：
import Control.Monad
import Network.Curl
import Data.Aeson
getReq :: URLString -> [CurlOption] -> IO (CurlCode, String)
getReq url opt = curlGetString url opt
当我使用getReq函数时，
Prelude> getReq "http://google.com" []
我得到这样的回应：
(CurlO
浏览 5提问于2015-04-29得票数 0
回答已采纳
2回答
我有这个Haskell代码部分：
newtype State st a = State (st -> (st, a))
instance Monad (State state) where
return x = let f t = (t,x) in State f
State f >>= g = State (\oldstate ->
let {(newstate, val) = f oldstate;
State f'= g val}
in
浏览 6提问于2012-06-05得票数 4
回答已采纳
2回答
我在Haskell有这样的代码：
import Control.Monad.Trans.State
simpleState = state (\x -> (x, x + 1))
runUntil :: (s -> Bool) -> State s a -> State s a
runUntil f s = do
s' <- get
-- Here I want to print value of s' to console
if f s'
then s >> runUntil f s
浏览 1提问于2013-12-03得票数 7
回答已采纳
我认为我对Haskell有很好的处理能力，直到我意识到这段非常简单的代码对我来说是毫无意义的(这是来自的)：
playGame :: String -> State GameState GameValue
playGame [] = do
(_, score) <- get
return score
让我困惑的是，为什么允许代码调用"get"，而提供的唯一参数是一个字符串？它似乎是在从稀薄的空气中提取价值。
我问这个问题的一个更好的方法可能是，如何用>>=和lambda而不是do符号重写这个函数？我自己也想不出来。
浏览 4提问于2014-04-03得票数 5
回答已采纳
我正在使用Haskell，也可能是monads，但我对它们有点困惑，这是我的代码，但我得到了错误，我不知道如何改进我的代码。
doAdd :: Int -> Int -> Maybe Int
doAdd x y = do
result <- x + y
return result
浏览 0提问于2013-12-04得票数 1
我看了一些关于State monad的教程，我想我明白了。
例如，在中
import Data.Word
type LCGState = Word32
lcg :: LCGState -> (Integer, LCGState)
lcg s0 = (output, s1)
where s1 = 1103515245 * s0 + 12345
output = fromIntegral s1 * 2^16 `div` 2^32
getRandom :: State LCGState Integer
getRandom = get >>= \s0 -
浏览 2提问于2009-07-13得票数 4
回答已采纳
2回答
我想知道Haskell州monad的>>的定义。
据我猜测，它会把一种状态传递给另一种状态：
(>>) :: State s a -> State s b -> State s b
State a >> State b = State $ \x -> b $ snd ( a x )
或
State a >> State b = State $ b . snd . a
这是正确的吗？
浏览 2提问于2015-12-27得票数 1
回答已采纳
1回答
我在试着学习Haskell。我编写了一个使用全局状态的代码，并且可以使用两个函数(即change1和change 2)来更改它。此外，我还包括镜头，这样我也可以学习它。问题出在代码的最后一行。我不明白为什么我不能把最后两行放在一起。如果我把它们中的任何一个移除，它就会运行。
{-# LANGUAGE TemplateHaskell #-}
module Dd (main, ma, change1,change2, Dp(Dp)) where
import Control.Lens
import Control.Monad.State
import Control.Monad.IO.Clas
浏览 1提问于2017-07-26得票数 1
2回答
我想在Haskell中创建我自己的单曲，让Haskell像其他在monad中构建的一样对待它。例如，下面的代码用于创建一个monad，它在每次调用全局状态变量时更新某个全局状态变量，以及一个用于计算调用quot函数次数的评估器：
-- define the monad type
type M a = State -> (a, State)
type State = Int
-- define the return and bind operators for this monad
return a x = (a, x)
(>>=) :: M a -> (a ->
浏览 6提问于2014-10-22得票数 5
回答已采纳
我正在做一个haskell练习，关于定义一个函数accumulate :：IO一个-> IO a，它执行一系列交互并将它们的结果累积到一个列表中。
让我困惑的是如何表达一个IO列表？(动作:动作)？？
如何使用IO编写递归代码？？
这是我的代码，但它们存在一些问题...
accumulate :: [IO a] -> IO [a]
accumulate (action:actions) = do
value <- action
list <-
浏览 3提问于2012-09-30得票数 1
3回答
解读“读者群”
、、、、
我正在通过例子阅读PureScript，并了解了介绍Reader的部分。例子是这样的：
createUser :: Reader Permissions (Maybe User)
createUser = do
permissions <- ask
if hasPermission "admin" permissions
then map Just newUser
else pure Nothing
对我来说，令人困惑的是ask函数。签名是：
ask :: forall r. Reader r r
它看起来像是在稀薄的空气中创建一个读取器
当我
浏览 0提问于2017-10-13得票数 13
回答已采纳
我想在haskell策划一次随机漫步。我用getStdGen作为随机数。我在用Chart.Easy作图。我是haskell的平民，我无法理解我得到的编译器错误。
import Graphics.Rendering.Chart.Easy
import Graphics.Rendering.Chart.Backend.Cairo
import System.Random
main = toFile def "random_walk.png" $ do
layout_title .= "Random Walk"
setColors [opaque blue, o
浏览 0提问于2018-08-18得票数 0
2回答
我正在用Haskell编写一个函数，它接受一个Java类文件，并编写另一个相同但包含一些修改的类文件。为此，我觉得我绝对需要一个state monad来至少保存类文件中所有字节的Word8。然而，在我对Haskell中的State Monad进行了所有的研究之后，我仍然无法弄清楚如何做到这一点。有谁能给我指个方向吗？我希望能够有一个在所有函数的范围内，我可以从函数修改的。我知道这涉及到使用类似state<-get ...put newstate
但是我真的不知道从哪里开始定义monad之类的东西。
提前谢谢你！
浏览 1提问于2012-04-20得票数 1
1回答
当我需要查找包含符号的包时，我使用Google或Hoogle。99%的案例我找到了Hackage的引用(这很好)。
有办法在本地查找吗？
示例：
$ ghci
Prelude> :i MonadState
Not in scope: data constructor `MonadState'
然后我搜索"hackage MonadState“，发现
http://hackage.haskell.org/.../Control-Monad-State-Class.html
然后：
Prelude> :m Control.Monad.State
Prelude>
浏览 3提问于2012-11-25得票数 1
回答已采纳
我正在学习州立Monad，有人告诉我它已经不存在了，第一个问题是为什么Haskell删除它？
当我用
import Data.Functor.Identity
import Control.Monad.Trans.State
type State s = StateT s Identity
我得到了
Ambiguous occurrence ‘State’
It could refer to
either ‘Control.Monad.Trans.State.State’
or ‘Main.State’,
但是当我尝试:t State时，我什么也没
浏览 2提问于2019-10-20得票数 4
1回答
我对Haskell还很陌生，为了练习，我决定做一个d&d风格的游戏，其中的战斗是基于掷骰子的，谁拥有更多的数字就赢了。但是，我对如何更改记录的值和更改记录的全局值感到有点困惑。
这是我的记录代码：
data PlayerStats = PlayerStats { health :: Health
,mana :: Mana
,inventory :: [Items] }deriving (Show,Eq)
defaultStats = PlayerStat
浏览 3提问于2017-11-25得票数 2
2回答
因此，我最近一直在研究state，因为我想在haskell中构建一个解析器组合器库。
我偶然发现了一个名为MonadState的类型，我想知道这个类型的意义是什么，你会在哪里使用它？
浏览 5提问于2016-08-24得票数 0
回答已采纳
这是关于Haskell中的语法糖。一个简单的Haskell程序：
main = do
args <- getArgs
let first = head args
print first
我在第一行(args <- getArgs)使用绑定，在第二行(let first = ...)使用纯赋值。有没有可能把它们合并成一个可读的一行程序？
我知道我可以重写绑定“去糖化”：
main = do
first <- getArgs >>= ( return . head )
print first
但是有没有一种更好的方法，不用(>>=)和r
浏览 2提问于2009-03-18得票数 9
回答已采纳
1回答
Haskell中的有向图
、、、
我现在在和Haskell做斗争。甚至，我对命令式语言也有一些经验，使用OOP，但Haskell似乎与它们不同。我低估了哈斯克尔，认为学习一门新语言对我来说不是问题。然而，在花了整整一周的新概念(类型，函子，应用程序，一元，单.阅读这个的所有14个章节，我注意到它们使我如此困惑，不知道如何开始与Haskell一起编写一个程序。一些专家说你需要几个月的时间才能掌握Haskell。但我只有两周的时间来完成一个大项目。
因此，我的第一个问题是如何学习Haskell
( 2)当我需要使用应用函子时，当我需要使用单数时？
3)我的项目是处理基于许多演示文稿的有向图：
邻接矩阵
二值搜索树
浏览 1提问于2012-11-20得票数 0
回答已采纳
在下面的代码中，我得到了预期的结果：
Prelude Control.Monad.State> runState ( put 10 >> return 5 ) 9
(5,10)
但真正令我困惑的是，给put的值是如何精确地提供给return并在最终结果中得到的，或者这个值是如何被隐藏起来并在以后取出来的。我已经在Haskell找到了许多关于州的教程，但是我还没有找到一个解释，它真的，真的以一种不高水平的方式来分解它。
我对>>的理解是，左边的值将被删除，这增加了我对put值如何传递的困惑。
提前感谢您对此的理解。
浏览 1提问于2016-07-16得票数 0
回答已采纳
我又一次被haskell困住了。这一次，我应该使用IO过滤CSV-数据集，这是我很难理解的。如有其他相关信息，敬请见谅。
它的结构是预先确定的，在我看来，它似乎很混乱。你真的应该这样做吗？(我还是要这样做，所以这是“在一边”-question)。
getRawData' :: String -> IO [[String]]
getRawData' fn = do
s <- readFile fn
return $ parseCSVsimple s
getRawData :: String -> IO [[String]]
getRaw
浏览 4提问于2016-04-16得票数 0
我的问题与另一个问题的答案有关：
在他的回答中，ertes写了以下类型的签名
select :: [a] -> [(a, [a])]
但是，当实际使用select时，ertes会在do块中写入以下内容
(y, ys) <- select xs
请帮助我了解一下元组(y, ys)如何匹配返回类型的select，即[(a, [a])]。Haskell是不是在某个时候胁迫这些类型的人？( Haskell有没有强迫过类型的人？)<-是否从(a, [a])返回的列表单片中提取(a, [a])类型的元组？
谢谢，麦克斯
--编辑：--
@Lee提醒新手在思考类型之前要注意粗俗。在将>
浏览 4提问于2014-01-19得票数 6
回答已采纳
1回答
为什么在Control.Monad.Reader中有一个“读取器”和一个“Control.Monad.Reader”？包文档讨论Reader，然后直接进入MonadReader文档，没有任何解释。这些单元组之间有什么区别？读这些参考书让我非常困惑。有趣的是，Haskell wikibook的Reader页面还没有写好！
浏览 4提问于2016-09-07得票数 5
回答已采纳
我用Haskell的wikibook和我自己的新手实验在haskell学习单子
作为我的第一步，我使用伟大的库(由Danielíaz编写)复制了这本书中与monads相关的部分到我自己的PDF中，同时轻松地阅读这样的硬文本(因为它的内容很难)。
下面是我第一次尝试实践我学到的:一个函数的7个版本，该函数接受一个列表并从该列表中返回一个随机元素。
现在我的主要问题是，我是否应该使用作为“移除元素”部分？我读过它们是用来混合单曲的，我知道我将使用国家单曲和列表单曲
除此之外，我的代码上的任何评论都将受到感谢(风格的评论最多，因为monads是关于用样式编写的？:P)。
import System.
浏览 1提问于2016-01-08得票数 1
回答已采纳
1回答
我可以很容易地在Haskell中定义一般的Functor和Monad类：
class (Category s, Category t) => Functor s t f where
map :: s a b -> t (f a) (f b)
class Functor s s m => Monad s m where
pure :: s a (m a)
join :: s (m (m a)) (m a)
join = bind id
bind :: s a (m b) -> s (m a) (m b)
bind f =
浏览 0提问于2018-12-27得票数 7
回答已采纳
8回答
天哪，我讨厌“代码气味”这个词，但我想不出比这更准确的词了。
我正在设计一种高级语言&编译器，以便在业余时间学习编译器构造、语言设计和函数式编程(编译器正在用编写)。
在编译器的代码生成阶段，我必须在遍历语法树时维护“状态”-ish数据。例如，在编译流控制语句时，我需要为要跳转到的标签生成唯一的名称(从传入、更新和返回的计数器生成的标签，以及该计数器的旧值绝不能再使用)。另一个例子是，当我在语法树中遇到内联字符串文字时，它们需要永久地转换为堆变量(在空格中，字符串最好存储在堆中)。我目前正在将整个代码生成模块包装在state monad中来处理这个问题。
有人告诉我，编写编译器是一个非
浏览 1提问于2009-03-03得票数 62
回答已采纳
1回答
在Haskell中，我们知道如果我们有一些带有类型签名f的函数f :: a -> a，那么Haskell可以推断以下类型：
f "alpha"为[Char]型；
f 1234将具有Num a => a类型
f Just将具有a -> Maybe a类型
诸若此类。
参照以下代码，
在函数result_sm :: (Monad m) => a -> State m s a中，我希望将类型变量m推断为State s。State s是Monad类型集的一个实例，那么它为什么不能工作呢？
另外，关于Functor (StateM m s)的实例声明，我知道
浏览 1提问于2016-08-28得票数 0
回答已采纳
5回答
我对Haskell真的很陌生，也很困惑如何实现for循环，因为我知道我们需要对它们使用递归。
例如，我有一个列表[1,2,2,4,1]，并想要编写一个函数将每个2更改为一个3。我该怎么做呢？在Java中，我知道我会编写以下代码
public void replace_two(List<Integer> ints) {
int i = 0;
for (int x: ints) {
if (x == 2) {
ints.set(i, 3);
}
i++
浏览 0提问于2019-09-09得票数 1
在阅读了几本关于Haskell州立单簧管的教程之后，我想亲自尝试一下。我阅读的教程声称Control.Monad.State提供了以下定义：
newtype State s a = State { runState :: s -> (a,s) }
但是，我似乎很难找到State数据构造函数：
Prelude> import Control.Monad.State
Prelude Control.Monad.State> :t State
<interactive>:1:1:
Not in scope: data constructor `State&
浏览 4提问于2014-06-08得票数 27
回答已采纳
我是Haskell的新手，现在我正在尝试理解Monad和State。
我的任务是编写一个具有以下签名的函数，唯一提供的实现细节是“这个函数只有一个合理的实现”：
f :: [State.State s a] -> State.State s [a]
我不完全理解国家，但我从这个问题中理解的是，从一个国家的列表开始，我想要将它们的呼唤联系起来，这样我最终就会得到一个最终的状态和一系列结果。
尝试这个链接的想法，我甚至不知道如何开始这个概念。我很可能遗漏了一些概念上的东西，也许有人可以给我一些启发？
浏览 5提问于2019-11-22得票数 1
在haskell中存储一些状态的任务的设计模式是什么？例如，我想用haskell编写库，它提供配置文件读取并将配置参数存储在内存中。
例如：
我有配置文件。配置文件的语法现在并不重要。我读取配置文件，将其解析为某种haskell数据结构。接下来，我想退出使用这个库从config中获取参数的程序。我们在haskell中没有全局变量。我不想调用每次都会读取和解析配置的函数。我想读取配置一次，然后获得参数很多次。
在haskell中，对于这些类型的问题，有什么是常见的做法？
谢谢。
浏览 0提问于2012-12-25得票数 4
回答已采纳
1回答
在中有一个代码片段：
type GeneratorState = State StdGen
rollDie :: GeneratorState Int
rollDie = do generator <- get
let (value, newGenerator) = randomR (1,6) generator
put newGenerator
return value
关于上面第三行的符号<-，有一个解释：
我们用<-和get一起提取伪随机发生器.get用状态覆盖一元值( a in m a)，将生成器绑定到状态。(如果
浏览 3提问于2015-01-07得票数 2
回答已采纳
3回答
了解一点Haskell
、、、
我有一个关于Haskell的问题。我一直在关注，只是对以下代码片段的执行顺序/逻辑有点困惑，该代码片段用于计算三角形的边长，当所有边都等于或小于10且三角形的总周长为24时：
[(a,b,c) | c <- [1..10], b <- [1..c], a <- [1..b], a^2 + b^2 == c^2, a+b+c==24]
让我感到困惑的是b和a绑定的扩展上限。据我所知，..c和..b用于删除额外的排列(组合？)一组相同的三角形边。
当我用..c/b运行它时，我得到了答案：
[(6,8,10)]
当我没有..c/b时
[(a,b,c) | c <- [1..1
浏览 1提问于2012-06-08得票数 2
回答已采纳
我不明白Haskell单子背后的确切代数和理论。然而，当我一般地考虑函数式编程时，我得到的印象是，状态将通过获取初始状态并生成它的副本来表示下一个状态来建模。这就像将一个列表追加到另一个列表一样；两个列表都不会被修改，但会创建并返回第三个列表。
因此，将一元操作视为隐式地将初始状态对象作为参数并隐式地返回最终状态对象是否有效？这些状态对象将被隐藏，这样程序员就不必担心它们，并控制它们的访问方式。因此，程序员不会像十分钟前那样尝试复制表示IO流的对象。
换句话说，如果我们有这样的代码：
main = do
putStrLn "Enter your name:"
n
浏览 2提问于2010-05-12得票数 9
回答已采纳
1回答
我对Haskell非常陌生，所以我很难吸收Yesod中使用的所有高级功能，如和。我正在尝试在Yesod的测试框架中实现，以便获得设置/拆卸功能。这是我到目前为止得到的(通过编辑更新)：
module FishMother where
import Control.Exception.Lifted
import TestImport
import Database.Persist
import Database.Persist.GenericSql
import Model
insertYellowfinTuna :: OneSpec Connection FishId
insertYe
浏览 2提问于2013-01-18得票数 1
回答已采纳
5回答
Monads有什么特别之处？
、、、、
monad是一种数学结构，在(纯)函数式编程中大量使用，基本上是Haskell。然而，还有许多其他的数学结构可用，例如应用函子、强单子或么半群。有些是更具体的，有些是。然而，monad更受欢迎。为什么会这样呢？
我提出的一种解释是，它们是一般性和特异性之间的最佳结合点。这意味着monads捕获了足够多的关于数据的假设，以应用我们通常使用的算法，并且我们通常拥有的数据满足一元定律。
另一种解释可能是Haskell为monad (do-notation)提供了语法，但没有为其他结构提供语法，这意味着Haskell程序员(因此函数式编程研究人员)直观地倾向于monad，在这种情况下，更通用或更具体(
浏览 1提问于2013-05-08得票数 28
回答已采纳
我对函数式的使用感到困惑
Functor是否用于定义映射的属性，以及如何在Haskell中编写映射的属性？
如果是这样的话，haskell是否可以在编写定义后用于生成函数或其他东西
类型或类声明的报头格式不正确:流x y
import Control.Applicative
class flow x y where { f :: x y -> x; } // this line i do not know whether is enforced to write
// how to write thi
浏览 0提问于2011-04-03得票数 0
回答已采纳
这对Haskell的专业人士来说应该很容易。
我有一个可能的值，
> let a = Just 5
我可以打印出来：
> print a
Just 5
但我想将I/O操作应用到可能的内部。我知道如何在不使用case的情况下做到这一点的唯一方法是：
> maybe (return ()) print a
5
然而，这似乎太冗长了。首先，return ()是特定于I/O monad的，所以我必须为每个我想要尝试此技巧的monad提供一个不同的“0”。
基本上，我希望将I/O操作(打印)映射到可能值上，如果它是Just，则打印它；如果它是Nothing，则不做任何事情。我想以某种方
浏览 2提问于2011-02-08得票数 10
回答已采纳
2回答
我想写一个Haskell函数来生成整数。函数将在第一次调用时返回1，然后在每次调用函数时返回下一个整数。
在Python中，我使用了生成器的概念-整数生成器可能如下所示：
def intGen():
x = 1
while True:
yield x
x += 1
integer = intGen()
# Use the generator
next(integer) # 1
next(integer) # 2
next(integer) # 3
我如何在Haskell中完成这样的事情？我知道我可能需要State monad
浏览 1提问于2014-10-15得票数 0
1回答
广义新型导出
、、、、
Haskell可以在下面的MonadState s中导出T1的实例，但不能在T2中派生，这是一种非常类似的类型。我应该以哪种方式修改T2的代码，以便能够自动派生MonadState s的实例？
{-# LANGUAGE GeneralizedNewtypeDeriving #-}
import Control.Monad.Reader
import Control.Monad.State
newtype T1 r s a =
T1 { runT1 :: ReaderT r (State s) a }
deriving (Monad, MonadReader r, MonadSta
浏览 3提问于2014-09-05得票数 8
回答已采纳
我正在写一些代码( Metropolis-Hastings MCMC采样器)，它将使用随机数生成器，并基于此修改数组和可能的其他结构。
我最初的想法是使用ST monad，这样我就可以使用ST数组和mersenne-random-pure64包，将PureMT生成器作为状态的一部分。
然而，我希望能够将一些工作拆分成单独的辅助函数(例如，在给定范围内对随机整数进行采样，更新数组结构，以及潜在的更复杂的事情)。为此，我认为我需要将对PureMT gen和数组的引用传递给所有函数，如果我需要存储更多的状态，这些函数很快就会变得非常难看。
我的直觉是将所有状态分组到一个可以在任何地方访问的数据类型中
浏览 0提问于2011-08-10得票数 8
回答已采纳
根据“学习一个Haskell”，列表的<*>实现如下：
fs <*> xs = [f x | f <- fs, x <- xs]
我是弄错了，还是这是基于>>=的一元代码？
据我所知，只使用<*>实现fmap是可能的，因为应用程序可能就是这种情况。
如何仅使用<*>实现列表的fmap？(而且可能没有任何联系？)
顺便说一句，几页后，我看到了关于应用程序<*>的IO实现的同样问题。
浏览 5提问于2015-03-30得票数 9
回答已采纳
这是我在SO上的第一篇文章，我对Haskell还比较陌生，所以请原谅我的代码有什么错误，或者我的代码不地道！
考虑以下两个直观的描述: a，f(a)，f(f(A)).
A.包含以下内容的列表: a，f到a的应用，f对的的应用，f对的应用，的应用。
B.包含第一个位置的列表，我嵌套了f到a的应用程序。
我的问题是，我试图使用Haskell中的iterate函数来做A时被烧掉了。我真正的应用程序是一个模拟，但下面的人为示例突出了这个问题。
import Control.Monad.State
example :: State Int [[String]]
step :: [String] -&
浏览 0提问于2011-10-28得票数 4
回答已采纳
扫码
添加站长 进交流群
领取专属 10元无门槛券
手把手带您无忧上云
相关资讯
热门标签
云服务器
ICP备案
实时音视频
对象存储
云直播活动推荐
腾讯云开发者
