hubFS: THE place for F#

Hi all

I can define a generic method in the type as in the following example:


type A() =
    member a.X(x) = x
       
let a = new A()
let x1 = a.X(12)
let x2 = a.X("qw")


But as soon as I "lock" type of parameter in X by referencing it from another method, it's not anymore generic.
Here is an example:


type A() =
    member a.X(x) = x
    member a.Y() =
        (a.X(23),
         a.X("abc"))   // This expression has type string but is here used with type int.
   
let a = new A()
let x1 = a.X(12)
let x2 = a.X("qw")    // This expression has type  string but is here used with type int.


How is it possible to keep method X generic if it's referenced from within the same type?
Some magic with type parameters maybe?


Interesting, changing X to "let" definition works fine:

type A() =
    let X x = x
    member a.Y() =
        (X 23, X "abc")



thanks!

- Sergey

Give the member a complete signature:

    member a.X<'a>(x:'a):'a = x

thank you for your help

I've tried to add a member template parameter, but never tried a full signature...

 

- Sergey