MLの独自の型の定義の仕方

  1. レコード

    # type complex =
    { re : float ; im :float};;
    アクセスは c1.re;;など。
  2. バリアント型

    # tyoe itree = Leaf
    | Node of int * itree * itree;;

    多相データ型

    type 'a tree = Leaf | Node of
    'a * 'a tree * 'a tree;;

Ocaml TOPへ

NAGATA Akihito
Last modified: Fri Oct 5 15:41:46 JST 2001