Ionide-vscode-fsharp: Inline generic parameters in tooltips

[vasily-kirichenko]

It'd be much more readable if the generic parameters concrete types were just inlined into the signature itself, like C# editors do. I.e. the above signature should look like this:

Or maybe something like Flow<'t: int, 'u: int, 'mat: obj> would be even better.

[isaacabraham]

I would imagine that we would keep the argument names though (in your sample screenshot they appear to have been removed)?

[Krzysztof-Cieslak]

We can do this.

[vasily-kirichenko]

@isaacabraham yes, the latter screenshot is real :)

I do think that Flow<'t: int, 'u: int, 'mat: obj> is the best approach.

@Krzysztof-Cieslak how are you gonna do this (don't tell me by text replace :)?

[Krzysztof-Cieslak]

By text replace

[Krzysztof-Cieslak]

:)

[isaacabraham]

@vasily-kirichenko What I meant was, I'd like to keep the argument names rather than just the types. But yes, showing concrete types is nice.

[enricosada]

i 👎 this. a lot.

while is nice in c#, in f# ihmo is bad

• type def can become really really long. just one nested generic and become really bad
• lot of repetition
• doesnt with the generic signature, if reusing same type for multiple generic args in that instance
• layour is easier with current 't and 't: int below

[7sharp9]

This is probably an artifact of inference anyway, the flow function, if polymorphic, accepts arbitrary types, its probably clearer is they are not made rigid in the function definition.

[Krzysztof-Cieslak]

I think I like current state of the tooltips, and this would have some disadvantages as mentioned by @enricosada