2回答
动态/静态语言和编译器/解释器
、、、、
我有一些问题：
动态编程语言总是被解释的？我想是的，但为什么？
是否有任何带有静态类型系统的动态语言？
带有静态类型系统的编程语言总是被编译的？
换句话说，在以下几个方面之间是否真的有联系：
静态/动态打字系统与静态/动态语言
静态/动态类型系统和编译器/解释器
静态/动态语言和编译器/解释器
浏览 3提问于2014-01-04得票数 3
回答已采纳
静态类型化和动态类型化在堆栈溢出(例如 )上被反复询问。
协商一致意见似乎是(引用上述链接的最高答复)：
如果在编译时知道变量的类型，则会静态地输入语言。
一种动态的语言：
如果类型与运行时值相关联，而不是命名变量/字段/等，则该语言是动态键入的。
Perl似乎是静态类型的(或其他静态/动态类型的常见定义)。它有3种类型:标量、数组、散列(为了简单起见忽略引用之类的东西)。类型与变量一起声明：
my $x = 10; # declares a scalar variable named x
my @y = (1, 2, 3);
浏览 2提问于2019-07-04得票数 5
回答已采纳
3回答
我们有Jython，JRuby，Groovy，它们是动态类型的，在JVM上运行。我知道这些语言会编译成字节码。
其他语言，如Scala，支持类型推断，很明显，编译器会为我们推断类型。
但是Java是一种静态语言，它可以编译成字节码，这是否意味着字节码支持动态类型？
例如，在Java中，我们需要在编译时声明变量类型，并且永远不能更改它。但是在Python的情况下，我们不需要声明类型，但是我们可以在运行时将任何类型的值赋给同一个变量。
动态类型在静态语言中是如何工作的？
浏览 1提问于2012-07-10得票数 13
回答已采纳
2回答
我有几个关于类型推理语言的问题。通过说类型推断，我指的是不需要在代码中显式声明数据类型的所有语言。
我认为这些语言为开发人员提供了更大的灵活性，但我想为下面的问题找到答案。
这些语言在运行时会消耗更多的时间来推断实际的数据类型吗？
这些语言可以用于企业应用程序的开发吗？它们支持可维护性和可重用性吗？
浏览 6提问于2016-09-12得票数 0
听到很多新的编程语言是动态类型的，但是当们说一种语言是动态类型的还是静态类型的时候，这实际上意味代码有什么区别呢？
浏览 2017提问于2017-12-21
1回答
最近，我正在学习语言的动态和静态分析。我已经阅读了一些相关的问题，比如，但我仍然有一些问题。
动态分析可以在编译和运行期间进行，并检查程序状态。通过动态分析，可以避免不需要的执行步骤。静态分析通常指的是静态类型检查系统，静态分析必须正确地预测实际的程序行为。对于静态类型系统，这意味着分配的类型必须描述程序在运行时可能计算出的所有值。我想知道，如果类型检查器将一个类型分配给一个程序，而该程序没有描述该程序计算出的所有值，会发生什么情况。有人能举个例子吗？
浏览 2提问于2017-12-12得票数 1
4回答
什么是类型推断？
、、、
它是否只存在于静态类型的语言中？是否只有在语言不是强类型的情况下(即Java有强类型)？另外，在编译阶段，假设它是一种编译语言，那么它属于哪里？
通常，当类型不明确时，规则是由语言规范规定的还是由实现决定的？
浏览 14提问于2009-03-28得票数 3
回答已采纳
4回答
编程语言分为两大类：“动态”和“静态”。-编程语言总是这样吗?我的意思是，一种语言可以同时是动态和静态的吗？
浏览 6提问于2009-11-26得票数 3
回答已采纳
1回答
它们也被称为松散类型吗？静态类型的语言是非类型的语言，还是动态类型的语言是强类型的语言？强类型语言也被称为类型语言吗？
我主要想知道弱类型语言的定义是否与非类型语言的定义不同，或者是否两者都可以接受。
浏览 16提问于2018-02-25得票数 1
回答已采纳
2回答
首先，让我解释一下我对静态类型化语言和类型安全性的理解：
静态类型语言:一种不允许在运行时更改变量类型的语言。
类型安全性:类型安全意味着不允许混合不兼容的数据类型。例如，不能将float分配给int，也不能将int分配给函数指针，也不能将用户定义的对象添加到int (除非使用操作符重载)等等。
回到我的问题，假设有一种解释的静态类型语言，在这种语言中，我可以编写将float分配给int的代码，但是当执行这段代码时，会出现(运行时)类型错误。
这种语言是否被认为是类型安全的，还是类型安全的语言只能静态地输入和编译，所以必须在编译阶段捕获类型错误？
浏览 0提问于2016-09-27得票数 6
16回答
我听说很多新的编程语言都是动态类型的，但是当我们说一种语言是动态类型还是静态类型时，这到底是什么意思呢？
浏览 7提问于2009-10-05得票数 1079
回答已采纳
当我在我的项目中使用Docker + Django时，我找不到使用Ctrl + click的代码定义，因为源代码现在在容器中。如何配置我的VScode以启用代码导航？ 我使用的是带有use-docker配置的django-cookiecutter。
浏览 17提问于2020-12-31得票数 1
回答已采纳
10回答
静态/动态vs强/弱
、、、、
我看到这些术语在编程中随处可见，我对它们的含义有一个模糊的概念。一次搜索表明，事实上，堆栈溢出中已经到处都在询问这样的事情。据我所知，语言中的静态/动态类型与强/弱类型有细微的不同，但我搞不懂这种区别是什么。不同的来源似乎使用不同的含义，甚至可以互换使用这些术语。我找不到一个地方讨论这两个问题，并真正阐明两者之间的区别。如果有人能在这里为我和世界其他人清楚地说明这一点，那就太好了。
浏览 26提问于2010-02-28得票数 346
回答已采纳
6回答
静态类型的语言和动态类型的语言原则上看起来是截然相反的概念。然而，像Objective-C这样的语言怎么能同时做到这两件事呢？在我看来，Objective-C更像是静态的，而不是动态的。有人能解释一下这是怎么回事吗？
浏览 0提问于2010-04-18得票数 20
我目前正在评估下一步可以选择学习哪些强类型的服务器端语言。我的背景主要是php开发(oop)。我正在关注强类型语言，因为我认为这是php的一个主要缺点(有时也是一个优点)。
我知道C#和Java (JSP/Servlets)都是一种选择，但是我想考虑我还没有研究过的其他语言。
我主要是从职业观点来考虑这一点，所以选择一门正在消亡或需求很低的语言(现在或将来)是没有意义的。
浏览 2提问于2010-06-23得票数 1
回答已采纳
2回答
在运行时决定类型的静态类型语言？
、、、、
例如，在Ada中类似这样的东西(如果它支持这一点)：
type Type_Name is range bottom .. top;
其中"bottom“和"top”是变量。
或者像这样的C语言(如果它支持这一点)：
struct s {
int a;
if (z<3) {
char b;
int c;
} else {
struct ss {
int b;
char c;
}
}
} v;
或者，如果c在声明中的变量标识符后面有类
浏览 18提问于2012-07-21得票数 0
回答已采纳
我在读的书，他说：C# is a (mostly) statically typed.
我所读过的描述C#为强类型语言的大多数文章和书籍都有效地使用了“强类型化”来表示静态类型化。
真相在哪里？mostly是什么意思？(可能指的是在CLR的类型安全性之外的少数特性？)
浏览 5提问于2016-03-20得票数 5
回答已采纳
这一索赔 by 阿列克斯·布罗姆菲尔德声明：
几乎每种具有静态类型系统的语言都有一个动态类型系统。除了C，我想不出一个例外
这是有效的索赔吗？我了解到，在运行时使用反射或加载类，Java会有点像这样--但是，“渐进式输入”的概念能扩展到大量语言吗？
浏览 0提问于2013-12-28得票数 20
回答已采纳
我想写
Check: a -> b -> Bool
如果a和b具有相同的类型，则check返回true。在榆树中这是可能的吗？
浏览 0提问于2017-05-26得票数 1
在php/perl中，我们可以简单地说$a='hi“，然后$a=1，而不需要声明它的类型，但是在java中也有同样的类型转换错误。
为什么会有这样的差异？
浏览 2提问于2010-09-19得票数 7
回答已采纳
1回答
我查看了关于静态类型语言和动态类型化语言之间的区别，并指出了从获取的以下定义
静态类型常常被误解为意味着值与CompileTime中的类型相关联，相反，它意味着ReferenceValue显然受到约束(这与CompileTime中的类型不同)，并且语言实现，无论它是编译器还是解释器，都尽可能地执行和使用这些约束。
如果我没有错的话，这个定义指出，是否被静态地输入并不取决于有(或没有)语言的编译实现。
但是这样说，使用静态类型系统进行解释实现有什么好处呢？我是说，支票总是在运行的时候做的。
浏览 0提问于2016-07-16得票数 0
Objective-C不支持方法重载。
为什么？
它是可行的，但苹果公司决定不实施它吗？或者，由于Objective-C的动态特性，这是不可行的？
我的印象是，方法重载可以在编译语言(Java、C#)上完成，而不能在解释语言(Ruby、Python)上完成。
持有一些真实的东西吗？
浏览 2提问于2010-12-15得票数 11
回答已采纳
3回答
我很少看到函数式编程语言的静态分析器，比如Scheme/Scheme，我甚至怀疑是否有这样的语言。我想为函数式语言编写一个静态分析器，比如Scheme/Racket。我该怎么做呢？
浏览 13提问于2011-03-10得票数 4
回答已采纳
在过去的几年中，我们一直使用动态类型的PHP版本。但是，在PHP7中，我们有一个选项可以启用“严格类型”：
PHP :返回类型声明
PHP :标量类型声明
(注意:标量类型声明重复使用短语“弱类型检查”或“严格类型”与静态/动态。)
说PHP7是一种静态类型的语言是正确的吗？如果是的话，为什么？
浏览 0提问于2016-01-07得票数 8
回答已采纳
我从不同的来源(例如wiki、文章等)阅读过。在编程意义上的动态意味着什么。谈到了动态编程语言如何在运行时执行某些编程行为(而不是静态语言的编译时)，但他们的解释很含糊，并且谈到了这些行为在所有编程语言的难度、复杂性和性能成本方面的变化。
那么，关于JavaScript，它是动态的，这意味着什么？
在这一点上我可能完全错了，但我也认为JavaScript是一种动态类型的语言，因为你在实例化变量/函数(例如var，函数jsFunction())之前没有声明类型，而不是像Java这样的静态类型语言，在实例化变量/函数(例如int var，public int function())之前定义类型。
浏览 1提问于2015-09-09得票数 26
回答已采纳
3回答
我正在学习Haskell，并试图准确地理解Haskell类型系统是如何工作的--正在计算出事物的类型:动态的、静态的、手动设置的、推断的？
我只懂一点语言：
C，Java:由程序员手动设置，在编译时验证，如int i;，强类型(从字符串中减去整数是编译错误)。典型的静态系统。
Python:运行时自动推断的类型(动态类型)，强类型(从int中减去str会引发异常)。
Perl，PHP:在运行时自动推断的类型(动态类型)，弱类型。
Haskell:类型通常在编译时自动推断(这或类型在编译前由程序员显式设置)，强类型。
Haskell的类型系统真的值得描述为“静态”吗？我的
浏览 0提问于2014-09-25得票数 5
回答已采纳
1回答
任何或多或少实用的编程语言和编译器都必须处理约束。最常见的约束是类型。通常类型派生和统一是通过一个简单的算法(例如，)完成的，其中程序中的所有术语最终都被指定为唯一的类型。如果没有发生，那么就会出现错误指示。
在编译器中可能存在更复杂的限制，在这种情况下，完全统一是不可能的，只有在某些限制下才能找到解决办法。可能的例子有：
数据流分析仿射等式约束的求解可用于循环矢量化。
内存管理。如果我们对引用和数据访问模式有一些限制，编译器可以从优化引用计数和垃圾收集中获益。
从另一个角度看，约束求解器(如Z3或Yices )在寻找不同类型约束的可满足模型方面非常强大。
我正在寻找成功的故事
浏览 1提问于2013-09-15得票数 6
有：值模型(例如C中的变量)和参考模型(例如Python中的变量)。
之间也有区别。
值模型只能与静态类型一起使用，而不能与动态类型一起使用吗？或者，值模型和动态类型以及一些示例语言如何协同工作？
变量的参考模型可以与静态类型或动态类型一起工作吗？
浏览 18提问于2019-08-09得票数 0
回答已采纳
2回答
假设FrameworkA使用一个FrameworkA.StandardLogger类进行日志记录。我想用另一个日志库( SuperLogger类)替换日志库。
为了实现这一点，有接口：FrameworkA将提供其他库必须实现的FrameworkA.Logger接口。
但是，如果其他库没有实现这个接口呢？FrameworkA可能是一个不受欢迎的框架，不足以使SuperLogger关心它的接口。
可能的解决办法是：
有一个标准化的接口(由JSR、PSR、.等标准定义)
写适配器
如果没有标准化的接口，如果类是兼容的，您希望避免编写无用的适配器所带来的痛苦怎么办？
在运行时，不能有另
浏览 4提问于2013-02-20得票数 2
我正在做一篇关于函数编程中python的论文。我在普通的Lisp上看到了打字系统。我读过它是动态的，词汇的，强大的。但是我的教授说是static...can，有人帮我弄清楚了吗？它令人抓狂！
浏览 1提问于2018-11-22得票数 3
回答已采纳
6回答
我有一个静态类型的背景，正在研究函数式编程，但我对动态类型并不完全感兴趣。我很好奇有什么样的选择。
首先要回答的一个问题是:尽管AS3程序不经常使用，但ActionScript 3是静态类型的，并提供了一些函数范例。
浏览 4提问于2011-11-16得票数 17
回答已采纳
C#被认为是静态类型的语言.但是，它包含关键字，如：
var，它在编译时推断类型，以及
dynamic，它在运行时确定类型。
这是矛盾吗？
浏览 0提问于2022-12-02得票数 5
回答已采纳
4回答
使用.NET 3.5中的新特性(如var、Lambda、linq等)，以及更多的特性，我们可以得出结论: C#不仅是静态类型语言，而且动态类型？
为什么或者为什么不？
Edit#1
正如下面许多海报所宣称的那样，.net 4.0将为语言添加动态类型。这样会减缓语言吗？
每次发布时，csharp都会从不同的语言中获取一些东西。就.Net1.1而言，我们的祖先甚至不打算把它变成功能性语言.
Edit#2
我想你们中的许多人误解了这个问题；因为我指的是C#语言，包括即将发布的4.0。因此，公平地说，语言是动态输入的.
浏览 5提问于2009-02-19得票数 7
回答已采纳
不管它的优点是什么，Adobe的Actionscript 3提供了一个独特的机会来探索类型化和非类型化语言的后果，因为它几乎是javascript的严格超集，具有严格类型声明、声明性强制转换等所有语法优势/开销。
这使得比较两种方式编写的相同代码，同时分解出基本的语言语法成为可能。
这让我想知道是否有任何定量的证据来证明强类型的真正好处，特别是在编译期间的错误检查方面，就错误率、编程效率和代码量而言；或者我们的观点完全基于猜测和猜测？有没有其他语言可以同时使用(不包括老式的VB --无论哪种方式都不是一种非常受人尊敬的语言)。
我在这两种语言上花费了大量的时间，但还没有最终决定我更喜欢哪种方式
浏览 0提问于2009-01-07得票数 0
回答已采纳
1回答
整数和静态类型检查
、、、
看完这篇文章后：
我有一个问题：
在只有解释器(例如Basic)的编程语言中(如上面链接中的第二个答案中的照片所示)，是否可以进行静态类型检查？
据我所知，每次执行程序时，解释器都会运行每一行命令。那么，在我们运行程序之前，如何能够静态地检查类型呢？
浏览 5提问于2016-09-08得票数 3
回答已采纳
1回答
在scala和其他一些语言(Haskell，SML)中，我们可以使用模式匹配，例如：
val user: Option[User] = findUser(123)
user match {
case Some(u) => ...
case _ => ...
}
关于模式匹配与类型系统的关系，我有几个问题：
“静态类型系统”是否必须支持模式匹配？
是否有“动态类型系统”语言支持模式匹配？
更新：
感谢@Eran的回答。
我知道有很多语言不支持模式匹配，比如c/c++/java/python/ruby/javascript/lisp (我可以在这个列表
浏览 5提问于2014-06-22得票数 4
7回答
简单的问题:我用编译语言(如C++/Java )和解释语言(如Python/Javascript )进行了大量的编程(专业的和个人的)。我个人发现，当我用静态类型语言编程时，我的代码几乎总是更健壮。但是，我遇到的几乎每种解释语言都使用动态类型(PHP、Perl、Python等)。我知道为什么编译语言使用静态类型(大多数时候)，但我不明白在解释语言设计中对静态类型的反感。
为什么会出现这种陡峭的脱节？这是解释型语言的一部分吗？OOP？
浏览 1提问于2009-09-08得票数 44
回答已采纳
5回答
什么使编程语言有资格被称为动态语言？我应该使用动态编程语言来解决什么类型的问题？静态编程语言和动态编程语言之间的主要区别是什么？
浏览 4提问于2011-02-06得票数 45
回答已采纳
2回答
手动地说，我指的是代码，好像我需要满足这样的需求，就好像对象不是我所期望的那样。
例如，我在用一个中继器。作为其中的一部分，我正在操作DataSource属性。要做到这一点，我必须首先检查以下内容：
this.DataSource as List<MyObject>
如果它不是MyObject对象的列表，它将返回null。如果我转换它，并且它不是MyObject对象的列表，它将抛出一个异常。
这意味着，无论它是否是MyObject对象的列表，此时都是已知的。
问题
那么，为什么不允许我用this.DataSource编写代码，因为它已经是已知的类型了？比如：
this.DataSo
浏览 5提问于2013-11-11得票数 1
回答已采纳
我正在寻找关于为什么使用JS框架(比如webdriverio)比使用selenium更适合前端自动化的信息。
我知道webdriverio和JS采用异步方法进行前端自动化测试，这可能对前端后面的AJAX调用和API有利。但我正在寻找一些带有代码的特定示例，这些示例表明与使用JS相比，不推荐使用Java或使用Java很乏味。我试图搜索，但无法得到明确的解释，在前端自动化方面，JS相对于Java的优势是什么，除非没有或只有很少的优势。
浏览 30提问于2017-01-27得票数 0
1回答
是否有允许静态和动态类型的语言？
、、、、
关于静态和动态类型，有很多问题，但是我还没有发现有一种语言两者兼具。让我解释一下。
动态类型语言在快速原型方面似乎有优势，例如Python或Perl，而静态类型化语言(如C++、OCaml)则允许更多的编译时检查和优化。我想知道是否有一种语言允许两者兼而有之：
首先，具有动态类型的快速原型，泛型(即接受任何类型的)打印函数，以便于调试和REPL，并适应不断变化的设计选择。
然后，更改一些内容并将代码编译到一个库中，使用静态类型进行更多的安全测试和最佳性能。例如，更改以允许静态类型可能是:声明变量(但由于类型推断而不是注释所有变量)，添加编译器开关，使用特定函数而不是泛型函数，等等。
浏览 3提问于2012-11-15得票数 9
回答已采纳
2回答
所有脚本语言都是动态类型的吗？
我在用TCL。它是一种脚本语言，它不强制或不允许变量的类型分层。相反，它是一种动态类型的语言，带有ducktyping。变量的类型由解释器根据分配给它的值来假定。
我真的很想知道是否有严格/强类型的脚本语言。
浏览 0提问于2013-12-13得票数 5
接口和类Number1，后来的Number2等等。当我尝试在方法add()中使用成员数据时，它要求我首先将它转换为类类型。但是，如果我在方法add()中使用成员方法，它并不要求我转换为类类型。如有任何解释，将不胜感激。
下面的代码附后。
package mynums;
//Interface for all my number types, Number1, Number2 (not shown), etc
public interface NumberIF
{
public int getNum();
public void setNum(int numx);
浏览 6提问于2020-02-23得票数 0
与静态类型的语言相比，动态类型的语言很难提高速度。换句话说，静态类型语言的固有属性是什么，使它们易于优化以提高执行速度？
浏览 0提问于2009-04-17得票数 21
回答已采纳
我以前知道C++是一种静态类型的语言，但是较新的C++规范引入了一个新的语法auto，它可以自行确定变量类型。那么，C++仍然可以被认为是一种静态类型语言吗？
浏览 2提问于2016-01-14得票数 4
回答已采纳
abstract type Elf end
struct LightElf <: Elf
name::String
life::Int32
end
struct DarkElf <: Elf
name::String
life::Int32
# This attribute is only in DarkElf.
enchantment::Int32
end
amber = LightElf("Amber",100)
charles = DarkElf("Charles",20,45)
e
浏览 4提问于2022-06-01得票数 1
回答已采纳
3回答
在设计将构建在静态语言(如C#或Java)和动态语言(如Ruby或Python)上的应用程序时，是否存在重大的架构差异？
哪种设计的可能性可能是一种类型的好选择，而另一种则是坏的？有什么有用的特性可以用一种类型而不是另一种类型实现(当然，在设计和架构方面)？
此外，是否有任何动态特定的设计模式？
浏览 0提问于2011-09-01得票数 22
回答已采纳
扫码
添加站长 进交流群
领取专属 10元无门槛券
手把手带您无忧上云
相关资讯
热门标签
云服务器
ICP备案
对象存储
腾讯会议
实时音视频活动推荐
腾讯云开发者
