OCamlの型

型宣言

code:ml

type t = int;;

type x = X of int;;

type 'a option = None | Some of 'a;;

type 'a pt = Point of 'a * 'a;;

Haskellで書くと

code:hs

type T = Integer

data x = X int

data Maybe a = Nothing | Just a

data Pt a = Point a a