Io 语言导引

第一次接触 Io 语言的时候我就被其简洁干净的语法打动了（如果你有编程语言的经验，也许 15 分钟就可以掌握大部分的语法），Io 语言的简单、灵活和对并发的良好支持都让人印象深刻。本文翻译自 Io 语言官网的这篇文章。

引言

总览

Io 语言是一门基于原型的动态语言，主要思想很大程度上受到了 Smalltalk（所有变量都是对象）、Self（基于原型）、NewtonScript（差异化继承）、Act1（并发行为特征）、Lisp（运行时可观测和修改代码）和 Lua（小巧可嵌入）的影响。

透视图

过去三十年编程语言研究的重心已经转移到了具备强大的表达力的高级语言（比如 Smalltalk），以及性能卓越的底层语言（比如 C）。结果就是一系列的中间语言（既不如 C 快，又不如 Smalltalk 那样有强大的表达力）诞生出来。Io 语言的目的通过高级动态语言的特性—— 运行时灵活性和极其简单的语法重新定位到语言表达能力上。在 Io 语言中，所有变量都是对象，所有变量都可以在运行时改变，包括“ 槽”（后文会提到）、方法和继承关系；所有代码都由表达式组成，可以在运行时任意查看和修改；所有表达式都由动态的信息发送机制组成，包括赋值结构和控制结构。执行上下文本身就是可激活的对象，比如方法、代码块和函数，通过一个可分配的域统一到一起。并发通过 actors 被设计成更容易实现，并且使用 coroutines 机制以便于具备伸缩性。

目标

设计成一门：

简单的语言

• 概念简单一致
• 容易嵌入和扩展

强大的语言

• 高度动态的和自省的
• 高度并发的（通过 coroutines 和异步 i/o）

实用的语言

• 足够快
• 跨平台
• 非限制性的 BSD/MIT 证书
• 发行广泛的标准包支持

下载：

http://iolanguage.com

安装：

首先编译 Io vm：

安装插件依赖

有一些依赖包也许不在你的系统里，所以要自动安装的话，输入：

用哪个要看你用哪个包安装器，port 那一个是专给 OSX 准备的。

编译插件

根目录执行：

生成的二进制文件会放到_build/binaries 子目录中。安装：

或者，如果你想要以链接的方式安装到你的开发文件夹中的话：

运行单元测试：

有些插件构建失败也没关系，除非你明确需要那个插件。插件只不过是可选组件。

备注

添加特定的插件：

从库上取下代码后，记得执行：

根据源文件生成新的参考文档（在 docs/IoReference.html 上也可以找到）：

二进制文件：

Io 会建立两份可执行文件并且把它们替换到二进制文件夹中：

io_static 可执行文件包括了原始类型支持的最小集合，都是静态链接到它上面的。io 可执行文件则可以加载 iovm 动态链接库，可以在需要的时候动态加载 io 插件。

运行 Io 脚本

例子：

这种方式下不需要 main 方法或者对象，脚本在编译后就执行了。

交互模式

运行：

也可以直接输入：

这样就打开了解释器的提示。

你可以直接输入代码解释执行，比如：

表达式在 Lobby 的上下文中执行：

如果你在 home 文件夹中有一个.iorc 文件，它会在解释器提示前执行。

检视对象

你可以获得一个某对象的槽的列表：

如果要排序显示出来：

要以漂亮的格式来展示，slotSummary 方法很便捷：

更进一步查看：

看起来只有 ReadLine 在插件里面，没有别的了。同时，也打印出了反编译出的版本号。

doFile 和 doString

脚本可以以交互模式运行，使用 doFile 方法如下：

doFile 的执行上下文正是它的接收器（receiver），在这里就是 lobby。上下文的其它对象来执行脚本的话，可以把 doFile 消息发送给它。

doString 方法可以用来执行生成一个 string：

同样，也可以指定一个上下文：

命令行参数

打印出命令行参数的示例：

launchPath

System 的“launchPath” 槽用来设定初始源文件执行的位置。当交互模式提示符出现（不显式指定源文件路径），launchPath 就是当前的工作目录：

句法

表达式

Io 语言没有关键字或者声明语句。一切都是由表达式组成的消息，每一个都是在运行时可以被访问的对象。正式的 BNF 表述如下：

考虑到性能的原因，String 和 Number 字面消息会缓存结果在消息对象中。

