On Mon, Jan 16, 2017 at 10:26 AM, Max Goldstein <[email protected]> wrote:
> More concretely, say one defines type clones for Length and Width in the > hope of avoiding accidentally adding them, which would make no sense. But > we'd want to allow multiplying them to obtain Area. The only language I > know that handles this well is Frink <https://frinklang.org/>, which > tracks physical units through all computations. > I believe F# also does this quite well: https://fsharpforfunandprofit.com/posts/units-of-measure/ -- You received this message because you are subscribed to the Google Groups "Elm Discuss" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. For more options, visit https://groups.google.com/d/optout.
