functor 相关问题

术语“仿函数”有几个常见的含义：1。函数对象。在面向对象语言中，它是一种允许使用对象的功能，就像它们是普通函数一样。 2.处理类别之间映射的数学结构。这个概念在一些编程语言中是一个有用的抽象，特别是Haskell，它被实现为一个类型类。 3.在OCaml中，一个以另一个模块作为参数的模块。

为什么我收到错误“类型变量 'a 出现在 'a t 内部”并启用了 -rectypes 标志

我想在OCaml中为任何endofunctor（就类型而言）编写变形作为函子（就OCaml而言）：模块类型 Functor = sig 输入 'a t (* ... *) 结尾模块 Make(F : Fu...

ocaml functor recursive-type catamorphism

回答 1 投票 0

Menhir 解析器函子？

是否可以让 Menhir 生成函子？或者有什么效果？举一个小例子，假设您有一个语言系列，它们共享相同的结构，除了值类型和 ke...

ocaml functor menhir

回答 1 投票 0

C++ 23 静态运算符()的效率优势

我正在研究本文中阐述的静态运算符（）的动机 https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2021/p1169r2.html 他们经常解释函数对象

c++ static-methods functor c++23

回答 1 投票 0

如何处理 Monad、Functor 和 Applicative 来编写有状态代码

我正在尝试在 Haskell 中编写一些有状态代码。为此，我遵循了这份材料。此时，我已经了解了 monad 和 functor，粗略地说，我很困惑，无法编写程序......

haskell functional-programming monads functor

回答 1 投票 0

函子未被识别为transform_view args

在我的脑海里，我有这样的心理模型，认为这两个表达是同义词右 | std::views::transform([](auto&& e) { return f(e); }); 右 | std::views::transform(f); // 好，

c++ functor std-ranges

回答 1 投票 0

结构体内部运算符函数的声明

我正在阅读此文档的模板： https://www.codeproject.com/Articles/268849/An-Idiots-Guide-to-Cplusplus-Templates-Part-2 我遇到了一个我不明白的定义：结构

c++ struct functor

回答 1 投票 0

寻找一种根据条件使用不同可变参数函子的方法

我有一个运行时布尔详细信息，如果为 false，则会排除一些打印到标准输出的信息。要确定想法，请考虑有很多部分，例如： void add(const int a, const int b, const bool verbose) { //......

c++ variadic-templates variadic-functions functor

回答 1 投票 0

应用函子时是什么导致这种类型不匹配？

我有以下文件： SetMaker.mli 模块类型元素 = sig 类型t val 创建：'a -> t 值比较：t -> t -> int val to_string : t -> 字符串结尾模块类型集 = sig

types ocaml signature functor

回答 1 投票 0

在 OCaml 签名中放置类型声明的正确方法是什么

我编写了以下两个文件，虽然它可以工作，但代码会重复这些长类型声明，这感觉很奇怪。另一方面，如果我删除任一模块类型声明...

interface ocaml signature functor

回答 1 投票 0

Functor 和 Monads，有没有人对 scala 中的这个主题有很好的解释？

是否有任何资源可以帮助您更好地理解函子和单子。请分享您对函数式编程中的概念有深入了解的资源...

scala monads functor

回答 1 投票 0

标准 ML 函子示例

标准机器学习中的函子与模块系统相关，可以基于其他结构生成结构。给出了一个为各种类型的列表生成列表组合器的函子示例

functional-programming sml functor ml

回答 3 投票 0

在 OCaml 的模块中使用中缀运算符

我正在尝试使用自己的中缀运算符定义一个标量签名模块类型标量 = 信号 type t (* 标量元素的类型 *) 零值：t 价值...

ocaml functor infix-operator

回答 2 投票 0

c++ 中是否有条件运算符的预定义函子？

预定义函子用作 C++ 中运算符的包装器，例如在 STL 算法中使用。除了条件运算符之外，似乎所有运算符都有一个包装器。是不是失踪了？如果是，为什么？乙...

c++ conditional-operator functor

回答 1 投票 0

每个镜头都是一次穿越……怎么样？

Control.Lens.Tutorial 说：输入 Traversal' a b = forall f 。应用 f => (b -> f b) -> (a -> f a) 输入 Lens' a b = forall f 。函子 f => (b -> f b) -> (a ->...

haskell functor applicative haskell-lens

回答 2 投票 0

为什么这个程序会崩溃或挂起？

以下代码崩溃或挂起，直到内存耗尽： #包括 #包括使用命名空间 std::placeholders；结构目标{float x;浮动y;}; Boxbot 类...

c++ class functor

回答 1 投票 0

为什么 C++ 编译器会因这段代码而崩溃或挂起？

以下代码崩溃或挂起，直到内存耗尽： #包括 #包括使用命名空间 std::placeholders；结构目标{float x;浮动y;}; Boxbot 类...

c++ class functor

回答 1 投票 0

如何为线程池编写类型化包装器？

我有一个简单的线程池。它获取任务并使用循环法在线程之间分配它们。任务看起来像这样使用 TaskFn = void (*)(void*); 结构任务{ 任务Fn fn; 无效* ar...

c++ templates lambda metaprogramming functor

回答 1 投票 0

C++中函数的线性组合

假设我们有以下内容： // 一些函数双 f1( 双 x ); 双 f2( 双 x ); 双 f3( 双 x ); // 系数双 c1、c2、c3； // 输入变量双x；我们需要

c++ boost functor higher-order-functions

回答 1 投票 0

Idris：不能将函数用作应用函子吗？

在 Haskell 中，我习惯在函数上使用 liftA2 作为 S' 组合器。这是有效的，因为 Haskell STL 实例化了函数的 Functor 和 Applicative（请参阅 https://hackage.haskell.org/package/...

functor typechecking applicative idris2 combinatory-logic

回答 1 投票 0

用于链接和终止操作序列的函子或单子的名称和存在性

我正在查看 Folktale 和 monet.js 等库，我喜欢能够使用 map 链接操作而无需进行 null 检查或 if 语句，例如使用也许，要么，任务。我想知道是否...

javascript functional-programming monads terminology functor

回答 1 投票 0

functor 相关问题

最新问题