消息

消息参数以表达式的方式传入，并在 receiver 中执行。

根据参数取值选择逻辑可以用来实现控制流，比如：

上面的代码中，for 和 if 都是普通的消息而已，并不是什么关键字。

类似的，动态赋值可以用来实现枚举的功能，而不需要一个封闭的代码块：

像 map、select 之类的方法往往被用于表达式直接过滤值集合：

有一些运算符（包括赋值）的语法糖，在编译成消息树以后被 Io 的宏执行：

像 Self 语言一样,Io 的语法并不区分访问方法来获取值还是直接获取值。

操作符

操作符只是一个普通的消息，而且这个消息不包含任何字母（or、and 和 return 除外）：

它会被编译成：

如果你需要括号分组：

符合 C 的优先级顺序：

会被转换为：

用户定义的操作符（非标准的操作符名字）是自左向右结合运算的。

赋值

Io 有三种赋值运算符：

赋值运算符也是普通消息，它们的方法都可以被覆写：

本地对象中，updateSlot 被覆写，如果这个槽不存在，这个槽就会被更新到对象中。这个操作不需要 explicit 显示声明就可以做到。

数字

有效的数字格式：

十六进制数亦被支持（不限大小写）：

字符串

字符串用一组双引号+转义符来定义：

或者，不使用转义字符的话可以写成多行（用三个双引号）：

注释

注释支持//, /**/和 #风格：

“#” 风格在 Unix 中很有用：

就这些！一切都是表达式。这些就是控制流、对象、方法、异常和其他语法表达式，以及语义。

对象

概览

通过对概念的统一，Io 的导引描述了简单和强大的原则。

原型

一切都是对象，包括存储代码块的本地变量和命名空间，而所有对象又都是消息（包括赋值操作符）。对象可以由一串键值对组成，他们被称为“ 槽”，每一个对象都自内部对象继承而来，被继承的对象被称为“ 原型”。槽的键可以是一个符号（唯一的无意义序列），值可以是任意对象类型。

clone 和 init

新建的对象通过 clone 已有对象来实现。clone 出来的东西其实是一个空对象，但是在它的原型列表中，可以找到它的父对象。在这个过程后，新建对象的 init 槽会被调用，以便初始化对象自己。就像 NewtonScript 一样，槽在 Io 中是符合“ 创建-写入” 模式的：

添加一个实例变量或者方法：

如果存在 init 方法的话，clone 后 init 会被自动调用。

继承

对象收到消息的时候，如果消息符合该对象的某一个槽，就执行，如果找不到，那么就一层一层向上找它的原型。查找循环会被检测到，它是不被允许的。如果匹配的槽包含一个可激活的对象，比如 Block 或者 CFunction，它包含任何其他值类型，就会被递归调用。Io 命名空间中没有全局变量，根对象被称为 Lobby。

因为没有类，只有原型，那么子类和实例本身也就没有任何区别了。这里有一个创建相同子类的例子：

以上代码设置了 Lobby 的槽“Dog” 为 Object 对象，这个新对象的原型列表只包含一个对 Object 的引用，本质上指明了这就是 Object 的子类。实例变量和方法继承自这个原型列表。如果设置了这个槽，创建新槽并不会改变它的原型对象：

多重继承

你可以添加任意数量的原型到对象的原型列表上。当对象收到一个消息的时候，它会深度搜索原型链寻找匹配。

方法

方法就是一种匿名函数，调用的时候，会创建一个对象存储在本地变量集合里面，并且设置这个对象的原型指针和它自己的槽到相应的消息上面。这个 Object 的 method() 方法可以用来创建对象：

对象中使用这个 method 的例子：

以上代码创建了一个 Object 的子类“Dog”，并且添加了“bark” 槽，这个槽包含了打印“woof!” 的代码块。调用示例：

默认返回值就是最后一行表达式语句的结果。

参数

方法定义的时候可以带参数：

总的来说，形式如下：

代码块

除去词法的变量范围以外，代码块和方法一样。变量查找会在代码块创建的上下文中继续，而不是在调用代码块的消息的上下文中继续。一个代码块可以使用 Object 的 block() 方法来创建：

代码块和方法

