Io 语言

定义

Io 是 Steve Dekorte 于 2002 年创造的一门极简动态语言,融合 Smalltalk 的"一切皆消息"、Self 的原型继承与 Lisp 的代码即数据理念,整门语言几乎没有关键字与特殊语法。

特点

Io 中没有类,对象通过克隆现有原型(clone)创建并可随时增删槽(slot);所有计算——包括赋值、控制流——都是向对象发送消息,消息本身是可反射操作的一等对象,因此元编程能力极强。它内建 Actor 风格并发(基于协程)、Future 与异步消息。

影响与评价

Io 因收录于 Bruce Tate《七周七语言》而广为人知,常被用作教学示例,展示"最小语义核"能走多远。其消息与原型模型帮助许多开发者理解 JavaScript 原型继承与 Ruby 元编程的本质。

现状

Io 社区规模很小,主要价值在于语言设计研究与思维训练,而非工程实用。