如何在“do”块(PureScript)中同时访问Writer monad的值和累加器？
在PureScript中，可以使用Writer monad来记录计算过程中的日志，并且在do块中同时访问Writer monad的值和累加器。下面是一个示例代码：
import Control.Monad.Writer (Writer, tell, runWriter)
-- 定义一个函数，使用Writer monad记录计算过程中的日志
calculation :: Int -> Writer (Array String) Int
calculation x = do
-- 记录日志
tell $ singleton "Performing calculation..."
-- 进行计算
let result = x + 1
-- 记录日志
tell $ singleton $ "Result: " <> show result
-- 返回计算结果
pure result
-- 在do块中同时访问Writer monad的值和累加器
main :: Effect Unit
main = do
-- 运行Writer monad，并获取计算结果和日志
let (result, logs) = runWriter $ calculation 10
-- 打印计算结果
log $ "Result: " <> show result
-- 打印日志
log $ "Logs: " <> show logs在上述代码中，calculation函数使用Writer monad来记录计算过程中的日志。在do块中，我们可以使用tell函数来记录日志。在main函数中，我们使用runWriter函数来运行Writer monad，并获取计算结果和日志。最后，我们打印计算结果和日志。
这种方法可以帮助我们在do块中同时访问Writer monad的值和累加器，以便记录和处理计算过程中的日志。在实际应用中，可以将Writer monad用于各种需要记录日志的场景，例如调试、性能分析等。
腾讯云相关产品和产品介绍链接地址：
- 腾讯云函数计算（Serverless）：https://cloud.tencent.com/product/scf
- 腾讯云云服务器（CVM）：https://cloud.tencent.com/product/cvm
- 腾讯云云数据库 MySQL 版（CDB）：https://cloud.tencent.com/product/cdb
- 腾讯云对象存储（COS）：https://cloud.tencent.com/product/cos
- 腾讯云区块链服务（BCS）：https://cloud.tencent.com/product/bcs
- 腾讯云人工智能（AI）：https://cloud.tencent.com/product/ai
- 腾讯云物联网（IoT）：https://cloud.tencent.com/product/iot
- 腾讯云移动开发（移动推送、移动分析）：https://cloud.tencent.com/product/mps
- 腾讯云音视频处理（VOD、TRTC）：https://cloud.tencent.com/product/vod
- 腾讯云网络安全（DDoS 防护、Web 应用防火墙）：https://cloud.tencent.com/product/ddos
相关·内容
试图掌握我正在Haskell中使用WriterT和State (它是)来解决一个练习的概念。由于某些原因，我不明白，我最终使用了大量的内存和我的笔记本(只有4G Ram)停了下来。
我的第一个想法是使用严格的和周围的刘海-但这个问题仍然存在。
有人能解释我哪里出了问题吗？
下面是清理代码：
{-# LANGUAGE BangPatterns #-}
module Main where
import Control.Monad.State.Strict
import Control.Monad.Writer.Strict
main = do
let generators = (Genera
浏览 0提问于2017-12-15得票数 0
回答已采纳
我理解(某种程度上) monad，并理解操作符<-将从monad提取值。
但是它是如何处理不同类型的呢？
通常，我看到它被用于从IO monad中提取字符串。但是，在下面的示例代码中，无法看出为什么它在主第3行失败，抱怨它期望的是一种IO int类型？编译器是如何推断需要IO int的？
另外，它(<-)在multWithLog方法中做什么？
import Control.Monad.Trans.Writer.Lazy
main = do
putStrLn $ show $ logNumber 3 -- prints WriterT (Identity (3,["G
浏览 0提问于2018-09-04得票数 2
回答已采纳
我尝试使用FFI将以下JavaScript函数导入到PureScript中：
function getGreeting() {
return "Hi, welcome to the show."
}
但我不确定应该是什么类型。我能得到的最接近的东西是：
foreign import getGreeting :: Unit -> String
我确实希望getGreeting保持为一个函数，而不是将其转换为常量。
有没有更好的方法来写类型？我试着看看如果我用这种签名在PureScript本身中定义一个伪函数，PureScript会做什么：
var getGreeting
浏览 2提问于2017-07-19得票数 4
回答已采纳
我正在尝试将purescript-halogen与websockets结合使用，但经过多次尝试，我无法使它们一起工作。
我已经看到了和菲尔关于Driver函数的答案。卤素也有一个Driver函数，但是我需要用Aff效应运行Driver函数，而purescript-websockets-simple使用Eff效应。
我不知道如何将websocket包的同步回调转换为运行在Aff monad中的异步代码。我需要使用AVar吗？我需要purescript-coroutines-aff吗？如果是的话，我该如何将这些部件连接在一起呢？
预先感谢任何正确方向的指点！
浏览 2提问于2016-07-14得票数 8
回答已采纳
1回答
我有模块：
module Writer where
import Prelude hiding (Monad, (>>=), return, (=<<))
main = putStrLn "hello"
class Monad m where
return :: a -> m a
(>>=) :: m a -> (a -> m b) -> m b
(=<<) :: (a -> m b) -> m a -> m b
(=<<) = flip (>>
浏览 6提问于2019-12-11得票数 0
回答已采纳
在测试时，我想从磁盘读写文件(JSON in，JSON out)。我如何在PureScript中做到这一点？在Haskell中，我有类似这样的东西
main :: IO ()
main = do
input <- readFile "input.json"
writeFile "output.json" $ process input
到目前为止，我所有的尝试都失败了，包括尝试从import Node.FS.Sync使用readFile。
顺便说一句，如果有任何其他(更好的)方法读取我的JSON文件，请让我知道。(我不是JavaScript专家，但
浏览 4提问于2016-03-01得票数 9
我正在尝试使用STStrMap purescript模块来维护一个长时间运行的服务器应用程序的映射。这是一个非常简单的字符串映射。这是我到目前为止所知道的：
import Data.StrMap.ST (new, STStrMap, poke)
import Control.Monad.ST (ST, runST)
type MyMap = forall h e. Eff ( st :: ST h | e) (STStrMap h String)
myMap :: MyMap
myMap = new
-- pokeAString :: String -> String ->
浏览 7提问于2016-08-07得票数 1
我是函数式编程的新手，最近在学习，但当我使用时，我被下面的程序卡住了：
import Control.Monad.Writer
logNumber :: Int -> Writer [String] Int
logNumber x = Writer (x, ["Got number: " ++ show x])
multWithLog :: Writer [String] Int
multWithLog = do
a <- logNumber 3
b <- logNumber 5
return (a*b)
浏览 2提问于2012-07-27得票数 100
回答已采纳
当试图将以下代码加载到ghci中时：
import Control.Monad.Writer
newtype Writer w a = Writer { runWriter :: (a, w) }
logNumber :: Int -> Writer [String] Int
logNumber x = Writer (x, ["Got number: " ++ show x])
multWithLog :: Writer [String] Int
multWithLog = do
a <- logNumber 3
b &
浏览 0提问于2016-12-06得票数 0
回答已采纳
我正在使用“最终无标记”风格在PureScript中实现嵌入式领域特定语言。可以在上找到该存储库
问题就在这里。给出一个非常简单的文件系统的抽象定义：
class (Monad m) <= MonadFileSystem m where
cd :: FilePath -> m Unit
ls :: m (Array (Tuple FilePath FileType))
cat :: Array FilePath -> m String
可以很容易地提供这样的实现()，它可以用作嵌入式语言并解释(或运行
浏览 10提问于2017-02-11得票数 3
回答已采纳
我现在正在学习有关Writer monad的知识，我不确定在do块中同时读取monad的值和累加器是否正确。例如，在下面的coltzSeq函数中，我希望读取数组累加器的长度作为函数的最终计算。有没有可能这样做，或者这是对Writer的错误使用？显然，我可以让调用者读取最终数组的长度，也可以使用State monad，但这对我来说只是一个练习。
module Main where
import Prelude
import Data.Tuple
import Control.Monad.Writer
import Math (remainder, (%))
import Data.Int (t
浏览 11提问于2016-09-16得票数 0
回答已采纳
例如，PureScript在一节中指出，“效果处理程序通常会从集合中减去效果”。但是，示例非常不透明，我无法解决如何编写自己的处理程序来实现这一点。
具体来说，我正在使用purescript-aff和。我想结合使用runAff (来自purescript-aff)和get (来自purescript-affjax)。
问题是get使用Affjax，而runAff需要使用Affjax。
Affjax的定义是：
type Affjax e a = Aff (ajax :: AJAX | e) (AffjaxResponse a)
Aff的定义是：
foreign import data Aff :
浏览 4提问于2015-05-27得票数 6
回答已采纳
我正在开发一个基于miso的the应用程序，并尝试将Transition Action InnerModel ()的模型(状态)包装到Transition Action ModelWrapper ()中，其中 type Miso.Transition action model = StateT model (Writer [Sub action]) 和data ModelWrapper = ClientModel Clients.Model | ... 不幸的是，我似乎找不到一种方法来修改状态的类型，或者根本不确定我必须做什么。 documentation展示了如何处理镜片库的大部分内容。到
浏览 14提问于2019-02-08得票数 2
回答已采纳
问题：
我需要在同一个Haskell monad转换器堆栈中编写不同类型的作者单曲。除了使用tell编写调试消息之外，我还想使用它来编写其他数据类型，例如要在其他上下文中传输的数据包。
我查过了一个通灵作家单曲的黑客攻击。我希望找到的是一个类似于作者的monad，它支持多种数据类型，每个数据类型在runWriter结果中表示一个不同的“逻辑”通道。我的搜索没有找到任何线索。
解决方案尝试1:
我解决这个问题的第一种方法是按照以下两条路线对WriterT进行两次堆栈：
type Packet = B.ByteString
newtype MStack a = MStack { unMStack
浏览 1提问于2011-09-20得票数 12
回答已采纳
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
回答已采纳
正如标题所述，我试图在我的logShow函数中使用handleAction。我导入了Effect.Console (logShow)并尝试像这样使用它，每次单击一个按钮：
handleAction ∷ forall o m. Action → H.HalogenM State Action () o m Unit
handleAction = case _ of
Update -> do
logShow "Hello"
H.modify_ \st -> st { field3 = st.field3 + 1 }
但是我只得到了下面的错误，我不太明
浏览 3提问于2019-09-04得票数 2
回答已采纳
使用pipes库，我想编写一个程序来从某些源读取数据并以单态方式(比如，使用Sum)进行累加。最简单的方法是，
import Control.Proxy as
import Data.Monoid (Sum)
main = do
let source = enumFromToS (0::Int) 5
a <- runWriterT $ runProxy $ source >-> foldD Sum
print a
当然，虽然这适用于小的源代码，但由于WriterT累加器的惰性，大的输入将导致可怕的堆栈溢出。
值得庆幸的是，pipes似乎
浏览 0提问于2013-01-25得票数 4
回答已采纳
我正在从“向你学习哈斯克尔以获得伟大的好处”教程中学习哈斯克尔，我已经在上学到了这一部分。这里有一个我搞不懂的例子。
import Control.Monad.Writer
logNumber :: Int -> Writer [String] Int
logNumber x = writer (x, ["Got number: " ++ show x])
multWithLog :: Writer [String] Int
multWithLog = do
a <- logNumber 3
b <- logNumber 5
浏览 24提问于2019-03-28得票数 2
我正试图通过编写我自己的pipes函数来学习sum包，现在我遇到了困难。我不想使用来自Pipes.Prelude的实用程序函数(因为它有sum和fold以及其他使其变得微不足道的函数)，而只使用Pipes.Tutorial中描述的信息。本教程没有讨论Proxy的构造函数，但是如果我查看sum和fold的源代码，它使用这些构造函数，我想知道是否有可能在不了解这些低级细节的情况下编写sum函数。
我很难接受这个函数如何能够继续接受值，只要有可用的值，然后以某种方式将该和返回给用户。我想这种类型是：
sum' :: Monad m => Consumer Int m Int
在我看来，
浏览 5提问于2016-02-01得票数 8
回答已采纳
我在“学习一个haskell”中的部分中看到了下面的示例。
import Control.Monad.Writer
logNumber :: Int -> Writer [String] Int
logNumber x = Writer (x, ["Got number: " ++ show x])
multWithLog :: Writer [String] Int
multWithLog = do
a <- logNumber 3
b <- logNumbe
浏览 5提问于2014-05-28得票数 3
回答已采纳
1回答
我正试图将mocha绑定写到PureScript中，并且对Control.Monad.Eff完全感到困惑。
describe(function(){
//do stuff
});
Describe是一个函数，它不需要任何信息并返回IO，或者Eff或者其他什么意思(副作用发生了，没有返回值)。
到目前为止我的尝试
foreign import describe
"function describe(n){ \
\ return function(){ \
\ window.describe(n); \
\ };
浏览 2提问于2014-07-14得票数 12
回答已采纳
2回答
函数中不一致的do表示法
、、、
为什么允许这一功能：
-- function 1
myfunc :: String
myfunc = do
x <- (return True)
show x
而这并不是：
-- function 2
myfunc :: String
myfunc = do
x <- getLine
show x
编译错误：
Couldn't match type `[]' with `IO'
Expected type: IO Char
Actual type: String
我明白为什么函数2不能工作，但是为什么函数1工作呢？
为什么这样会起作用：
--
浏览 1提问于2020-10-09得票数 7
回答已采纳
1回答
卤素，副作用(随机数)
、、、
在PureScript Halogen项目中，我希望将状态设置为随机数，但是如何提取值？正常人
r <- randomInt 1 10
当它在eval函数中时不编译。
module Main where
import Prelude
import Control.Monad.Eff (Eff)
import Control.Monad.Eff.Random (randomInt, RANDOM)
import Halogen as H
import Halogen.HTML.Events.Indexed as HE
import Halogen.HTML.Indexed as HH
i
浏览 3提问于2016-09-30得票数 1
回答已采纳
3回答
我最近一直在和作家Monad一起玩，我遇到了一个似乎是空间泄漏的地方。我还不能说我完全理解这些东西，所以我想知道这里发生了什么，以及如何解决它。
首先，下面是如何触发此错误：
import Control.Monad.Writer
import Data.Monoid
foo :: Integer -> Writer (Sum Integer) Integer
foo 0 = return 0
foo x = tell (Sum x) >> foo (pred x)
main = print $ runWriter $ foo 1000000
我得到：
Stack spa
浏览 6提问于2011-10-11得票数 25
回答已采纳
我成功地使用以下命令序列通过purescript通过nodejs运行了pulp的helloworld nodejs：
$ pulp init
...
$ pulp run
* Building project in /data/works/beta_projects/js_games/processing/hello-ps
* Build successful.
Hello sailor!
接下来，我希望通过将Hello sailor!消息注入到div内部文本中，在浏览器中以正文文本的形式生成它。
<html>
<body>
<div id="
浏览 0提问于2017-09-25得票数 4
回答已采纳
1回答
我对函数式编程和Purescript都很陌生。我正试图从键盘上按下键来获取键码。我制作了一个eventListener，它在触发按键事件并触发事件侦听器函数测试时触发。我在将事件转换为键盘用户和从键盘用户获取密钥代码时遇到了问题。我正在附加我的代码并错误地产生它。
import Control.Monad.Eff (Eff)
import Control.Monad.Eff.Class
import Control.Monad.Eff.Console (CONSOLE, log)
import DOM (DOM)
import DOM.Event.EventTa
浏览 2提问于2018-03-03得票数 0
回答已采纳
我正在学习，并决定为一种简单的语言(带有循环构造)编写一个解释器，类似于使用的Brainfuck。我想在一定数量的声明之后终止翻译。
这个简单的语言是由能够容纳一个Int和5个指令输入、输出、增量、减少和循环的单存储器单元组成的。当内存中的值为零时，循环终止。从列表中读取输入，并将类似的输出写入另一个列表。增量和减值对应于内存的+1和-1。
我使用World类型来跟踪输入、输出(流)和内存，Sum Int来计算评估的指令数。Except World用于在某些语句之后终止计算。
module Transformers where
import qualified Data.Map
浏览 0提问于2018-11-25得票数 1
回答已采纳
看看一些Writer monad示例，在“学习一个Haskell”的例子中，我不知道在何处重载了在最后一行表达式中使用*乘法运算符来处理由logNumber函数生成的Writer对象：
import Control.Monad.Writer
logNumber :: Int -> Writer [String] Int
logNumber x = Writer (x, ["Got number: " ++ show x])
multWithLog :: Writer [String] Int
multWithLog = do
a <-
浏览 2提问于2022-09-27得票数 1
回答已采纳
我对purescript和haskell (甚至是javascript和node)都是新手，所以我很难弄清楚如何在purescript中保存一个子进程的输出。我使用的是purescript-node-子进程和purescript-node-fs模块。基本上，我遇到的问题是：
import Node.ChildProcess (CHILD_PROCESS, SpawnOptions, defaultSpawnOptions, Exit(..), spawn, onExit, stdout)
import Node.Stream (onData)
type CPEffect = forall e
浏览 0提问于2017-01-03得票数 3
我是Purescript的新手，我正在尝试编写一个函数，它可以获取任何记录值，并在字段和值上迭代，并构建一个查询字符串。
我的想法是：
buildQueryString :: forall a. PropertyTraversible r => r -> String
我想这样用：
buildQueryString {name: "joe", age: 10} -- returns: "name=joe&age=10"
是否有一种方法可以用现有的成语在Purescript中编写类似的东西，还是必须为此创建自己的自定义类型类？
浏览 8提问于2017-06-26得票数 3
回答已采纳
1回答
单片变压器的解剖
、、
我试着学习单台变压器，基于标准的Haskell库(mtl？变形金刚？不知道我下载的Haskell平台-7.4.1附带的是哪一个)。
我认为我注意到的是每个单台转换器定义的公共结构：
基本类型(“基本”)
- Monad instance
变压器类型(“BaseT”)
- Monad instance
- MonadTrans instance
- MonadIO instance
变压器类(“MonadBase”)
- some operations
- instances for other 'BaseT's
例如，对于Writ
浏览 2提问于2012-11-28得票数 10
在Haskell中，Writer和WriterT有什么不同？一个比另一个更受欢迎吗？
浏览 0提问于2011-10-03得票数 10
回答已采纳
3回答
也许和作家在一起
、、
这是我的鸡蛋包装工厂：
type Eggs = Int
data Carton = Carton Eggs deriving Show
add :: Eggs -> Carton -> Maybe Carton
add e (Carton c)
| c + e <= 12 = Just (Carton $ c + e)
| otherwise = Nothing
main = do
print $ pure(Carton 2) >>= add 4 >>= add 4 >>= add 3
看来工作得很好，我可以很好
浏览 3提问于2016-07-05得票数 5
回答已采纳
我正在使用PureScript制作一个画布游戏，我想知道处理事件侦听器的最好方法是什么，特别是在自定义的monad堆栈中运行回调。这是我的游戏栈..。
type BaseEffect e = Eff (canvas :: CANVAS, dom :: DOM, console :: CONSOLE | e)
type GameState = { canvas :: CanvasElement, context :: Context2D, angle :: Number }
type GameEffect e a = StateT GameState (BaseEffect e) a
我想要做的
浏览 1提问于2017-02-07得票数 4
回答已采纳
当我通读了LYAH的最后一章并与会面时，我给自己布置了一个任务，让它成为State monad，这样源代码看起来就会更清晰：
manipList = do
goForward
goForward
goBack
同时，我想通过利用Writer monad来记录这个过程，但我不知道如何将这两个monad组合在一起。
我的解决方案是在状态中保留一个字符串，我的源代码是
import Control.Monad
import Control.Monad.State
type ListZipper a = ([a], [a])
-- move focus forward, p
浏览 3提问于2012-09-08得票数 9
回答已采纳
如何使用Reader/ReaderT对列表类型使用ask，例如，[(Int, Int)]，然后在list monad (为ask编辑的类型)中执行计算？
我的坏代码如下所示，为了清晰起见，缩短了代码：
attempt :: Int -> Int -> ReaderT [(Int,Int)] [] [[Int]]
attempt start end =
do (s0, e0) <- ask
return [0]
为了让您了解我要做的事情，下面是相同的函数，使用list monad，而不是Reader：
paths :: [(Int, Int)] -> I
浏览 4提问于2014-06-12得票数 4
回答已采纳
我写了一个使用列表理解的递归算法来执行递归。我认为我的代码清晰易读，并且它产生的结果是正确的。
然而，我发现很难理解我的代码在某些输入上的性能。我认为使用Writer monad将一些日志记录到我的代码中会很有用。
我发现很难将我的非一元代码转换成一元代码。最终，我让它正确编译和运行，但单行代码比原始代码更不容易理解。
原来的问题太复杂了，无法在这里解释，所以我写了一个玩具示例，展示了非一元和一元方法，但实际上并没有计算出任何有用的东西！
所以我的问题是:有没有更好的方法来编写函数fMonadic，使其更具可读性？
import Control.Monad (forM)
import Cont
浏览 0提问于2018-02-13得票数 5
2回答
给出了变压器的嵌套，:: T2 of T1 of M0**，，:: T2 of M0**，，，，，，，，，，，，，，，，，，，，，，，，，，，，，，如何利用** ** :: M2 ？
下面是一个例子:我正在编写一些需要读取、日志记录和状态的函数。定义：
gameRoutine :: WriterT [String] (ReaderT Env (State Viable)) NUM
如果我想打电话给stateFunction :: State Viable NUM
甚至是stateWithReaderFunction :: ReaderT Env (State Viable) NUM，
我可以用
浏览 5提问于2016-03-26得票数 3
回答已采纳
在纯文本列表中是否有类似于预测的方法？foreach方法接受列表中的每一项并返回一个单元。
打印列表中的每一项是一种很好的方法。
编辑:我正在尝试下面建议的遍历方法，但是我得到了一个错误
import Data.Traversable (traverse)
removeDuplicate :: AddressBook -> AddressBook
removeDuplicate = nubBy (\a b -> a.firstName == b.firstName && a.lastName == b.lastName)
let dedup = remov
浏览 1提问于2018-02-13得票数 3
回答已采纳
因此，懒惰的一个理由是，它允许更好地分离关注点。如果我知道如何提供数据，我不应该仅仅假设数据的用户需要一些有限的数据块。懒惰让我产生了一个无限的列表，然后推迟加工/切割如果消费者。
我想把这个想法扩展到包括一元效应。这是我的代码
module Main where
import Control.Monad.Writer
longComputation :: Writer [String] [Int]
longComputation = do
let list = iterate (+1) 0
mapM (\n -> tell [show n] >> ret
浏览 2提问于2015-07-23得票数 1
回答已采纳
1回答
我正在努力学习Purescript。许多文献都集中在抽象概念上，这种语言显然非常适合抽象概念；然而，很难将这些概念带回熟悉的东西。 为了更好地理解Purescript，并在一定程度上挑战Purescript的过程性任务，我想重写一个用Typescript编写的非常简单的Node脚本。 该脚本从命令行读取一些输入，调用一个异步函数来补充(服务器端) redux存储，然后将一些数据打印到控制台。 import { store } from '../server/store'
import { deep, log, red } from '../src/io'
im
浏览 25提问于2019-09-19得票数 2
我有一个用于计算的monad，它可能会失败并执行一些日志记录：
f1 :: WriterT [String] (Either String) a
我有一个函数，它不会失败，但会做一些日志记录：
f2 :: Writer [String] b
使用f2中的日志更新f1中的写入器monad并捕获f2计算的输出的最佳方法是什么？目前我正在做这件事：
f2result <- (\(r,l) -> do {tell l; return r}) (runWriter f2)
我正在使用lift用不同的计算更新内部的monad，所以切换Writer和任一monad都不能解决问题。
浏览 1提问于2012-03-14得票数 7
回答已采纳
1回答
一个函数中两个多态类的解释器
、、、、
我有这个多态代码(请参阅)，用于模型和客户端的通用monads：
import Control.Monad.Writer
class Monad m => Model m where
act :: Client c => String -> c a -> m a
class Monad c => Client c where
addServer :: String -> c ()
scenario1 :: forall c m. (Client c, Model m) => m ()
scenario1 = do
act "A
浏览 3提问于2020-03-22得票数 0
回答已采纳
我正在寻找关于编写惯用PureScript代码的反馈信息。下面的代码是从Twitter中读取的示例代码。助手方法的签名如下：
-- read consumer credentials from a config file
readConfig :: String -> Aff (Either String TwitterCredentials)
-- get the bearer authentication using the consumer credentials
getTokenCredentials :: TwitterCredentials -> Aff (Eithe
浏览 0提问于2018-10-29得票数 3
回答已采纳
试图理解Monad和折叠之间的关系。我知道Monad、应用程序和函子类型的部分价值是它们将函数提升到结构之上的能力，但是如果我想为Monad中包含的值生成一个摘要值(例如min或max)怎么办？
这是不可能的，没有一个累加器的权利(如在折叠式)？而要有一个蓄能器，你必须注入或摧毁结构？
min :: Ord a => a -> a -> a
foldMin :: (Foldable t, Ord a) => t a -> Maybe a
foldMin t = foldr go Nothing t
where
go x Nothing = Just
浏览 1提问于2018-11-10得票数 4
回答已采纳
我们知道do块只是语法糖。但是，它是如何确定它所处的一元语境的呢？假设我们没有在do块中的任何位置使用<-操作符。
浏览 2提问于2017-07-25得票数 3
回答已采纳
我有以下代码：
foo :: Int -> IO ()
foo n = do
x <- bar 6
print "foo running..."
print x
bar :: Int -> IO Int
bar n = do
print "bar running..."
return (n*2)
现在，我想在where子句中添加"x <- bar 6“部分，如下所示：
foo :: Int -> IO ()
foo n = do
print "foo running
浏览 3提问于2014-11-16得票数 7
回答已采纳
在我的业务领域-金融机构的后台IT -软件组件携带全局配置，记录其进度，出现某种错误处理/计算短路，这是非常常见的……可以由Haskell中的Reader，Writer，或者可能是monad之类的东西很好地建模，并与monad transformers组合在一起。
但似乎有一些缺点: monad转换器背后的概念相当棘手和难以理解，monad转换器导致非常复杂的类型签名，并且它们会造成一些性能损失。
所以我想知道:在处理上面提到的那些常见任务时，monad transformers是不是最好的实践？
浏览 2提问于2010-05-04得票数 54
回答已采纳
2回答
我有一种类型表示我的应用程序的游戏状态，对于这个问题，假设它很简单，比如：
Game { points :: Int }
我定义了我的游戏逻辑与国家单体。
type GameState a = StateT Game a
addPoints :: Int -> GameState ()
addPoints num = do
Game p <- get
put $ Game (p+num)
我希望能够简单地丢弃一些输入
evenResult num = do
Game p <- get
return $ even (p + num)
add
浏览 7提问于2012-04-23得票数 3
回答已采纳
我正在使用purescript-agronauth库手动编码和解码以下类型的json和back。但以下内容不起作用
data Attributes
= TextAlignment TextAlign
| TextScale String
| LineHeight String
instance encodeAttributes :: EncodeJson Attributes where
encodeJson r =
case r of
(TextAlignment p) ->
"key" := (f
浏览 0提问于2018-11-11得票数 0
回答已采纳
扫码
添加站长 进交流群
领取专属 10元无门槛券
手把手带您无忧上云
相关资讯
热门标签
云服务器
ICP备案
对象存储
即时通信 IM
实时音视频活动推荐
腾讯云开发者