有时候这两个概念会引起混乱，所以有必要再细细解释一下。代码块和方法都可以创建在被调用时可以持有本地变量的对象。不同之处就在于本地对象的“proto” 和“self” 槽设置到哪里去。方法中，这些槽设置到消息对象的目标去，而在代码块中，它们是被设置到代码块创建时的本地对象中去的。所以一次失败的变量查找，将引起在代码块创建上下文的本地变量中继续查找，而方法则是在消息接收者中继续查找。

call 和 self 槽

当本地对象被创建，self 槽被设置

当本地对象创建，它的 self 槽和 call 槽会被设置到 Call 对象中，以用以获取关于代码块调用的信息：

可变参数

本地变量的“call message” 槽可以用来获取不定参数消息。见 if() 的实现：

doMessage() 方法把参数传入 receiver 的上下文中，一个简洁的写法是使用 evalArgAt()：

Forward

如果对象不响应消息，而且 forward 方法存在的话，会调用 forward 方法。这个例子是显示怎样打印查找失败消息的：

重发

以 self 作为上下文，将当前消息发给 receiver 的原型链：

打印：

重发其他消息给 receiver 的原型时，会使用到 super。

Super

如果你需要直接发消息给原型：

重发和 super 都在 Io 中实现了。

自省

使用以下方法你可以自省 Io 的命名空间。也有方法用来在运行时修改这些属性值。

slotNames

slotNames 方法返回一个对象槽名字的列表：

protos

protos 方法返回对象继承的一个列表：

getSlot

getSlot 方法用于获取一个槽的实际值：

前文中，我们设置了本地对象的 myMethod 槽为 bark 方法。你如果需要 myMethod 方法，但是又不调用它，你可以通过 getSlot 来获取：

code

方法的参数和表达式是可以自省的。 一个好用的办法的就是 code 方法，返回一个源代码的字符串：

控制流

true、false 和 nil

true、false 和 nil 都是单例，nil 一般用于标识一个未设置值或者丢失了的值。

比较方法

比较方法：

返回 true 或者 false，compare() 方法用于实现真正的比较，返回-1、0 或者 1，分别表示小于、相等和大于。

if、then、else

if() 方法的形式：

例子：

else 参数是可选的。如果条件表达式执行为 false 或者 nil，都被视作 false。

执行结果也可以返回：

和如下形式一样：

条件可以这样用：

支持 elseif()：

ifTrue、ifFalse

支持 Smalltalk 风格的 ifTrue、ifFalse、ifNil 和 ifNonNil 方法：

注意条件表达式必须用圆括号括起来。

循环

循环方法支持无限循环：

repeat

Number 的 repeat 方法可以用于把一个对象的方法重复执行你给定的次数：

while

形式：

for

形式：

start 和 end 消息只在循环开始时执行一次：

使用 step：

打印：

要反转这个循环的话，使用负值作为 step：

注：first 值是循环的起始值，last 值是标志环完成时的值，所以 1 到 10 的循环会执行 10 次而 0 到 10 的循环会执行 11 次。

break、continue

loop、repeat、while 和 for 都是支持 break 和 continue 的：

输出：

return

代码块中执行到任何语句时都可以返回：

break、continue 和 return 都通过存取 stopStatus 这个监控循环和消息的内部值来工作。

引入

Importer 原型实现了 Io 内置的引入机制。你只需要把你的原型放到它们各自的文件中，文件名以 io 结尾，这个 Importer 在原型第一次被用到的时候会自动引入它们。默认的搜索路径是当前工作目录，你也可以调用 addSearchPath() 来添加路径。

并发

Coroutines

Io 使用 coroutines（协程，这里指用户层面的线程协作）而不是操作系统抢占式的线程实现方式。这就减少了潜在的因为本地线程和数千个活跃线程切换引起的消耗（内存、系统调用、锁和缓存问题等等）。

Scheduler

Scheduler 对象用来重新开始已经挂起的 coroutines（协程，见上文）。当前的 scheduling 系统使用无优先级的 FIFO 策略。

Actors

actor 是一个拥有自己线程的对象（拥有自己的协程），用于处理异步消息队列。任何对象可以以异步消息的方式发送出去，你只需要重写 asyncSend() 或者 futureSend() 消息：

当对象接收到异步消息的时候，会把消息放到队列里面，如果队列里没有的话，会启动一个协程来处理队列中的消息。队列消息是顺序处理的（FIFO）。Control 可以通过调用 yield 用来挂起当前处理流程，让出资源：

会打印出 112233，以下是一个更真实的例子：

