Benjamin C. Pierce. Types and Programming Languages.
（中译本类型和程序设计语言，马世龙等译）。
You can validate against the data types found in modern databases and programming languages.
可以按照现代数据库和编程语言中的数据类型进行验证。
Most popular programming languages have several built-in data types, and Python is no different in this respect.
大多数流行的编程语言都有多个内置的数据类型，在这一方面Python也一样。
Web service interfaces can be described using Web Services Description language (WSDL), an XML-based vocabulary whose data types and structures can be realized in multiple programming languages.
WSDL (Web Services Description Language, Web服务描述语言)是一种基于XML的语言，可以用来描述Web服务的接口。WSDL的数据类型和数据结构可以用多种编程语言来实现。
These achievements include the axiomatization of programming languages and data types, formal verification, and formal specification and analysis.
这些贡献包括编程语言和数据类型的公理化，形式验证，形式规约与分析。
The most commonly used programming languages are highly portable and can be used to effectively solve diverse types of computing problems.
最常用的编程语言具有很高的可移植性，可以用于有效地解决不同类型的计算问题。
Although many programming languages and many different types of computers exist, the important first step is the need to have the solution. Without an algorithm there can be no program.
尽管有众多的编程语言和不同的计算机存在，第一步也是最重要的一步就是找到解决问题的方案，没有算法就不会有程序。
Although many programming languages and many different types of computers exist, the important first step is the need to have the solution. Without an algorithm there can be no program.
尽管有众多的编程语言和不同的计算机存在，第一步也是最重要的一步就是找到解决问题的方案，没有算法就不会有程序。
应用推荐