duck_and_structural_typing.rb

# coding: utf-8

# たとえば次のような関数を考える。

def foo(array_or_hash)
  if array_or_hash.respond_to?(:values)
    # Hashっぽい
    array_or_hash.values.join(", ")
  else
    # きっとArray
    array_or_hash.join(", ")
  end
end

# この関数は以下のように、Hashでも配列でも呼べる、というのを意図している。

foo({:a => 1, :b => 2}) //=> "1, 2"
foo([1, 2]) //=> "1, 2"

# さて、これに対して単純な型推論をしてみると、次のようになる。
# foo: ∀a. { values: { join: String -> a }, join: String -> a } → a
# 日本語で書くと、
# - fooは任意の型aについて、T(後述)を受けとりaを返す。
# - Tはvaluesプロパティとjoinメソッドを持つオブジェクトの型である。
# - valuesプロパティはjoinメソッドを持つオブジェクトを返す。
# - 2つのjoinメソッドはどちらもStringを受けとり、aを返す。
# となる。
#
# しかし、Hashも配列もこの型には適合しない。困った。