3回答
据我所知，在编写函数或模块时不需要在源代码中编写类型注释的任何编程语言，如果代码块“类型正确”，编译器将推断类型并编译代码。还有更多吗？
有这样的语言吗？如果是，它的类型系统有什么限制吗？更新1:为了让非常清楚，我问的是静态类型的、完全类型推断的编程语言，而不是动态类型<em
浏览 2提问于2012-05-05得票数 11
回答已采纳
5回答
什么使编程语言有资格被称为动态语言？我应该使用动态编程语言来解决什么类型的问题？静态编程语言和动态编程语言之间的主要区别是什么？
浏览 4提问于2011-02-06得票数 45
回答已采纳
如果我用弱/动态类型化语言(如python、php、javascript )编程几天，我就会与强类型语言(如c++、.net、Java )失去联系。我最近听说了像python和ruby这样的语言，人们喜欢用它们编程。
在弱/动态类型语言中编程非常容易，但有可能与c++、Java等语言失去联系。处理器现在变得非常强大，根据的说法，它将以指数级<e
浏览 13提问于2009-10-10得票数 0
回答已采纳
1回答
我知道静态类型和动态类型之间的区别，也知道强类型和弱类型之间的区别，但是有人问我强和静态类型之间的区别！
但是据我所知，强而静态的打字从一开始就谈论不同的话题！所以我不知道怎么回答这个问题，有人知道他们的意思吗？
浏览 2提问于2013-06-29得票数 0
回答已采纳
我从不同的来源(例如wiki、文章等)阅读过。在编程意义上的动态意味着什么。谈到了动态编程语言如何在运行时执行某些编程行为(而不是静态语言的编译时)，但他们的解释很含糊，并且谈到了这些行为在所有编程语言的难度、复杂性和性能成本方面的变化。那么，关于JavaScript，它是动态的，这意味着什么？在这一点上我可能完全错了，但我也认为JavaScript是一种动态<e
浏览 1提问于2015-09-09得票数 26
回答已采纳
3回答
GO编程语言有对象，但没有继承。它也有内置类型Array和Map的泛型。对于所有用户创建的类型，是否有一种具有对象但没有继承和泛型(即参数化类型)的编程语言？
浏览 0提问于2018-07-31得票数 1
回答已采纳
7回答
简单的问题:我用编译语言(如C++/Java )和解释语言(如Python/Javascript )进行了大量的编程(专业的和个人的)。我个人发现，当我用静态类型语言编程时，我的代码几乎总是更健壮。但是，我遇到的几乎每种解释语言都使用动态类型(PHP、Perl、Python等)。我知道为什么编译语言使用静态<
浏览 1提问于2009-09-08得票数 44
回答已采纳
1回答
值和对象不同的编程语言
、、、
我正在尝试开始学习Alex Stepanov和Paul McJones的《编程元素》。关于Page5的最后一段:他们说，
“本书使用的编程语言无法将值和值类型描述为独立于对象和对象类型。”我的意思是，有人可以举一个编程语言的例子，在这种语言中，可以将值描述为独立于对象的实体。
浏览 1提问于2012-12-04得票数 8
有谁知道托管编程语言是在.NET上实现的，该语言包含没有映射到公共类型系统/FCL/BCL的专门数据类型，或者没有已发送的.NET等效的数据类型(例如，已发送的标准类型如System.String、System.Int32它是否像为其专用类型在BCL/FCL之外创建新数据类型的语言
浏览 5提问于2010-12-22得票数 2
回答已采纳
1回答
大多数强类型编程语言的数据类型都是min。1字节大小。我知道使用位掩码访问单个内存单元是可能的，但是为什么编程语言不支持小于1字节的数据类型？
浏览 0提问于2011-11-03得票数 1
回答已采纳
15回答
一个真正知道如何利用动态编程语言的人如何以不同于使用静态语言的人的方式进行编程？我见过的大多数用动态编程语言编写的代码与用静态编程语言编写的</
浏览 2提问于2008-12-18得票数 30
如果我们有一种编程语言强制您为变量设置数据类型，例如：float f;这样的编程语言还能被称为“类型化”编程语言吗？
浏览 0提问于2019-04-28得票数 0
如果我们看看维基百科中“动态类型编程语言”的定义，它会说：动态类型检查是在运行时验证程序类型安全性的过程.动态类型检查语言的实现通常将每个运行时对象与包含其类型信息的“
浏览 0提问于2016-01-10得票数 1
7回答
一种满足这个标准的语言？
、、、、
我做过一些Java编程，也做过很少的C和PHP编程。最近我开始学习Python，因为它似乎很有趣。
但有几篇文章似乎指出Python不适合并发编程。而且与那些具有编译器的语言相比，它的速度也更慢。我也喜欢静态类型语言的优点，但Python是动态类型的。所以我的问题是，有没有一种语言可以满足以下标准。1)有一个解释器(为了更快的开
浏览 3提问于2012-04-10得票数 2
回答已采纳
4回答
这是第一种具有泛型编程支持的语言，以及第一种支持泛型的主要静态类型语言(广泛使用)。一阶参数多态现在是静态类型化编程语言的标准元素.从System 20,42和functional -guage开始，这些构造已经进
浏览 0提问于2010-10-19得票数 17
回答已采纳
2回答
什么是“词汇类型”，有多少种？
、、、、
在不同的编程语言中，我遇到了具有不同名称的类似：
然而，我从未见过构成“词汇”类型的定义。以上都是词汇表类型吗？还有别的吗？
浏览 0提问于2016-07-20得票数 17
我目前正在评估下一步可以选择学习哪些强类型的服务器端语言。我的背景主要是php开发(oop)。我正在关注强类型语言，因为我认为这是php的一个主要缺点(有时也是一个优点)。我知道C#和Java (JSP/Servlets)都是一种选择，但是我想考虑我还没有研究过的其他语言。我主要是从职业观点来考虑这一点，所以选择一门正在消亡或需求很低的语言(现在或将来)是没有意义的。
浏览 2提问于2010-06-23得票数 1
回答已采纳
5回答
同伦型理论
、、、
Lisp具有同音的特性，即语言实现(Lisp)所使用的代码的表示也可供那些希望为自己的目的表示代码的程序使用，也可以用于这些程序。另一种主要的函数式编程语言ML是基于类型理论的，这意味着语言实现需要更复杂的代码表示，而且对于允许您做的事情也不那么随意，因此通常程序无法使用内部表示。例如，用于高阶逻辑的验证检查器通常用ML族<em
浏览 2提问于2011-11-29得票数 11
回答已采纳
在业余时间，我正在学习Idris，这是一种支持依赖类型的强类型函数式编程语言。由于我同时查看模型检查和Idris，我开始对Idris与正式方法和模型检查的关系感到好奇。当学习模型检查时，感觉所提到的大多数示例要么是关于验证以命令式方式编写的系统，要么是关于硬件组件。因此，我对强类型函数式编程语言中的模型检查的相关性感到困惑，特别是在Idris这样的</em
浏览 4提问于2016-04-07得票数 10
回答已采纳
云服务器
ICP备案
对象存储
云直播
腾讯会议
腾讯云开发者
