个人中心
文章发布
退出
作者热门文章
- html - 出于某种原因，IE8 对我的 Sass 文件中继承的 html5 CSS 不友好？
- JMeter 在响应断言中使用 span 标签的问题
- html - 在 :hover and :active? 上具有不同效果的 CSS 动画
- html - 相对于居中的 html 内容固定的 CSS 重复背景？
27
4
<分区>
首先，让我们假设本地类型推断是在 Scala 和 C# 中发现的那种类型推断。此处解释了 Scala 本地类型推断:http://www.scala-lang.org/node/127
此外，让我们假设，定义如
fact 0 = 1
fact n = n * fact(n-1)
算作本地类型推断——也就是说，这里的类型推断是函数事实的本地类型。 Scala 不允许这样的类型推断；还是算本地吧。
那么问题是，是否有人有至少 2 个相互递归函数(或您自行决定的任何其他非局部性)的实际示例，这些函数从类型推断中获得一些好处？请不要张贴愚蠢的例子，例如:
odd 0 = false
odd n = even(n-1)
even 0 = true
even n = odd(n-1)
我怀疑在解析中会出现一些实际的例子。另外，您能否解释一下程序员可以从这种非本地类型推断的使用中获得的好处？
更新:
我欣赏任何本地类型推断不足和需要全面类型推断的例子。
您的 Haskell 或 OCaml 示例可能有 90% 正确，因为您只有 90% 理解术语“非本地类型推断”。不过，您必须了解 Haskell(或 OCaml)类型推断。
您的示例可能是用 Scala 或 C# 编写的。请指出，编译器确实有足够的信息来推断类型，但由于语言规范或 Scala 或 C# 中类型推断的仅限本地性质，无法推断类型。
//再说一次，随时纠正我的英语。
27
4
0
当使用模板模板参数时，我如何推断或删除模板模板的模板类型？ 考虑以下 SSCCE: #include #include #include using namespace std; templat
假设我有一些特质: trait A[T] { def foo: T } 一个扩展它的类: class B[T](t: T) extends A[T] { def foo = t } 以及父特征的子特征
一边玩-rectypes在某些时候选择 OCaml 我只是迷路了。 这个表达式几乎可以打字: # fun x -> x x;; - : ('a -> 'b as 'a) -> 'b = 但是这里 O
我正在编写一个类似 CRUD 的应用程序，并且通过主键进行大量查找(主键可以有不同的类型)。所以我定义了以下类型类: {-# LANGUAGE MultiParamTypeClasses #-} cl
我已经创建了关系 A 'is functional parent of' B并定义 'has functional parent'作为 'is functional parent of' 的倒数. '
给定一个使用 Kotlin 版本 1.3.61 和 JOOQ 版本 3.13.1 的系统，这样的方法会构建 union正常查询: val selectCommonPart = coalesce
考虑以下错误代码: fun x = if (null x) then 0 else (take 50 x) : (fun (drop 50 x)) 我注意到，我可以毫无问题地将它加载到
给定一个具有以下类型的函数 a: a::x -> Bool 和以下类型的另一个函数 b: b::Bool -> y 我正在尝试找出推断以下函数类型的步骤: c =\d -> d a b 有人可以帮助解
我正在尝试使用 Infer 工具来分析我的应用代码。我关注了these steps每次我尝试运行 infer -- gradle build 时，我都会收到以下错误: infer -- gradle
所以我制作了这个模板来定义内联仿函数: template struct AsFunctor { template std::invoke_result_t operator()(A
是否可以推断 CRTP 基类中模板化成员函数的返回类型？ 虽然推断参数类型效果很好，但它因返回类型而失败。考虑以下示例。 #include template struct base { tem
使用 Series.interpolate 很容易在 Pandas.DataFrame 中插入值，如何进行外推？ 例如，给定一个如图所示的 DataFrame，我们如何将它外推 14 个月到 2014
我想知道为什么这不起作用(缺少参数类型)？ Seq(1,2,3).toSet.map(_ + 1) 但这确实: val foo = Seq(1,2,3).toSet foo.map(_ + 1)
我没有必要使用 SQLite3 shell 工具来维护一个小型数据库。我正在使用 -header -ascii标志，尽管据我所知，这适用于任何输出选择。我正在寻找一种方法来避免对返回的任何一个值的类型
我有以下组件 type PropTypes = { items: T[], header: (item: T) => React.Element, body: (item: T) => R
我想在 Eclipse/JSDT 中指定实例变量的类型，如下例所示: /** * @constructor */ function A() { /** @type Node */
我正在用 Python 编写一个方法，它看起来像这样: def rgb_to_grayscale(image): print(image.shape) pass 此处预期的类型是 nu
我有一个 my_values 数组，我正在尝试为其推断 true_values 数组中最接近、较小的值。使用下面的 find_nearest 函数并不能完成我想要的。我如何追加它以找到最近的、较小的值
在下面的代码中: template int b(int q, const std::array& types) { int r = q; for (int t : types)
在 Pandas DataFrame 中插入 NaN 单元非常容易: In [98]: df Out[98]: neg neu pos av
我是一名优秀的程序员,十分优秀！