- Home
- Computer
- Programming
- G'Caml
Computer · Programming
G'Caml
Listed in the directory · updated 20 Jul 2022
About G'Caml
G'Caml- O'Caml compiler variant, extends ML polymorphism from parametric to non-parametric (extensional). More complex parametricity gives many features impossible or very hard to achieve otherwise: overloading, e.g., type safe value marshalling, ML value printer.