I propose we extend sequence expressions to handle ranges involving units of measure. Currently we cannot do the following:

let maximumDistance = 3<km>
let minimumDistance = 1<km>
let trials = [ minimumDistance .. maximumDistance ]

The existing way of approaching this problem in F# is to generate a range from bare integers and then map a multiplication to add the dimension

Pros and Cons

The advantages of making this adjustment to F# are

• An improvement to the safety of code by removing error potential in dropping the units and then adding them back
• More concise, readable code

The disadvantages of making this adjustment to F# are

• None that I can think of

Extra informtion

Estimated cost (XS, S, M, L, XL, XXL):
M? (because of the added complication of min .. step .. max)

Related suggestions: (put links to reated suggestions here)
Allow units of measure in for loops #534

Affadavit (must be submitted)

Please tick this by placing a cross in the box:

• This is not a question (e.g. like one you might ask on stackoverflow) and I have searched stackoverflow for discussions of this issue
• I have searched both open and closed suggestions on this site and believe this is not a duplicate
• This is not something which has obviously "already been decided" in previous versions of F#. If you're questioning a fundamental design decision that has obviously already been taken (e.g. "Make F# untyped") then please don't submit it.

Please tick all that apply:

• This is not a breaking change to the F# language design
• I would be willing to help test this
• I or my company would be willing to help crowdfund F# Software Foundation members to work on this