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