別解

chuten2.ml

(* 目的: 中点 *)
(* chuten : float * float -> float * float -> float * float *)
let chuten p q =
  match (p, q) with
    ((px, py), (qx, qy)) ->
          ((px +. qx) /. 2., (py +. qy) /. 2.)

(* テスト *)
let chuten1 = chuten (1., 1.) (-1., -1.) = (0., 0.)
let chuten2 = chuten (-1., 1.) (1., -1.) = (0., 0.)
let chuten3 = chuten (100., 0.) (0., 100.) = (50., 50.)