1回答
IORef的用法正确吗？
、、、、
第一次尝试是使用ioMonad.whileM，，因为它实际上在IO中返回值，并编写类似的内容(然后我们可以“安全地”将字符串转换到Int)： numref.flatMap(_.read).map(_.toInt)
浏览 5提问于2015-05-30得票数 1
1回答
我在理解Haskell中的IORef类型和MVar类型之间的基本区别时遇到了一些问题。有人能帮我解决这个问题吗？它们似乎解决了同样的问题。MVar似乎是针对多线程的，但IORef有atomicModifyIORef功能。
谢谢!
浏览 5提问于2011-03-07得票数 19
回答已采纳
1回答
[IORef GameObject],}updatePlayer :: GameObject -> [IORef GameObject] -> IO GameObject
在这个函数中，它检查每个对象的碰撞，然后移动播放器。但是我希望updatePlayer函数是纯的，所以我需要使用不同的数据结构。问题是unsafeUnfreeze和unsafeFreeze只在某些数据类型上工作。我还找到了IOA
浏览 3提问于2014-01-29得票数 1
回答已采纳
1回答
有一些读取IORef的代码，并根据一些条件和计算创建一个新值。现在，它将新值写入该IORef。但它有可能根本没有改变。新值可能与旧值相同。对于是在写入IORef之前检查值是否不同，还是不管怎样只写入IORef，需要考虑哪些因素？
在设置之前，writeIORef是否会检查该值是否已更改？通过首先检查，您是否可以避免写入并尽可能节省一点性能？
浏览 3提问于2011-06-14得票数 3
回答已采纳
1回答
我想知道在哈斯克尔是否有合法的使用IORef？更具体地说，如果有人能回答以下问题或指出一个适当的地方了解更多这方面的情况，我将非常感激：
浏览 2提问于2018-09-23得票数 14
回答已采纳
2回答
这段代码到底是做什么的？someMap是myMap引用的对象( ::Data.Map.Strict.Map)的副本，还是仅为引用？我的意思是，在我用someMap阅读(通过另一个线程)之后，readIORef能改变它吗？就像C很不稳定..。有可能吗？
浏览 2提问于2019-08-14得票数 2
回答已采纳
在非常好的中，引入了一个用于处理解释语言中的变量的环境(方案，其中变量是可变的)
-- where LispVal在我对GHC如何编译程序的(有限的)理解中，如果我们后来用Map.insert更改了一个不应该复制整个映射的变量的话。那么，这里真的需要IORef的易变性吗？换句话说，很明显，IORef是这里的出路吗？此外，我的印象是，如果可能的话，最好避免</
浏览 4提问于2022-09-15得票数 3
回答已采纳
3回答
我一直试图在Haskell中编码一个需要使用大量可变引用的算法，但与纯惰性代码相比，它(也许并不令人惊讶)非常慢。考虑一个非常简单的例子：import Control.Monad
import Control.Monad.IdentityGHC7.8.2，main1需要1.2s，使用290 1MB内存，而main2只需要0.4s，只需要1MB。有什么办法阻止这种增长，特别是在太
浏览 5提问于2014-06-05得票数 9
回答已采纳
1回答
我想知道，如果我知道a的大小是x，那么IORef a类型的变量的内存占用量是多少。另外，与常规变量赋值(如x= 3)相比，应用于整数的函数writeIORef的预期性能如何？
浏览 13提问于2020-05-04得票数 3
回答已采纳
该程序还记录用户输入并将其存储在StateData中。现在我希望这个程序支持那些用户输入的选项卡完成。.abcde -- suggestions我是新来
浏览 2提问于2021-03-29得票数 4
回答已采纳
3回答
我正在设计一种语言，并想知道如何将类似C++的引用与它们在类型系统中的位置结合起来。在C++中，像int&这样的引用类型和它的原始类型int是两种不同的类型。但是，我认为这与类型系统的其他部分不一致:可以用int&代替int，它们有时表现为相同的类型，有时没有显式转换(这是首先使用引用的原因之一)。在这个二级类型系统中有两种类型：ref和non-ref (默认)，这些标签将在其他类似的标签(如const (或mut) )中写入--主要是在引入新绑定或函数
浏览 0提问于2015-07-30得票数 1
下面是我使用Data.IORef编写臭名昭著的阶乘的尝试。import Data.IORef
go = do n <- readIORefreadIORef accReffacM n = do nRef <- newIORef n这段代码被认为是关于如何使用</em
浏览 0提问于2023-02-21得票数 3
回答已采纳
我正在使用这个令人惊叹的，并且已经完成了核心任务，并且想要扩展它，但是遇到了问题。我想做的是让eval函数在运行时可用，但在将其存储到全局环境中时遇到问题。运行时环境的类型为：Haskell eval实现的类型如下：全局环境是以下类型的映射：因为它包含执行IO的函数和<em
浏览 0提问于2012-05-10得票数 4
回答已采纳
1回答
由于连续访问可能位于同一个桶中，因此可以通过以下方式对其进行优化：棘手的一点是在JavaScript中，我只是非纯地修改容器对象上的一个隐藏变量。~
我想出了两种可能
浏览 3提问于2015-08-26得票数 5
我试图对非一元-> a函数、StateT和IORef之间更新字段的性能差异进行基准测试。我的基准代码如下：{-# LANGUAGE MultiParamTypeClasses #-} writeIORef ref $ r { ra = ra r + 1 }
modifyRecord ref
浏览 0提问于2018-03-03得票数 2
回答已采纳
1回答
对于在Haskell中实现命令式语言的项目，我感兴趣的是使用更有效的指针。已经有一个了。上面有一个和。import Data.IORef
data DLL a = DLL a (Maybe (IORef (DLL a))) (Maybe(IORef (
浏览 3提问于2017-04-25得票数 11
回答已采纳
我想在Haskell中模拟这一过程，当然，这很简单。不过，为了让事情变得有趣，我想以一种使玩家B不能“作弊”的方式来编写代码。这意味着两件事：-玩家B代码不允许看到密码的正确值。玩家A代码给玩家B代码一个检查其猜测的函数。-播放器B代码不允许调用该函数超过五次。以某种方式，播放器A代码必须计算函数被调用的次数。
这在具有私有可变变量的OO语言中很容易实现。在Haskell中，我使用IORef对其进行
浏览 0提问于2018-01-24得票数 3
position :: Int }move :: Car -> Int -> Car因此，move是一个“纯”我想我需要在可变变量中容纳一辆汽车，这样我才能得到当前的位置(在对汽车做了一些动作之后)。上面的代码似乎没问题。问题：
我是否可以定义一个函数，将任何纯函数(如move :: Car -> Int -> Car )转换为将move应用于停放的汽车的函数Parking -> Int -
浏览 6提问于2014-01-16得票数 3
回答已采纳
1回答
在纯代码中避免IORefs
、、、、
我注意到通过IORefs使用IO monad来提供指针。我想，在纯代码中本地使用unsafePerformIO时，每个人都会愉快地调用它，因为数据结构是如此容易理解，但是..也许是一个围绕IO的包装器，通过禁止大多数IO操作来减少不可避免的unsafePerformIO的不安全“外观”？
浏览 10提问于2012-04-24得票数 25
回答已采纳
扫码
添加站长 进交流群
领取专属 10元无门槛券
手把手带您无忧上云
相关资讯
热门标签
云服务器
ICP备案
对象存储
腾讯会议
云直播活动推荐
腾讯云开发者
