Python
Java
PHP
IOS
Android
Nodejs
JavaScript
Html5
Windows
Ubuntu
Linux
函数编程和模拟对象
我最近正在观看 Clojure 上的网络广播 在其中 演讲者在讨论 Clojure 的 FP 性质时发表了评论 内容类似于 我希望我没有误会他 模拟对象在嘲笑你 不久前 当我观看微软反应式框架开始出现的网络广播时 我也听到了类似的评论 它类
functionalprogramming
mocking
“Alternative”类型类中的“some”和“many”函数[重复]
这个问题在这里已经有答案了 有哪些功能some and many in the Alternativetype 类有什么用 Docs http hackage haskell org packages archive base latest
Scala 中缺少所有参数的部分应用函数
根据我的理解 部分应用的函数是我们可以调用的函数 无需 传递所有 部分必需的参数 def add x Int y Int x y val paf add Int 3 val paf1 add Int Int 在上面的示例中 paf1 指的是
scala
functionalprogramming
如何在惰性函数式编程语言中实现调试?
我想知道如何用惰性函数语言实现调试 你能使用断点 打印语句和传统技术吗 这是个好主意吗 据我了解 纯函数式编程不允许有副作用 除了 monad 之外 执行顺序也无法保证 您是否必须为要测试的每个代码部分编写一个 monad 我想从这个领域更
debugging
functionalprogramming
lazyevaluation
为什么绑定的参数有责任统一其值?
典型的单子bind函数具有以下签名 m a gt a gt m b gt m b 据我了解 我很可能是错的 该功能 a gt m b 只是一个结构的映射函数a到另一个b 假设这是正确的 这就引出了一个问题 为什么bind的签名并不简单 m
Haskell
functionalprogramming
monads
在 React 中将函数传递给 setState() 有什么好处?
我有一个函数叫做onRemove是这样写的 const todos setTodos useState todoData const onRemove useCallback id gt setTodos todos filter todo
ReactJS
ECMAScript6
functionalprogramming
在哪里可以找到 OCaml Option 模块?
我的意思是这个模块 Option http ocaml lib sourceforge net doc Option html 我找不到它 open Option给我Error Unbound module Option并且没有 optio
module
functionalprogramming
ocaml
互动网留下大量多余粉丝是常事吗?
我正在将 lambda 演算项编译到交互网络中 以便使用 Lamping 的抽象算法对其进行评估 为了测试我的实现 我使用了这个教堂编号除法函数 div a b c d b e e d a b e f g e h f h g e e e f
Haskell
Lambda
functionalprogramming
lambdacalculus
interactionnets
使用比较器对列表列表进行排序
我正在考虑使用比较器对列表列表 在 ArrayList 上 进行排序 顺序最大的优先 所有子列表的大小始终相同 例如 一个列表 4 5 6 7 9 10 4 7 8 1 2 3 7 9 12 这应该 7 9 12 7 9 10 4 7 8
Java
Algorithm
Sorting
OOP
functionalprogramming
有人可以澄清一下 Joel On Software 引用的意思吗:(功能性程序没有副作用)
我正在读书乔尔安软件 http www joelonsoftware com 今天又遇到了这个报价 http www joelonsoftware com articles ThePerilsofJavaSchools html 不了解功能
functionalprogramming
声明 C++ 不可变类的惯用方式
所以我有一些相当广泛的功能代码 其中主要数据类型是不可变的结构 类 我声明不变性的方式是通过将成员变量和任何方法设置为 const 来 实际上是不可变的 struct RockSolid const float x const float
c
C11
functionalprogramming
immutability
constcorrectness
在 R 中循环有序集的函数式方法
我正在尝试优化 R 中的算法 该算法在一组有序值上运行 并确定 未来 在该组的更下方 是否存在比给定值更低的值 例如 Value RestOfSeriesContainsLowerValue 5 true 4 true 2 true 1 f
r
functionalprogramming
功能证明 (Haskell)
我没能读懂 RWH 我命令没有人放弃Haskell 函数式编程的技巧 现在我对第 146 页上的这些功能证明很好奇 具体来说 我试图证明 8 5 1sum reverse xs sum xs 我可以做一些归纳证明 但后来我陷入困境 HYP
Haskell
functionalprogramming
proof
方案 - 列表之和
我正在尝试实现一个计算 list 的函数 其名称是sum define sum elemList if null elemList car elemList sum cdr elemList 0 上面的实现给出了错误的结果 例如 gt su
functionalprogramming
SCHEME
什么是“n+k 模式”以及为什么它们在 Haskell 2010 中被禁止?
读书时维基百科关于 Haskell 2010 的条目 http en wikipedia org wiki Haskell programming language Haskell 2010我偶然发现了这个 using only prefi
Haskell
functionalprogramming
ZIO:如何只计算一次?
我正在使用 ZIO https github com zio zio https github com zio zio in my build sbt dev zio zio 1 0 0 RC9 无论我尝试什么 每次需要时都会计算我的结果
scala
functionalprogramming
ZIO
如何从多个嵌套函数中丢弃分隔的延续?
我研究了分隔延续 目前正在尝试丢弃它们以获得类似于引发异常的效果 这就是给我带来麻烦的原因 const structure type gt cons gt const f f args gt run type f Symbol toStri
什么是依赖类型?
有人可以向我解释依赖类型吗 我对 Haskell Cayenne Epigram 或其他函数式语言缺乏经验 因此您可以使用的术语越简单 我就越感激 考虑一下 在所有像样的编程语言中 您都可以编写函数 例如 def f arg result
functionalprogramming
dependenttype
是否有一个直接的解决方案可以在命中 dropWhile 谓词之前*接收元素?
给定一个条件 我想搜索元素列表并返回满足条件的第一个元素和前一个元素 在 C C 中这很简单 int i 0 for i if arr i 0 break 当我们得到满足条件的索引后 获取前一个元素就很容易了 通过 arr i 1 在哈斯克
Haskell
functionalprogramming
查找 lambda 表达式中的自由变量
有谁知道如何找出 lambda 表达式中的自由变量 自由变量是不属于 lambda 参数的变量 我当前的方法 这对我毫无帮助 是简单地使用 car 和 cdr 来遍历表达式 我的主要问题是确定一个值是否是一个变量或者它是否是方案原语之一 有
functionalprogramming
lisp
SCHEME
«
1
2
3
4
5
6
7
8
...36
»