认识达内从这里开始

佛山IT培训的小编在一些平台上看到的高端的编程技巧，今天给大家介绍相应的三种编程范式，在编程中就提到了提到了不少小众语言，在这里小编希望借此让大家更多的了解一些非主流的编程范式，进而改变对编程的看法。接下来几一起和佛山达内的小编一起来看看下面的这些编程资讯和技巧吧!

佛山IT培训的小编时不时地会看到一些资讯，会发现一些编程语言所做的一些与众不同的事情，也因此改变了我对编码的看法。在本文，我将把这些发现分享给大家。

这不是“函数式编程将改变世界”的那种陈词滥调的博客文章，这篇文章列举的内容更加深奥。我敢打赌大部分读者都没有听说过下面这些语言和范式，所以我希望大家能像我当初一样，带着兴趣去学习这些新概念，并从中找到乐趣。

注：对于下面讲到的大多数语言，我拥有的经验其实很少：我只是觉得他们背后的思想很赞，但对于它们没有任何相关的专业知识，所以有任何更正和错误请指出。此外，如果你发现任何没有包括在这里的新的范式和想法，请分享它们!

下面的这三点就是今天小编给大家介绍的这方面知识和资讯;

一、默认支持并发(Concurrent by default)

示例语言：ANI, Plaid

让我们先从改变思维开始：有一些编程语言是默认支持并发的。也就是说，每一行代码都是并行执行的!

例如，假设你写了三行代码，A，B和C:

A;

B;

C;

在大多数编程语言中，A将首先执行，接着B执行，最后C执行。在像ANI这样的编程语言中，A， B和 C将同时执行。

在ANI中代码行之间的控制流或者顺序只是代码行之间显式依赖的副作用。例如，如果B对A中定义的变量有引用，那么A和C将同时执行，而B将在A完成后执行。

来看一个ANI的例子。正如教程中所描述的，ANI 程序由用于操作流和数据流的“管道”和“锁存器”组成。这种非同一般的语法很难解析，ANI这门语言似乎已经死了，但概念还是相当有趣的。

下面是ANI中的“Hello World”示例：

"Hello, World!" ->std.out

在ANI语法中，我们将“Hello World!”对象(一个字符串)发送到std.out流。如果我们发送另外一个字符串到std.out会怎样?

"Hello, World!" ->std.out

"Goodbye, World!" ->std.out

这两行代码并发执行，所以它们可能以任意顺序在控制台输出。现在，看看当我们在一行中引入一个变量并在之后引用会发生什么:

s = [string\];

"Hello, World!" ->s;

\s ->std.out;

第一行声明一个叫做s的“锁存器”(锁存器有点像变量)，其中包含一个字符串;第二行发送文本“Hello World!”发送到s;第三行“解锁”s并将内容发送到std.out。因此，你可以看到ANI的隐式程序排序：因为每一行运行都依赖于上一行，因此，这段代码将按照它编写的顺序执行。

Plaid语言也声称默认情况下支持并发，但使用的是本篇论文中所描述的一种权限模型来构建控制流。 Plaid还探讨了其它有趣的概念，如面向类型状态的编程，在那里状态转换成为了语言中的重要因素：你定义的对象不再是类，而是一系列可以由编译器检查的状态和转换。看起来十分有趣，正如Rich Hickey在演讲“Are we there yet”中所讨论的，将时间作为语言结构的首要因素。

Multicore正处在上升期，并发性仍然比大多数语言更难。ANI 和 Plaid 对于这个可能产生惊人的性能提升的问题提供了一个新的思路;不过问题是“默认支持并行”是否让并发更容易或难以管理。

更新：上面的描述讲解了ANI和Plaid的基本本质，但我可互换地使用术语“并发”和“并行”，即使它们有不同的含义。如果想了解更多信息请阅读“并发不是并行”这篇文章。

三、拼接语言(Concatenative languages)

示例语言：Forth， cat ，joy

想象过，在没有变量和函数应用的情况下，编写程序是什么样子的吗?没有?我也没试过。但显然有人做了，他们提出了拼接编程。这个概念背后的思想是语言中的都是把数据压入堆栈或者弹出堆栈的函数;程序几乎完全通过功能组合来构建(基于堆栈的编程语言)。

