Phantom Bulider

phantom_builder.ml

#!/usr/bin/env ocaml

#use "topfind"
#thread
#require "core"

open Core

type name_unset
type name_set
type age_unset
type age_set

type t = {
  name : string ;
  age : int ;
}

module Builder : sig

  type ('name, 'age) b
      
  val empty : unit -> (name_unset, age_unset) b

  val set_name : ('name, 'age) b -> string -> (name_set, 'age) b
  val set_age : ('name, 'age) b -> int -> ('name, age_set) b
  
  val build : (name_set, age_set) b -> t
    

end =
struct
  
  type ('name, 'age) b = {
    name : string option ;
    age : int option ;
  }

  let empty () = {
    name = None ;
    age = None ;
  }

  let set_name b name = {
    b with
    name = Some name
  }

  let set_age b age = {
    b with
    age = Some age
  }

  let build b : t =
    {
      name = Option.value_exn b.name ;
      age = Option.value_exn b.age ;
    }
end

let () =
  let b = Builder.empty in
  let built = Builder.build b