Futures

Io 的 future 是透明的，当结果准备好的时候，它们就是结果，如果一个消息被发送给 future，就会被挂起等待，直到结果准备好。透明的 future 很强大，因为它们允许程序员尽可能地减小阻塞，把程序员从繁重的异步管理的细节中解脱出来。

自动死锁检测

使用 future 的一个优点是当等待的时候，它会检测等待是否在等待中会产生死锁，如果会的话就抛出异常。

Futures 和命令行接口

命令行会打印表达式的结果，如果结果是 Future 的话，直到结果返回再打印：

如果不想这样，不返回 Future 就行：

Yield

对象的异步消息在执行的时候会自动转让控制权，yield 方法只是在要明确让出 CPU 资源的时候调用。

Pause 和 Resume

暂停和恢复对象，请参见并发方法部分。

异常

Raise

在异常的原型中调用 raise()，表示异常被抛出了。

Try 和 Catch

要捕获异常，使用 Object 原型的 try() 方法。try() 会捕获任何异常并返回，如果没有异常就返回 nil。

第一个参数是要捕获的异常类型，catch() 返回异常。

Pass

要重新抛出异常的话，使用 pass 方法。它可以把异常抛给下一个外部的异常处理器，我们往往在所有的 catch 都无法捕获到所需异常的时候抛出：

自定义异常

自定义异常类型可以 clone Exception 来实现：

Primitives

Primitives（原语类型）是一组 Io 内建的对象，它们的方法通常使用 C 实现并且存放了一些隐藏数据在内。举例来说，Number 包含了一个 double 精度的浮点数，并且可以像 C 函数一样计算。所有的 Io 原语类型继承自 Object 原型，并且是不可变对象。也就是说这些方法都是不可变的。

这这篇文档不是想要成为参考手册，只不过是想提供一个基本原语类型的概览，给用户一个入门，提供一个基础认识，要了解详情请参见参考手册。

Object

问号操作符

有时候想要在某方法存在的情况下调用（避免抛出找不到方法的异常）：

可以用问号操作符写成这样：

链表

链表是一个存放引用的数组，支持标准的数组操作和枚举方法。

创建空链表：

用 list() 方法创建任意链表：

添加元素：

获取大小：

根据下标获取元素（从 0 开始）：

设置元素：

删除元素：

插入：

foreach

foreach、map 和 select 方法可以以三种形式调用：

Io> a := list(65, 21, 122)

Io> a foreach(i, v, write(i, ":", v, ", "))
==> 0:65, 1:21, 2:122,

第二种形式是略去下标的：

第三种形式：

map 和 select

map 和 select（有的语言里面叫 filter）方法允许执行任意表达式：

map 和 select 方法返回新的链表，如果直接在原有链表上操作，可以使用 selectInPlace() 和 mapInPlace()。

Sequence

不变的 Sequence 被称为 Symbol，而可变的 Sequence 和 Buffer 或者 String 是等价的。Literal strings（被双引号引起来的这种 string）就是 Symbols，它们是不能改变的。但是调用 asMutable 可以生成一个可变的字符串：

检查是否存在子串：

"apples" containsSeq("ppl")

==> true

获取第 N 个 char（byte）：

切割：

去空格：

大小写转换：

切割：

根据其它字符切割：

转换成 Number：

字符串插入：

字符串插入会代换 #{} 里面的东西，代码可以包含循环等等，但是最后必须返回一个 String。

Ranges

一个包含起始和结束，还有怎样从开始执行到结束的指令。当创建一个很大的序列数据链表的时候会很有用，它可以很容易被转成 list，或者使用 for() 被替换。

Range 规范

每个对象都可以用在 Ranges 里面，只要实现 nextInSequence 方法。这个方法接受一个可选参数，表示跳过（skip）多少个对象，然后返回下一个对象，默认的这个 skip 值是 1：

有了 Number 的这个方法，你就可以使用 Number 的 Range 了：

上面代码会打印 1 到 5，一个一行。

File

几个方法：openForAppending、openForReading、openForUpdating，删除的话就是 remove 方法：

Directory

创建一个文件夹对象：

获取一个文件对象的列表：

获取文件+文件夹列表：

items := Directory items ==> list(Directory_0x8446b0, File_0x820c40, …)

items at(4) name
==> DarkSide-0.0.1 # a directory name

