G'Camlおさらい

• dynamic values (実行時型情報)

• • 多相型パラメータとして受け取った値の実際の型を実行時に知ることができる
  • G'Camlのライブラリでの使用例
  • • Gprint ……プリティプリンタ
    • Safevio ……型情報付きマーシャリング (O'CamlにもMarshalモジュールがあるが 平気で壊れたデータを読み込める)