这听起来相当抽象，所以让我们来看cat语言中一个简单的例子：

2 3 +

在这里，我们将两个数字推倒堆栈上，然后调用+函数，它将两个数字从堆栈中弹出，并将它们相加的结果添加到堆栈：代码的输出是5。下面是一个更有趣一点的例子：

def foo {

10 <

[ 0 ]

[ 42 ]

if

}

20

foo

让我们逐行解读上面的代码：

首先，我们声明一个函数foo。注意，在CAT中函数不指定输入参数：所有参数都是从堆栈中隐式读取的。

foo调用<函数，它从堆栈上弹出堆栈的第一个选项，将其与10进行比较，并将true或false返回到堆栈。

接下来，我们将0和42推到堆栈：我们把它们放在括号中以确保它们推到未被评估堆栈上。这是因为这是因为它们将被用作“then”和“else”分支(分别)用于调用下一行的 if 函数。

if函数在堆栈中弹出3个选项：布尔条件、“then”和“else”分支。根据布尔条件的值，它将会把“then”或“else”分支的结果推回到堆栈。

最后，我们将20推到堆栈并调用函数foo。

当上面所说流程都完成后，我们将最终得到数字42.

更详细的介绍，请参看“ The Joy of Concatenative Languages ”

这种编程风格有一些有趣的属性：

程序可以通过无数种方式分割和连接以创建新的程序;

极简的语法(甚至比 LISP 还小)产生了非常简洁的程序;

强大的元编程支持

我发现拼接编程是一个令人大开眼界的思想实验，但我还未实践过。似乎你必须记住或想象堆栈的当前状态，而不能够从代码中的变量名读取它，这会使代码很难理解。

三、依赖类型 (Dependent types)

示例语言：Idris, Agda, Coq

你可能习惯于像C和JAVA等语言的类型系统，编译器可以检查一个变量是整数，列表，或者字符串。但是如果你的编译器可以检查一个变量是“正整数”，“长度为2的列表”，还是“一个回文字符串”会怎样呢?

这就是支持依赖类型语言背后的思想：你可以在编译时指定检查变量值得类型。Scala的Shapeless库添加了对Scala依赖类型的部分实验性质支持，并提供了观察一些例子的简单方法。

下面是如何声明一个Vector的代，其中使用了shapeless库，包含值1、2、3：

val l1 = 1 :#: 2 :#: 3 :#: VNil

这里创建了一个变量l1，它的类型签名不仅指定它是一个包含Ints的Vector，还指定了它的长度是3。编译器可以使用这个信息来捕获错误。让我们使用Vector中的vAdd方法来执行两个Vector间的成对相加(pairwise addition):

val l1 = 1 :#: 2 :#: 3 :#: VNil

val l2 = 1 :#: 2 :#: 3 :#: VNil

val l3 = l1 vAdd l2

// Result: l3 = 2 :#: 4 :#: 6 :#: VNil

上面的例子运行正常，因为类型系统知道两个Vector的长度都是3.。然而，如果我们尝试两个长度不同的Vectors，我们会在编译时得到一个错误。

val l1 = 1 :#: 2 :#: 3 :#: VNil

val l2 = 1 :#: 2 :#: VNil

val l3 = l1 vAdd l2

// Result: a *compile* error because you can't pairwise add vectors

// of different lengths!

Shapeless是一个了不起的库，但在我看来，它仍然有点粗糙，只支持依赖类型的一个子集，并导致生成相当详细的代码和类型签名。另一方面，Irdris，使类型成为编程语言的首要成员，所以，依赖类型系统似乎更强大和更干净。为了比较，可以看看“Scala VS Idris：从属依赖类型的，在现在和未来”演讲。

形式化验证方法已经存在很长一段时间了，但往往过于繁琐，不适用于通用编程。依赖类型的语言，如Idris，甚至在未来的Scala中，可能会提供更轻量级和更实用的替代方案，这仍然可以显著的提高类型系统捕捉错误的能力。当然，由于终止问题的固有限制，没有哪个依赖类型系统可以捕捉到全部错误，但如果做得好，依赖类型可能是静态类型系统下一个大的飞跃。

如果大家想了解更多的编程技术方面的知识或者技巧，那么欢迎来佛山达内培训机构进行更多的咨询和了解。