G
📝 网站描述
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.
⭐ 用户评价
暂无评价
