I suggest we ...

Make module function callable as class extension method

Sometimes it's more convenient and succint to call a function using dot-notation (i.e., class method) than calling module functions with pipeline, yet module function is easier to be composed. I propose the compiler automatically generate class extension methods from module functions, based on a new attribute "CallByInstance" Example:

namespace Namespace

// .fsi
module List =
val map: ('T -> 'U) -> [<CallByInstance>] list<'T> -> list<'U>

Compiler will automatically generate an extension method of list<'U>, in the *containing* namespace, i.e.,

namespace Namespace

module List = ...

// Automatically generated:
module ListExtension_map =
type List<'U> with
member this.map f list = List.map f list this

This allows the following syntax:

[1;2;3] |> List.map ((+) 1) // as usual
[1;2;3].map ((+) 1) // call the extension method with dot-notation.


1. The extension method is a curried member function. (We don't change the curried parameters to tuple).

2. Similarly we don't change the function name (e.g., no "map" => "Map" thing).

3. We don't need to open module "List" for the extension method. Anywhere "List.map" is accessible, "[1;2;3].map" is also accessible.

4. You can label multiple parameters of a function as [<CallByInstance>], as long as their types are different.

5. Since we require explicitly marking the allowed parameters, there is no compatibility issue. Users can choose to use this feature judiciously.

Finally, this is related to https://fslang.uservoice.com/forums/245727-f-language/suggestions/5663326-syntax-for-turning-properties-into-functions, but in a reverse way (i.e., turn a module function to a method). My personal view is we need both.

10 votes
Sign in
Sign in with: facebook google
Signed in as (Sign out)
You have left! (?) (thinking…)
trek42 shared this idea  ·   ·  Flag idea as inappropriate…  ·  Admin →


Sign in
Sign in with: facebook google
Signed in as (Sign out)
  • tranquillity commented  ·   ·  Flag as inappropriate

    This syntax is how Kotlin handles collection functions
    val numbers = listOf(1, -1, 2)
    numbers.filter { it > 0 } //== listOf(1, 2)
    numbers.map { it * it } //== listOf(1, 1, 4)

    You can also chain the dot notation together:
    numbers.filter { it > 0 }.map { it * it } //== listOf(1, 4)

  • trek42 commented  ·   ·  Flag as inappropriate

    Not knowing much about the F# compiler for judging the way how this would be implemented, but agreed that making this F#-specific feature seems like a good idea. As the feature is proposed, the call-site (call-by-instance) code would still be curried functions, so C# probably won't benefit from it as much as F# code does. A purely F# compiler magic at callsites would definitely work, and probably is more desirable if this simplifies the code and/or reduces the generated assembly.

  • Don Syme commented  ·   ·  Flag as inappropriate

    My intuition would be to make this an F#-specific feature, where the F# compiler inserts the appropriate code at the callsite, and doesn't generate an actual new member in the .NET IL.

    That is, instead of auto-generating the actual extension member.

  • Don Syme commented  ·   ·  Flag as inappropriate

    The CallByInstance attribute proposal is very interesting. I've not seen that suggested before. It would, I think, be fairly simple to implement, with many similarities to the existing extension member implementation.

  • trek42 commented  ·   ·  Flag as inappropriate

    fix an error: the generated extension method is:

    type List<'U> with
    ....member this.map f = List.map f this

F# Language

Feedback and Knowledge Base