ppx_overloadversion

ppx_overload: SML style simple but user definable overloading

ppx_overload provides SML style overloading of values and functions. This is not so powerful as the type classes, i.e., the overloaded instances must be resolved locally and you cannot inherit overloading by let-polymorphism. But it is very simple but useful.

Overloaded value must be declared by external <name> : <type> = "%OVERLOADED". The type should be the least general anti-unifier of values overloaded. Then its instances should be defined in sub-modules of this external declaration with the same name. Instance types must be less general than the type at the external declaration. Here is an example of overloaded (+):

module Plus = struct
  external (+) : 'a -> 'a -> 'a = "%OVERLOADED"
  module Int = struct
    let (+) = Pervasives.(+)
  end
  module Float = struct
    let (+) = Pervasives.(+.)
  end
end

The use of an overloaded value is replaced by one of its instances depending of its typing. If there is no match or if there are more than one match, this overload resolution fails:

Plus.(+) 1   2;    (* converted to Int.(+) 1 2 *)
Plus.(+) 1.2 3.4;  (* converted to Float.(+) 1.2 3.4 *)

You cannot derive overloading by let-polymorphism:

let double x = Plus.(+) x x (* error *)

You can extend the overloading pretty easily by module inclusion:

module Plus' = struct
  include Plus
  module String = struct
    let (+) = String.(^)
end

Plus'.(+) 1   2;    (* converted to Int.(+) 1 2 *)
Plus'.(+) 1.2 3.4;  (* converted to Float.(+) 1.2 3.4 *)
Plus'.(+) "x" "y";  (* converted to String.(+) "x" "y" *)

Limitation

ppx_overload does not work with toplevel.

AuthorJun Furuse
Published
Homepagehttps://bitbucket.org/camlspotter/compiler-libs-hack
Issue Trackerhttps://bitbucket.org/camlspotter/compiler-libs-hack/issues?status=new&status=open
Maintainerjun.furuse@gmail.com
Dependencies
Source [http] https://github.com/ocaml/opam-source-archives/raw/main/ppx_overload-1.0.0.tar.gz
sha256=fccc48bc11a8ae04045218a84fa90401e01e4e8d9370ae66a05cdd375115a93b
md5=3c8074cb48bc0bc5bccadb46654355c5
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/ppx_overload/ppx_overload.1.0.0/opam
No package is dependent