On Thursday, 28 July 2016 20:42:44 UTC+2, John Bugner wrote: > > (5) Perhaps compound unit types like "Time^2" would be supported, so a > "Time * Time" would yield "Time^2", "Time * Float" would yield "Time", and > "Time * Length" would yield just that: "Time * Length". ("Force" would be > an alias of "Mass * Length / (Second^2)".) >
Here's how Julia handles this, although it seems to require hand-coding all of of the promotion rules: http://docs.julialang.org/en/release-0.4/devdocs/promote-op/ (understanding this may require a bit of understanding Julia's type system, which lets you define your own types down to the bit-level <http://docs.julialang.org/en/release-0.4/manual/types/>, complete with custom conversion and promotion rules <http://docs.julialang.org/en/release-0.4/manual/conversion-and-promotion/>) Not sure how that might translate to Elm's type system, but I guess using custom infix operators will be part of it (except for not allowing redefining the built-in ones). Off-topic, but is this really all documentation available on infix operators? Because I don't really think that's good enough: http://elm-lang.org/docs/syntax#infix-operators -- 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 elm-discuss+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/d/optout.