函数式编程是一种基于使用函数构建抽象,避免副作用和状态变化的编程范例。纯函数编程是线程安全的。
通过某种转换来“提升”Haskell 中二元函数的两个参数,最惯用的方法是什么?
在 Haskell 中通过某种转换“提升”二元函数的两个参数最惯用的方法是什么?让这个运算符被命名为“lift”,所以我希望它的类型是 电梯 :: (a ->...
我目前正在涉足专家系统、emacs lisp,并阅读有关人工智能的知识。 传统上,人工智能与 LISP 相关,专家系统与 CLIPS 相关。
Scala 编译器在请求第二个参数集中的函数时抱怨“对重载定义的引用不明确”
这看起来很奇怪。以下内容将编译良好: def foo(s: 字符串) = "balsh" def foo(s: 字符串)(s2: 字符串) = "kahsd" 如果我将第二个参数隐式设置,它仍然可以正常编译。
使用 LanguageExt.Core 库时如何从 Aff<string> 中获取字符串
我开始在 C# 中实现 LanguageExt.Core 库,构建一个最小的 API 项目。现在,我有一个 Validate 类,它运行所有验证,您可以使用 runtime.Validate 执行这些验证,...
所以我正在解析这个XML文件。一旦我到达其中的一个节点,我就有一个子节点用于代码,一个子节点用于描述,一个或多个(孙子)节点保留外部节点引用。 我第一次尝试
我想创建一个元组,其中包含一个箭头和一个描述该箭头的字符串。如果我使用函数(而不是箭头)执行此操作,则以下内容将按预期工作: 乐趣时间10 = (*10) 描述10 =“
假设我有一个函数数组,其中每个函数都接受前一个函数的返回值,并且我在该函数上调用 Array#reduce,其初始值是...
我正在学习现代C++,并且我是函数范式的专家。情况如下:我想使用 C++23 及其范围库计算帕斯卡三角形中的行。 这是实现...
我正在 F# 中研究箭头,我想创建一个 *** 运算符。 但我注意到,(***) 是在函数定义中表达运算符的必要方法,它与 F# 块注释重叠
函数深度优先搜索在有向无环图中很可爱。 然而,在有循环的图中,我们如何避免无限递归?在程序语言中,我会在点击节点时对其进行标记,但是...
Array.prototype.filter() 的就地替代方案是什么
我有一个数组,我想从中删除一些元素。我不能使用 Array.prototype.filter(),因为我想就地修改数组(因为它节省了内存分配,而且更多
这是在 Haskell 中查找毕达哥拉斯三元组的合适方法吗?
我遇到了这个问题,要求我找到自然数的所有毕达哥拉斯三元组,使得所有 3 个数字都是互质的,按 c 的升序排列。 我想出了这个解决方案,使用一个函数......
我正在学习 R 编程。我无法理解函数中的函数在 R 中如何工作。示例: <- function(y) { function() { y } } f() f(2)() I'm not able to understand why $f(...
这是在 Haskell 中利用 Ghosts of Departed Proofs 的正确方法吗?
我正在尝试以下中介绍的方法: 马特·努南。 2018. 逝去证据的幽灵(功能性珍珠)。第 11 届 ACM SIGPLAN Haskell 国际研讨会论文集(Haskell
让我们考虑一下 JavaScript 中 map() 函数的简单使用: [1,2].map(x => x + 1).map(x => x + 2); // [3,4] 我想知道每个箭头函数调用是否在单独的循环中执行...
我想用 _.filter 实现类似 _.first 的效果,也就是说,拥有一个元素集合,我想获得第一个与真值测试(迭代器)匹配的元素(如果存在)。 例如,...
我最近正在学习方案,并对这样的设计感到好奇:如果没有标识符,则无法评估宏,而 lambda(过程)可以这样做。 例如,我可以使用匿名 lambda 作为...
如何使用 State monad 或 StateT monad 转换器来模拟 IO monad 来测试在基于 IO 的 Monadic 堆栈中运行的函数?
在测试中使用 State 作为 IO 的替代方案 采取这样一个简单的功能 富::IO() foo = putStrLn“再见” 这是不可测试的,因为它影响终端的状态,wh...
是否可以定义一种数据类型,仅包装存在特定多参数类型类实例的那些类型的值?
这里是说明问题的代码: {-# 语言量化约束 #-} 类 SomeClass a b 其中 someFunction :: a -> b -> a 数据 FirstInInstanceOfSomeClass = forall a. (对于所有 b.
我试图了解是否所有纯函数在执行顺序方面都是可交换的。也就是说,假设没有外部条件,纯函数的执行顺序是否重要......