2003-12-08

Io の継承モデル

Program Io

Io の言語として一番面白い部分の一つだと思います。

前提知識として、インスタンスメソッドとインスタンス変数とクラスメソッドとクラス変数の違いはありません、それらは全てスロットと呼ばれます。メソッド呼び出しとクラス変数参照はメッセージと呼ばれます。

Account = Object clone
Account init =  method(self balance = 0)
Account deposit = method(v, balance += v)
Account show = method(
  write("Account balance: $", balance, "\n")
)

などという Account をベースクラスとして入金した金に倍率をかけて貯蓄するイカサマ貯金を実現したいとします。

CheatAccount = Account clone
CheatAccount init =  method(
  parent = Account
)
CheatAccount deposit = method(v, balance += v * 2)

myAccount = CheatAccount clone
myAccount show
myAccount deposit(10)
myAccount show

これが解決一つ目。つまるところ親クラスのインスタンスを作ってその後適当にスロットを書き換えちまえば継承になるのです。

CheatAccount2 = Object clone
CheatAccount2 parent = Account
CheatAccount2 deposit = method(v, balance += v * 3)

myAccount = CheatAccount2 clone
myAccount show
myAccount deposit(10)
myAccount show

これが解決二つ目。Io ではベースクラスを検索して解決できなかったメッセージは特殊な変数 parent に対して送られます。よって、前者の継承が後者の継承より優先度の高い継承となります。

まあ、このへんの知識を前提として…

2003-12-08

Io で Mixin

Program Io

私は継承モデルに関しては Ruby の解決が今のところ一番好みです。単一継承 + Mixin。まあ別に私は多重継承で困ったことは無いので C++ でも良いんですけど。

さて、Io の継承構造だと二つまでは簡単だけど三つも四つも Mixin したいときにややこしいなあ…と思いました。で、ちょっと考えたらこの機能を簡単にライブラリ化できるこに気付き、ああいい機構だなあと感心しました。こんな感じ。

# mixiner.io

# define Mixiner

Mixiner = Object clone
Mixiner classes = List clone
Mixiner add = method(Class,
  classes add(Class)
)
Mixiner mixed = method(
  now = Object clone
  classes foreach(i, Class,
    next = Object clone
    next parent = Class clone
    next parent parent = now
    now = next
  )
  now
)

# using Mixiner

A = Object clone
A func = method(
  "A.func\n" print
)
A funcA = method(
  "funcA\n" print
)

B = Object clone
B func = method(
  "B.func\n" print
)
B funcB = method(
  "funcB\n" print
)

C = Object clone
C func = method(
  "C.func\n" print
)
C funcC = method(
  "funcC\n" print
)
C funcCD = method(
  "C.funcCD\n" print
)

D = Object clone
D funcCD = method(
  "D.funcCD\n" print
)

# D から継承
ABCD = D clone
# A, B, C を Mix するよ
abcMixiner = Mixiner clone
abcMixiner add(A)
abcMixiner add(B)
abcMixiner add(C)
ABCD parent = abcMixiner mixed

# D が直系の継承で A, B, C は Mixin
# 優先順位は D, C, B, A のはず
abcd = ABCD clone

# funcA は A にしか無い
abcd funcA
# funcB は B にしか無い
abcd funcB
# funcC は C にしか無い
abcd funcC
# func は A, B, C にあるので C が優先
abcd func
# funcCD は C, D にあるので D が優先
abcd funcCD

# おまけ。親を付け変える
# よって D が直系、A が傍系
abcd parent = A
# func は A しか無い
abcd func

まあ、variable arguments を使えばもっと短く書けるでしょうけど、とりあえずわかりやすく書いてみました。

あと言語機能は Concurrency がそれなりのサイズがあって、それと Preset Locals, Introspection (要は Reflection) なんかの細々とした便利機能を覚えればだいたい終わり…なのかな。あと例外か。