3回答
我不明白类型推断的确切目的是什么，在语言中添加类型推断有什么好处，是否有像in C++11 auto关键字这样的特殊用途？
我看到它就像一个加法，因为我不知道结果类型不一定预先知道的情况。
浏览 4提问于2015-10-09得票数 2
回答已采纳
6回答
比方说，我们创建了一个C的重新实现，唯一的区别是推断了类型。存储类和修饰符仍然需要给出(const、静态、限制等)，让我们暂时将注意力限制在单个文件C程序上。能办到吗？主要的障碍是什么？关于类型推断可能引起问题的几点思考
编辑2014:任何对这个概念感兴趣的人都可
浏览 9提问于2011-06-28得票数 14
回答已采纳
许多静态类型语言，如C++和C#，都有局部变量类型推断(我认为关键字auto和var )。private auto SomeMethod(int x)
{
浏览 1提问于2014-03-07得票数 6
回答已采纳
1回答
我很好奇Scala和C++11的类型推断有什么不同。在哪些情况下，我必须在一种语言中指定类型，而不是在另一种语言中？一个区别似乎是函数的返回类型，尽管decltype和带有尾随返回类型的新函数语法允许指定推断类型，但必须在C++11中指定返回类型。
浏览 23提问于2012-04-21得票数 16
1回答
C++1y返回类型推断
、、、、
使用Hindley-Milner类型推断的某种变体的编程语言可以很容易地推断出表达式的类型，例如而C++1y中的返回类型推断由于以下原因而失败[&](auto x) { }; return 0;我用clang 3.5和命令尝试了一下
clang++ -std=c+variable &
浏览 4提问于2014-02-08得票数 4
1回答
将递归添加到模块语言中，可以将多态递归作为特例进行恢复，并使用内函子的不动点。* 'a) S.seq
end
众所周知，多态递归使得类型推断不可判定然而，函子定义已经包含了部分类型信息，即其参数的签名。这些信息是否足以使类型推断再次可判定？
浏览 2提问于2016-06-25得票数 2
回答已采纳
维基百科称'doGuessing num‘在外部“然后”分支中有IO ()类型。我不明白为什么'doGuessing num‘有IO ()类型，只是猜测这是因为：我不确定我的理解是否正确。行动对我来说是新的，如果我错了，请
浏览 1提问于2015-03-09得票数 3
回答已采纳
3回答
我们有Jython，JRuby，Groovy，它们是动态类型的，在JVM上运行。我知道这些语言会编译成字节码。例如，在Java中，我们需要在编译时声明变量类型，并且永远不能更改它。但是在Python的情况下，我们不需要声明
浏览 1提问于2012-07-10得票数 13
回答已采纳
6回答
例如，在JavaScript中： if (y === 0) return;}上面的代码将在我尝试在OCaml中定义类似的函数，如下所示：但是，由于类型错误，它失败了：
Error: This expression has type 'a -> 'b -> &
浏览 6提问于2019-04-22得票数 6
回答已采纳
2回答
我很想知道，在存在强类型推断的情况下，人们如何处理比较代码评审(x版本对文件的y)，即何时使用‘var’(在C#中)或‘auto’(在C++ 0x中)来代替旧的更详细(显式)类型声明。当IntelliSense可用时，可以将鼠标浮动在关键字上，以确定(如果必要的话)推断类型--但是当人们在记事本或代码协作器等中查看这些源时，人们会做什么。当然，强类型推理比
浏览 0提问于2011-04-25得票数 2
12回答
Python是我目前所知道的最优秀的语言，但是由于自动完成，静态类型是一个很大的优势(虽然对动态语言的支持有限，但与静态语言所支持的语言相比，它是微不足道的)。我很好奇是否有任何语言试图将Python的好处添加到静态类型化语言中。特别是，我对语言很感兴趣，其特性如下：
避免在任何地方指定类(在Python中，这是由于鸭子类型，尽管<e
浏览 7提问于2010-02-15得票数 50
回答已采纳
1回答
[编辑:下面讨论的声明在C++和现代C中是无效的；它们依赖于C的“隐式整数”规则，该规则后来被删除。Herb Sutter讨论了change 。感谢评论者和user2079303指出这一点。]我想知道C++中常量变量类型的推断。那么在</em
浏览 0提问于2018-02-19得票数 1
2回答
没有这种结构，就不可能在“编译时”检查类型安全性.或者是吗？ "use strict";}我们可以将其看作程序员，因为即使类型没有显式声明(例如int c;)，我们也可以收集其他各种特性来<
浏览 0提问于2016-04-24得票数 0
回答已采纳
4回答
什么是类型推断？
、、、
它是否只存在于静态类型的语言中？是否只有在语言不是强类型的情况下(即Java有强类型)？另外，在编译阶段，假设它是一种编译语言，那么它属于哪里？通常，当类型不明确时，规则是由语言规范规定的还是由实现决定的？
浏览 14提问于2009-03-28得票数 3
回答已采纳
考虑下面的代码，该代码尝试有条件地向具有推断类型的对象添加属性： const foo = { b: 2, foo.c = 3; //Error: Property 'c' does not exist on type '{ a: number; b: number; }'.(2339)
} 可以通过显式地将foo类型声明为{ a:: number
浏览 15提问于2020-12-14得票数 1
回答已采纳
1回答
有些函数(如 )返回不同类型(在本例中为ndarray或由三个ndarray组成的元组)，但编译器只能推断其中一个类型，因此如果我想做如下操作：它抛出一个类型警告：
Expected type 'ndarray', got 'Tuple[ndarray, ndarray, ndarray]' instead我可以在其他语
浏览 3提问于2020-09-10得票数 7
回答已采纳
我希望能够用元数据注释我的类型和方法，并在运行时读取它们。阅读需要某种反射机制，我在参考文献中根本找不到，所以问题的第二部分可能是--有反射可能吗？如果这些功能在Swift中不可用，是否可以使用Objective-C代码(但在Swift实例和类型上)来完成？一个相对不相关的注意事项:被建模为属性的内容和添加到核心语法中的内容的决定给我留下了相当随意的印象。这感觉像是两个不同的团队在语法
浏览 1提问于2014-06-04得票数 28
回答已采纳
1回答
如果我设计了一种具有类型推断的新语言，不支持显式类型，不支持类继承，然后想要添加继承，那么在添加特性时，为编译器解决类型歧义所需的最小额外提示是什么？类型污染是通过整个程序的任务来跟踪的，包括在功能之间。好的，在起始语言中，您有类似于MyTypeName1的类名，它们来自如下内容：myVariab
浏览 0提问于2010-01-06得票数 1
回答已采纳
辛德雷-米尔纳是一个类型系统，是许多著名的函数式编程语言的类型系统的基础。Damas是一种推理算法(演绎？)输入印地语-米尔纳类型系统。如果Damas-Milner不仅仅是统一的，我想要描述Damas-Milner，其中包括一个简单的示例，以及一些代码。而且，这种算法常被认为是进行类型推理。它真的是一个推理系统吗？我以为这只是推
浏览 4提问于2009-07-10得票数 12
回答已采纳
扫码
添加站长 进交流群
领取专属 10元无门槛券
手把手带您无忧上云
相关资讯
热门标签
云服务器
ICP备案
对象存储
腾讯会议
云直播活动推荐
腾讯云开发者
