指令式编程语言 编辑
指令式编程；是一种描述电脑所需作出的行为的编程典范。几乎所有电脑的硬件都是指令式工作；几乎所有电脑的硬件都是能执行机器码，而机器码是使用指令式的风格来写的。较高阶的指令式编程语言使用变数和更复杂的语句，但仍依从相同的典范。菜谱和行动清单，虽非计算机程序，但与指令式编程有相似的风格：每步都是指令。因为指令式编程的基础观念，不但概念上比较熟悉，而且较容易具体表现于硬件，所以大部分的编程语言都是指令式的。
1
相关
是一种高级语言的、直译语言的编程语言。JavaScript是一门基于原型编程、头等函数的语言，是一门多范式的语言，它支持面向对象程序设计程式设计，指令式编程语言，以及函数式编程语言。它提供语法来操控文本、数组、日期以及正则表达式等，不支持I/O，比如网络、存储和图形等，但这些都可以由它的宿主环境提供支持。它已经由Ecma国际通过ECMAScript实现语言的标准化。它被世界上的绝大多数网站所使用，也被世界主流浏览器支持。
ML，是一个函数式编程语言、指令式编程语言的通用编程语言的编程语言，它著称于使用了多态的类型推论。ML能自动的指定多数表达式的数据类型，不要求显式的类型标注，而且能够确保类型安全，已经正式证明了有良好类型的ML程序不会导致运行时间类型错误。
是一种高级语言的、直译语言的编程语言。JavaScript是一门基于原型编程、头等函数的语言，是一门多范式的语言，它支持面向对象程序设计程式设计，指令式编程语言，以及函数式编程语言。它提供语法来操控文本、数组、日期以及正则表达式等，不支持I/O，比如网络、存储和图形等，但这些都可以由它的宿主环境提供支持。它已经由Ecma国际通过ECMAScript实现语言的标准化。它被世界上的绝大多数网站所使用，也被世界主流浏览器支持。
是一种高级语言的、直译语言的编程语言。JavaScript是一门基于原型编程、头等函数的语言，是一门多范式的语言，它支持面向对象程序设计程式设计，指令式编程语言，以及函数式编程语言。它提供语法来操控文本、数组、日期以及正则表达式等，不支持I/O，比如网络、存储和图形等，但这些都可以由它的宿主环境提供支持。它已经由Ecma国际通过ECMAScript实现语言的标准化。它被世界上的绝大多数网站所使用，也被世界主流浏览器支持。
有类型lambda演算是使用lambda符号指示匿名函数抽象的一种有类型的形式化。有类型lambda演算是基础编程语言并且是有类型的函数式编程语言如ML语言和Haskell和更间接的指令式编程语言的基础。它们通过Curry-Howard同构密切关联于直觉逻辑并可以被认为是范畴论的类的内部语言，比如简单类型lambda演算是笛卡儿闭范畴的语言。
有类型lambda演算是使用lambda符号指示匿名函数抽象的一种有类型的形式化。有类型lambda演算是基础编程语言并且是有类型的函数式编程语言如ML语言和Haskell和更间接的指令式编程语言的基础。它们通过Curry-Howard同构密切关联于直觉逻辑并可以被认为是范畴论的类的内部语言，比如简单类型lambda演算是笛卡儿闭范畴的语言。
有类型lambda演算是使用lambda符号指示匿名函数抽象的一种有类型的形式化。有类型lambda演算是基础编程语言并且是有类型的函数式编程语言如ML语言和Haskell和更间接的指令式编程语言的基础。它们通过Curry-Howard同构密切关联于直觉逻辑并可以被认为是范畴论的类的内部语言，比如简单类型lambda演算是笛卡儿闭范畴的语言。
是一种高级语言的、直译语言的编程语言。JavaScript是一门基于原型编程、头等函数的语言，是一门多范式的语言，它支持面向对象程序设计程式设计，指令式编程语言，以及函数式编程语言。它提供语法来操控文本、数组、日期以及正则表达式等，不支持I/O，比如网络、存储和图形等，但这些都可以由它的宿主环境提供支持。它已经由Ecma国际通过ECMAScript实现语言的标准化。它被世界上的绝大多数网站所使用，也被世界主流浏览器支持。
是一种高级语言的、直译语言的编程语言。JavaScript是一门基于原型编程、头等函数的语言，是一门多范式的语言，它支持面向对象程序设计程式设计，指令式编程语言，以及函数式编程语言。它提供语法来操控文本、数组、日期以及正则表达式等，不支持I/O，比如网络、存储和图形等，但这些都可以由它的宿主环境提供支持。它已经由Ecma国际通过ECMAScript实现语言的标准化。它被世界上的绝大多数网站所使用，也被世界主流浏览器支持。
是一种高级语言的、直译语言的编程语言。JavaScript是一门基于原型编程、头等函数的语言，是一门多范式的语言，它支持面向对象程序设计程式设计，指令式编程语言，以及函数式编程语言。它提供语法来操控文本、数组、日期以及正则表达式等，不支持I/O，比如网络、存储和图形等，但这些都可以由它的宿主环境提供支持。它已经由Ecma国际通过ECMAScript实现语言的标准化。它被世界上的绝大多数网站所使用，也被世界主流浏览器支持。