计算机语言有哪几种计算机语言有哪些计算机编程语言( 六 ) _语言

Fril
Fril 语言是由 Trevor Martin 和 Jim Baldwin 于20世纪80年代在布里斯托大学的时候设计的。它主要面向一阶谓词演算，支持模糊集和元编程，基于 Prolog 的语法。
Janus
Janus 支持并发和约束式编程。
Leda
这种计算机编程语言是基于逻辑的，函数式，命令式和面向对象编程的混合体。因此，它是一种多范式语言。
Oz
它是一种多范式语言，支持函数式，基于逻辑的，命令式和面向对象编程。Oz 还支持并发和分布式编程。支持约束式编程是 Oz 语言的优点之一。
Poplog
它是一个强大的多范式软件开发环境，其核心语言是 POP11。该开发环境的所有语言共享一个共同的语言编辑器，并且是增量编译的编程语言。
Prolog
它是一种支持逻辑编程的通用编程语言，通常可以连系到人工智能和计算语言学。语言是声明式的，程序逻辑则以关系的形式来表达。Mercury 是基于 Prolog 的函数式逻辑编程语言。Strawberry Prolog 是 Prolog 的一种方言，被设计得易于使用。Visual Prolog 是支持面向对象编程的 Prolog 强类型扩展。它是一种基于逻辑的编译型编程语言。
ROOP
它是一种基于 C++ 的多范式语言，推出目的是在与人工智能系统一起使用。其功能融合了函数式、逻辑和面向对象编程。

文章插图
并发编程语言并发编程是一种计算机编程技术，可以让操作并行执行——在单计算机或者跨越多台计算机上都可以实现，而在后一种情况下，使用术语分布式计算。（维基百科）
ABCL
它是基于 Actor 的并行语言（ActorBased Concurrent Language）的一个语言系列，是在日本于1980年代和90年代开发出来的。ABCL/1、ABCL/R 以及 ABCL/R2 就是 ABCL 系列的一些成员。
Afnix
它是一种多线程函数式编程语言。它的解释器是用 C++ 编写的。其运行时引擎支持32位和64位平台。
Cilk
Cilk 是麻省理工学院实验室在1994年创建出来的，支持多线程并行编程。
Concurrent Pascal
美国丹麦裔计算机科学家 Per Brinch Hansen 创建了 Concurrent Pascal ，用来编写操作系统和为实时系统编程。
E
它是一种支持分布式编程的面向对象编程语言。E 是在1997年由马克·米勒，丹·博恩斯坦与他们在电气社区的同事们一起开发出来的，其语法类似于 Java。
Joule
Joule 出现在 E 编程语言之前，是一种并发数据流编程语言，可用于开发分布式应用程序。
Limbo
在贝尔实验室开发出来的 Limbo 可用于为分布式系统编写程序。它的显着特点就是其编译器能够生成独立于体系结构的目标代码。Limbo 被用来开发在 Inferno 操作系统上运行的应用程序。最初作为 Plan 9 操作系统一部分的 Alex 就是 Limbo 的前身。
Pict
它是一种静态类型的编程语言，现在还处在实验阶段。
SALSA
Simple Actor Language System and Architecture（简单Actor语言系统和架构）的简称， SALSA 支持并行编程，消息传递和分布式计算。为了具备可移植性，它使用了 Java 代码。
SR
其名称 SR 是 Synchronizing Resources（同步资源）的首字母缩略词，是一种并行编程语言。

文章插图
面向对象编程语言面向对象编程 ( OOP) 是基于“对象”思想的编程规范，它包含数据，一般称为属性，表现为字段(field)的形式；还包含代码，一般称为方法，表现为程序的形式。在 OOP 中，计算机程序是根据对象与对象之间的交互来设计的。(Wikipedia)
Agora
这是一种基于原型的面向对象编程语言，具有消息传递机制。
BETA
它是一种面向对象的编程语言，其类和过程围绕相同的概念，而且类被定义为对象的属性。它具有很强的抽象机制。BETA 还支持嵌套类。
Cecil
这是由 Craig Chambers 在华盛顿大学创建的一种面向对象编程语言。它与 ObjectiveC 和 Modula3 非常相似。
Lava
Lava 是一种解释性的可视化面向对象编程语言。
Lisaac

计算机语言有哪几种 计算机语言有哪些 计算机编程语言( 六 )

计算机语言有哪几种计算机语言有哪些计算机编程语言( 六 )