Type Refinements | Units

[Suminda Dharmasena]

Hello,

If you are going to track Effects then there is incrementally little addition to track Type Refinements. Perhaps this might be worth adding as it can help optimisations like dead code elimination, memorisation, eliminate size / range / legal value checks. Also it will make the language safe also. E.g.  http://refined.timepit.eu.

Also the same type system extension can be used to add units. E.g. http://www.squants.com/, https://msdn.microsoft.com/en-us/visualfsharpdocs/conceptual/units-of-measure-%5Bfsharp%5D, https://fsharpforfunandprofit.com/posts/units-of-measure/. F# has this at the language level.

Some of them are available as libraries but optimisation and safety benefits may not be as great as when they might be part of the core and can be easily added with effects. 

S