这种语言的语义基础是模拟数据存储/数据操作”的图灵机可计算模型，十分符合现代计算机体系结构的自然实现方式。其中产生操作的主要途径是依赖语句或命令产生的副作用。现代流行的大多数语言都是这一类型，比如Fortran、Pascal、 C++obol、 C、C++、Basic、 Ada、 Java、 C#等， 各种脚本语言也被看作是此种类型。

函数式语言。这种语言的语义基础是基于数学函数概念的值映射的算子可计算模型。这种语言非常适合于进行人工智能等工作的计算。典型的函数式语言如Lisp、 Haskell、 ML、Scheme、 F#等。逻辑式语言。这种语言的语义基础是基于一组已知规则的形式逻辑 系统。这种语言主要用在专家系统的实现中。著名的逻辑式语言是Prolog。虽然各种语言属于不同的类型，但它们各自都不同程度地对其他类型的运算模式有所支持。

学习编程不仅仅是找到一份工作。编程可以作为一样工具帮助你的学习、工作和生活。在许多情况下，这能决定事情的成败。
以两名学生申请国外的大学为例。两者都有优异的成绩和考试成绩。但其中一还开发了一个计算机程序，可以帮助她跟踪自己的目标和进度。于是，她能够更高效地得到信息，帮助她进入梦想学校。

又或者，知道如何编程的程序员能够开发出一个模型，该模型可以以 80 的准确率预测赛马的获胜者。他利用这些信息通过投注比赛来赚钱。
在这两个例子中，编程能力为他们提高了成功的可能。
随着我们的世界变得越来越数字化，那些知道如何编程的人将会获得更大的优势。