Io_language体验原型语言

用Io的时候，不必既操心类又操心对象。只需要和对象打交道，必要的时候把对象复制一下就行。这些被复制的对象就叫做原型。

在原型语言中，每个对象都不是类的复制品，而是一个实实在在的对象。此外Io还能无限接近面向对象的Lisp(我最爱的一个语言)。

在其他语言中，可对某个类调用new创建一个信对象。通过定义类，可以创建一个新的对象种类。

但是对于Io，它不区分类和对象。可以通过复制现有对象创建新的对象。现有对象就是原型：

    $ io
    Io 20110905
    Io> Demo := Object clone
    ==> Demo_0x11fca10:
    type = "Demo"

Object是根对象。我们发送clone消息过去，它会返回一个新的对象。把这个返回的新对象赋值给Demo。这里的Demo不是类，也不是用来创建对象的模板，它只是个对象。

在Java中，类是用来创建对象的模板。比如Apple apple = new Apple()这条语句从Apple类创建一个新的Apple对象。apple和Apple是完全不同的两个实体，一个是对象，一个是类。

在Io中却不是这样。apple := Apple
clone这条语句从Apple原型创建一个名为apple的复制品。apple和Apple都是对象。Apple还是类型，因为它有type槽。而在其他方面，Apple和apple完全相同。

原型编程范式有几条基本原则：

• 所有事物都是对象
• 所有与对象的交互都是消息以最传统”hello world”为例

  
  Io> "hello world" print
  hello world==> hello world
          

  通过发送print消息给字符串”hello world”，接收者在左边，消息在右边
• 你要做的不是实例化类，而是复制那些叫做原型的对象
• 对象会记住它的原型以Human，Student这两个原型为例

  
  Io> Human := Object clone
  ==>  Human_0x218ea70:
    type             = "Human"
  
  Io> Student := Human
  ==>  Human_0x218ea70:
    type             = "Human"
  
  Io> me proto
  ==>  Object_0x1ef5a20:
                     = Object_()
    !=               = Object_!=()
    -                = Object_-()
  ...
          

• 对象有槽可以把一组槽想象成散列表，而对象就是槽的容器
• 槽包含对象(包括方法对象)

  
  Io> Student slotNames
  ==> list(type)
          

  目前它只有type槽。

  
  Io> Student speak := method("I'm a student." println)
  ==> method(
      "I'm a student." println
  )
  Io> Student speak
  I'm a student.
  ==> I'm a student.
          

  如果槽是某个方法，就会调用该方法
• 消息返回槽中的值，或调用槽中的方法
• 如果对象无法相应某消息，则它会把该消息发送给自己的原型