Back to Questions
1.0k
views2
comments
Referencing generic member from within the same type
f#

Hi all

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

1
2
3
4
5
6

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:

1
2
3
4
5
6
7
8
9

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:

1
2
3
4

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

By on 9/19/2008 3:41 PM ()

thank you for your help

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

- Sergey

By on 9/21/2008 3:03 AM ()

    Topic tags

    IntelliFactory Offices Copyright (c) 2011-2012 IntelliFactory. All rights reserved.
    Home | Products | Consulting | Trainings | Blogs | Jobs | Contact Us | Terms of Use | Privacy Policy | Cookie Policy     		Built with WebSharper