statically typed
静态类型
2026-03-22 11:30 浏览次数 26
静态类型
however, the latest api requires calling statically typed methods, which do not fit well with ruby「s dynamic nature, so it seemed simpler to develop data-binding support in ruby from scratch.
然而,最新的api需要调用静态类型的方法,这与ruby的动态特性背道而驰,因此在ruby中从头开始开发数据绑定支持可能会更简单。
statically typed languages enforce typing at compile time.
静态类型语言在编译时实施类型。
the approach is appropriate for declared type systems and has existed since rpcs, and we find it commonly in modern statically typed languages, namely the ‘interface’ construct.
这种方法适合声明类型系统并自从rpc时代就存在,而且我们发现它在现代静态类型语言中非常普遍,即‘接口(interface)’结构。
as we described in the previous section, a statically typed language binds the type to a variable for the lifetime of that variable.
正如我们在前面的章节所描述的,一个静态类型的语言在一个变量的生命周期内都会绑定一个类型。
f# is a statically typed functional programming language that targets the .net framework.
f#是一个针对.net框架的静态类型化函数式编程语言。
one interesting trade-off would be to use inferred typing with statically typed languages, reducing the cost of typing.
一种有趣的折中方法是在静态类型语言中使用隐式类型,从而减少类型的成本。
the low barrier of entry leads some people to call it a script kiddie language, others scoff at the concept of a dynamic language while riding their statically typed high horse.
它的低学习门槛让很多人都称它为学前脚本语言,它另外一个让人嘲笑的东西是动态语言的概念是偏偏使用了高标準的静态数据类型。
of the set of newer jvm languages, scala is one of the few that is statically typed and it is the best known among them.
在最新的基于jvm 的语言中,scala是为数不多的静态类型语言,而且是最出名的一个。
this extension is being designed to enable interoperability between dynamic languages in the same manner that the clr enabled interoperability between statically typed languages.
设计该扩展的原因是为了保证动态语言之间的互操作性,能和原有clr支持的静态类型语言间的互操作性一致。
just like their friends who program in statically typed languages, programmers of python and in other dynamic languages often use relational databases as a back-end data store.
正如采用静态类型化的语言进行编程的朋友们一样,python和其他动态语言的程序员通常使用关系数据库作为后端数据存储区。
duck typing techniques can be used in statically typed languages like c#, but it generally requires some tedious reflection code.
ducktyping技术能够应用在类似c#这样的静态类型化语言中,但它通常需要实现一些冗长的反射代码。
this often leads fans of dynamically typed languages to accuse statically typed languages of always being too low-level to be productive languages for applications -- but that」s a narrow world view.
这又经常导致动态语言的支持者指责静态语言总是太低级,用它们来编写应用程序生产率很低 ——但那是一种很狭隘的观点。
as a result, there are plans to provide statically typed 「args」 in an upcoming release of jboss aop.
所以,在jbossaop最近的发行版本中,有提供静态类型化的「args」 的计划。
statically typed languages can have strong or weak typing; dynamically typed systems are usually, though not exclusively, strongly typed.
静态类型的语言既可以有强类型,也可以有弱类型;而动态类型系统通常是强类型的,但也不完全是。
statically typed languages are usually, but not exclusively, type explicit; dynamically typed languages are almost always type-inferred.
静态类型语言通常是显式类型的,但也不完全是;而动态类型语言几乎都是隐式类型的。
in statically typed oop languages, you would have to build just as much custom validation into a library as that found in the currently discussed python library.
在静态类型的oop语言中,您必须将刚好与当前讨论的python库中找到的数量相同的定制有效性构建到库中。
scala is statically typed which allows it to provide generic classes, inner classes and even polymorphic methods.
scala是静态类型的,这就允许它提供泛型类、内部类、甚至多态方法(polymorphic method)。
this is annoying in any language, but especially problematic for statically typed languages where one wants to map those unnamed types to actual classes.
无论在何种语言中这都是非常恼人的问题,但对于静态类型语言来说更是如此,因为开发者需要将这些无名类型映射到实际的类上。
this strategy allows powerful code refactoring tools, which are much more difficult to achieve using the same methods for statically typed languages.
这一策略允许使用强大的代码重构工具,而使用静态类型语言的同样方法来实现此功能则困难得多。