Don Syme

> What would the issues with binary compiled form be? Basically the same - would the C# consumer see a generic method or not, and if so how many type...

> @dsyme What do you think is the right solution then? @A-Manning I'm not sure there is a solution :) That's why we made this an error. One way to...

> What about we allow this provided the unused type parameters have an attribute Erased - inspired by Measure - at the type alias declaration and are always erased in...

I don't understand why we would want this. If the argument has variable type, then it can't be applied as a function within its scope. So it can't be inlined....

Please leave it open, as I'd like to go back and look at your performance results in your original issue and understand why lifting the restriction works for you. InlineIfLambda...

(One way forward for you could be to mod the compiler and double check lifting the restriction is sufficient for you,, if you haven't done that already)

> It's a very reasonable addition to F# types and will likely happen in the next F# language update agreed

I get what you're saying here. As background, there was an explicit decision to prioritise consistency across Windows, Linux and Mac - i.e. to give the consistent, lightweight, editor-neutral command-line...

> The existing way of approaching this problem in F# is performing length checks and accessing indexes, or in the special cases, using library head and last functions. The existing...

> So what? If you change a property to a function with a new parameter that's used in thousands of different places, that's a huge breaking change regardless if you...