情報隠蔽とパターンマッチ：Rainy Day Codings：So-net blog

情報隠蔽とパターンマッチを巡って考えたことなど。 OCaml にはシグニチャという仕組みがあってオブジェクト指向言語でいうところのインターフェイスのようなものとして使われる。 例として次のようなスタックの実装を考えてみる。 module StackImpl = struct type 'a t = 'a list let empty = [] let push x s = x::s let pop (x::xs) = (x, xs) end モジュール StackImpl は単純にリストとしてスタックを定義している。 # let s = StackImpl.empty;; val s : 'a list = [] # let s = StackImpl.push 'a' s;; val s : char list = ['a'] # let s = StackImpl.push 'b' s

[quoth]

パターンマッチ

[sshi]

「一般にパターンマッチというのは内部構造を隠蔽しないことによってのみ可能になるものだ」/これはなんとかしようはあるのかなあ