This seems like a pretty nice way to protect against the NASA Mars Climate Orbiter unit mixup literal crash. https://docs.microsoft.com/en-us/archive/blogs/andrewkennedy/units-of-measure-in-f-part-one-introducing-units

Is there a way to do this kind of F# refinement typing in OCaml?

EduardoRFS March 24, 2021, 9:12am 8

I wonder if we can encode full System F(no inference) with enough GADT magic.

1 Like

Topic		Replies	Views
PPX Deriving and polymorphic variants Community	6	1319	July 28, 2020
[ANN] Ppx_untype: An end to type errors in OCaml Community	11	619	April 8, 2025
Resources for building a Polymorphic Lambda Calculus compiler? Learning	6	1508	March 9, 2021
Update on the big ppx refactoring project Community ppx	6	2093	September 30, 2019
How can you "un-functorize" an API to make it polymorphic while retaining type safety and efficiency? Learning package-design , polymorphism , pattern	10	307	January 23, 2025