functional-programming 相关问题

函数式编程是一种基于使用函数构建抽象，避免副作用和状态变化的编程范例。纯函数编程是线程安全的。

Coq 映射中的多个赋值给同一个值

我得到了 com 的以下定义，它可以在单个命令中将新值分配给多个变量：感应式 com : 类型 := |跳过 | CAsgn (xs : 列表字符串) (es : 列表 aexp) (* ...

functional-programming coq coq-tactic imperative-programming

回答 1 投票 0

检查列表中所有元素是否相等的Python函数方法

我正在尝试找到Python中可用的函数方法，可用于检查列表中的所有元素是否相等。本能地，我觉得这应该是可能的。我的目标...

python functional-programming

回答 1 投票 0

什么是‘表达问题’？

我对这是什么有一个粗略的了解，但如果有人对“表达问题”有他们认为简洁直观的解释，我很想听听。

programming-languages functional-programming computer-science

回答 3 投票 0

如果类型安全是唯一的动机，那么将 Int （不是一般类型）包装在另一种类型中的正确方法是什么？

我使用了 Map String (Int, Int)，其中两个 Int 用作分子和分母以形成要传递给 fromList 的有理数。然后我意识到在我的代码中的某个点我使用了......

haskell functional-programming type-safety newtype

回答 1 投票 0

我收到最大调用堆栈错误，但不知道为什么？

const isPrime = (数字) => { 返回计数 = (currNum = 2) => { if(currNum === 数字) { 返回真； } if(数字%currNum === 0) { 返回假； } 别的 {

javascript functional-programming

回答 2 投票 0

什么时候不应该使用 React Pure Component (React.memo) 以及错误使用它的缺点是什么？

好吧，React.memo HOC 模仿了“功能组件”，扩展了 React.PureComponent 对“类组件”的作用。如果某些重新渲染是由某些父组件触发的...

javascript reactjs functional-programming react-functional-component

回答 1 投票 0

无法理解Haskell/Clash中奇怪的“where”语法

我对 Haskell 还很陌生，目前正在做一个 Clash 项目。我花了几天的时间来理解这些代码在 Haskell 中的含义：一个例子来自复古冲突一书 https://g...

haskell functional-programming clash

回答 1 投票 0

密度和连续T

在学习函数式编程和探索延续的概念时，我熟悉了类型（monad 转换器）Codensity 和 ContT。它们看起来很相似，但仍然不是...

scala functional-programming monads continuations

回答 1 投票 0

python 中的函数式编程 - 一起使用 map()、filter() 和 sum() - java .stream() 等效吗？

我正在学习 Python 和 Java 中的函数式编程。我有一些 Java 代码，可以从列表中找出双偶数的总和。我想在 Python 中使用函数式编程...

python functional-programming

回答 3 投票 0

Haskell Foldr1 lambda 函数添加元组值

我一直在挠头试图弄清楚这一点。如何使用foldr1（或任何其他折叠）来获取列表中元组的总和。例子：列表 = [(1,2), (3,4)] 总和 = 1...

list haskell functional-programming tuples fold

回答 2 投票 0

CPS中fold_left怎么写？

尽管它已经是尾递归的，但看到它的 CPS 版本仍然很有趣。这是标准的左折叠：让 rec myFoldLeft f acc 列表 = 匹配列表与 | [] -> ACC |哈：...

algorithm functional-programming ocaml

回答 1 投票 0

如何使用 System.Console.ANSI 将字符串包装在转义序列中以使其在终端中着色？

在这里我了解了 System.Console.ANSI，在该文档页面上我读到了“草莓”风味函数，其中我读到了具有 String 类型并且仅包含转义码...

haskell functional-programming ansi terminal-emulator ansi-colors

回答 1 投票 0

Flux.switchIfEmpty - 如果第一个 Flux 完成时没有切换怎么办？

我有以下场景，有两个端点（我们称之为 A 和 B）返回一些值，我需要处理这些值并将其报告给第三个端点（我们称之为 C）。价值观可以...

java spring-boot functional-programming spring-webflux project-reactor

回答 1 投票 0

获取切片的基础类型作为类型参数传递给方法接收器中的类型参数

我正在使用 Go 泛型创建一个数据结构。用例是编写一个Reduce函数，该函数接受定义类型的切片，将reduce函数应用于切片的每个元素并返回一个

go generics functional-programming

回答 1 投票 0

Python 是否有像 Java 8 Stream/Kotlin Sequence 这样的标准流畅迭代器运算符？

我是一名 Java/Kotlin 开发人员，明年将用 Python 速成课程来教授课程。我有点震惊，因为我没有找到任何函数结构来处理链式运算符的迭代。 T...

python functional-programming

回答 2 投票 0

用函数语言将命令表示为数据的名称？

这是一个关于在我看来是函数式编程中非常常见的模式的名称的问题。在像 Haskell 这样的纯函数式编程语言中，你经常有一个“outer&q...

haskell design-patterns functional-programming

回答 1 投票 0

Raku 是否有将副作用编码为纯值的数据类型？

我正在做《Grokking 函数式编程》一书中的一些练习，原始代码示例是用 Scala 编写的，我想用 Raku 重写它。在Scala的猫效果库中，有一个...

functional-programming io raku side-effects

回答 1 投票 0

fp-ts - 如何反转柯里化函数顺序

我正在使用 fp-ts 并遇到了一个场景，其中我有一个由两个函数组成的柯里化函数，例如： const newFunction = (name: string) => (greeting: string) => console.log(...

typescript functional-programming currying fp-ts

回答 1 投票 0

Scala：链式平面图与嵌套平面图

我想知道在 Scala 中，这两段代码之间有什么区别/偏好吗？ // 通用代码案例类 Person(maybeAddress: Option[Address]) 案例类地址（也许邮政编码：选项[Str...

scala functional-programming

回答 1 投票 0

在 Swift 数组上设置操作（并集、交集）？

是否有任何标准库调用可以用来在两个数组上执行集合操作，或者自己实现这样的逻辑（理想情况下尽可能功能性和高效性）？

functional-programming swift set-operations

回答 5 投票 0

functional-programming 相关问题

最新问题