对期权的提升函数

问题描述有没有办法提升一个简单的函数,就像这样fnadd(a:i32,b:i32)->i32{a+b}对Option(或任何其他一元类型)进行操作,类似于在Haskell中使用Applicative我知道此解决方案:pubfnadd(a:Option<i32>,b:Option<

发布:2022-10-16 标签:functional-programmingmonadsrustlifting


什么是“举&quot;?在斯卡拉?

问题描述有时当我阅读Scala生态系统中的文章时,我会读到提升"/提升"这个词.不幸的是,没有解释这究竟意味着什么.我做了一些研究,似乎提升与功能价值或类似的东西有关,但我无法找到以初学者友好的方式解释提升实际上是什么的文本.SometimeswhenIreadarticlesi

发布:2022-10-16 标签:functionscalafunctional-programminglifting


无法将我的头环绕在“抬起&quot;上在 Ramda.js 中

问题描述查看Ramda.js的源代码,特别是lift"函数.LookingatthesourceforRamda.js,specificallyatthe"lift"function.liftliftN这是给定的示例:varmadd3=R.lift(R.curry((a,b,c)

发布:2022-10-16 标签:javascriptfunctional-programmingramda.jslifting


在 Haskell 中提升高阶函数

问题描述我正在尝试构造一个类型的函数:I'mtryingtoconstructafunctionoftype:liftSumthing::((a->mb)->mb)->(a->tmb)->tmb其中t是一个monad转换器.具体来说,我有兴趣这样做:wheretisamonadt

发布:2022-10-16 标签:haskellhigher-order-functionslifting


将类型为`MonadIO`的类的实例提升为转换后的monad

问题描述作为程序的一部分,我需要记录单子计算的数据,我试图定义一个类以使其更加方便.AspartofaprogramwhereIneedtologdatafrommonadiccomputations,Iamtryingtodefineaclasstomakethismoreco

发布:2022-10-16 标签:haskellmonad-transformersliftingtypeclass


以功能方式组合谓词

问题描述BoostHana是否提供将谓词与逻辑运算符组合的方法?DoesBoostHanaprovideawaytocombinepredicateswithlogicaloperators?我指的是这样的东西constexprautoboth=[](auto&&f,auto&&

发布:2022-10-16 标签:c++functional-programmingfunctorboost-hanalifting


提升功能与高阶功能之间的区别

问题描述当人们谈论map,fold或bind时,我通常会听到提升"一词,但基本上每个高阶函数都不都是某种提升吗?Iusuallyhearthetermlifting,whenpeoplearetalkingaboutmap,fold,orbind,butisn'tbasicall

发布:2022-10-16 标签:functional-programminglifting


Scala奇怪的隐式拳击转换错误

问题描述有人可以告诉我以下原因为何不起作用吗?Cansomeonetellmewhythefollowingdoesnotwork?objectTestObject{defmap(f:(Double,Double)=>Double,x2:Array[Double])={valy=

发布:2022-10-16 标签:boxingscalalifting


在Haskell monad中使用纯函数/左举?

问题描述考虑以下功能:foo=[1,2,3]>>=return.(*2).(+1)为了更好的可读性和逻辑性,我想将纯函数(*2)和(+1)移到返回的左侧.我可以这样实现:Forbetterreadabilityandlogic,Iwouldliketomovemypurefunc

发布:2022-10-16 标签:monadshaskellidiomaticlifting


在Haskell中提升State monad的值

问题描述我的解决函数需要花费一个数独生成器/求解器在Haskell中进行学习。在UArray中,但返回一个StateInt(UArray...),这样它也可以返回最大难度级别它是在解决问题时找到的。这是我迄今为止的功能(仍处于非常实验性的早期阶段):importControl.M

发布:2022-09-21 标签:haskellliftingstate-monad