建立一个文件夹对象：

root := Directory clone setPath("c:/") ==> Directory_0x8637b8

root fileNames
==> list("AUTOEXEC.BAT", "boot.ini", "CONFIG.SYS", …)

测试文件是否存在：

获取当前工作目录：

Date

创建一个日期实例：

设置到当前时间：

以 number 方式获取时间：

获取时间的每一部分：

看执行代码的时间是多少：

网络

Io 支持异步连接，但是像读写 socket 的行为是同步的，因为调用 coroutine 是无法预期的，直到 socket 完成这步操作，或者超时出现。

创建一个 URL 对象：

获取一个 URL：

文件流：

一个简单的 whois 客户端：

最简单的服务端：

WebRequest := Object clone do( handleSocket := method(aSocket, aSocket streamReadNextChunk request := aSocket readBuffer \ betweenSeq("GET ", " HTTP") f := File with(request) if(f exists, f streamTo(aSocket) , aSocket streamWrite("not found") ) aSocket close ) ) WebServer := Server clone do( setPort(8000) handleSocket := method(aSocket, WebRequest clone asyncSend(handleSocket(aSocket)) ) )

WebServer start

XML

使用 XML 转换器来找到网页的链接：

Vector

Vector 用在 Sequence 原语类型上面，定义为：

Sequence 原语类型支持浮点 32 位操作的 SIMD 增强。当前包含 add、subtract、multiple 和 divide，但是未来会支持更多数学、逻辑和字符串操作。小例子：

在 2Ghz 的 Mac 笔记本上跑会输出：

相似的 C 代码（SIMD 强化）会输出：

从这个例子看，Io 是要比单纯的 C 快大概三倍。

Unicode

Sequences

符号、字符串和 vectors 都统一到一个 Sequence 原型中，Sequence 是一个包含所有可用的硬件数据类型的数组：

编码

Sequence 有编码属性：

UCS-2 和 UCS-4 分别是 UTF-16、UTF-32 的等宽字符版本。String 只不过是一个带有文本编码的 Sequence 而已；Symbol（符号）是不可变的 String；而 Vector 则是具备数字编码的 Sequence 罢了。

UTF 编码是高位优先存储的。

除了输入输出，所有的字符串都是等宽编码。这种设计带来了简化实现，代码层面也可以分享 vector 和 string 的操作，根据下标快速访问，以及 Sequence 操作的 SIMD 支持。所有 Sequence 方法会自动做必要的类型转换。

源代码

Io 的源文件使用 UTF8 编码，当源文件被读入，符号和字符串被存储时按照最小等宽编码。例子：

来查看内部实现：

转换

Sequence 对象有一组转换方法：

嵌入

规约

Io 的实现代码 C 代码是按照面向对象风格来完成的，结构体成了对象，而函数变成了方法。熟悉这些会帮助你理解那些嵌入式的 API。

结构体

成员都是小写字母开头，骆驼命名法：

函数

函数命名以结构体开头，然后用一下划线连接，再加上真正的方法名。每一个结构体都有一个 new 函数和一个 free 函数：

所有除了 new 以外的方法都有一个作为首参的结构——self。方法名是符合关键字的格式，也就是说，用下划线串起一组词来描述这个方法：

文件名

每一个结构体都有它自己的.h 和.c 文件。除去后缀，文件名和结构体名字一致。文件包含该结构体所有的方法。

IoState

IoState 可以被认为是 Io 的“ 虚拟机” 的实例。尽管这里“ 虚拟机” 并不准确，因为它意味着某种特定的实现类型。

多状态

Io 是多状态的，这意味着它被设计来支持多种状态实例，而这些实例可以存在在同一个进程中。这些实例互相独立，不共享内存，所以它们可以被不同操作系统线程访问，尽管同一时间只能访问一个。

创建一个状态

这里有一个创建和变更状态的例子：

Values

我们可以获取返回值并且查看和打印：

检查值的类型

有一些简便的宏来做快速的类型检查：

注：返回值总是 Io 对象，你可以在 Io/libs/iovm/source 的头文件中找到 C 级别的方法，比如这样的函数：IoList_rawSize()。

绑定

未来会在文档中补充绑定和插件的部分（原文如此）。

文章未经特殊标明皆为本人原创，未经许可不得用于任何商业用途，转载请保持完整性并注明来源链接 《四火的唠叨》