Hello,
OCaml is also an instance of a programming language where type inference belongs
to core functionality. The usage of various data types will evolve in several
programming interfaces.
* How do you think about to check if API revisions are still compatible there?
* Which kind of variations can be occasionally tolerated in interface descriptions?
I would appreciate your advices.
Regards,
Markus