3

I need a datatype that will be completely opaque in F# with equality defined in terms of JS ===. WebSharper manual says that I should override Equals but I can't make it work.

let x : OpaqueType = X<_>

let f (y : OpaqueType) =
    if x = y then // this line should be translated to `if (x === y)`
        42
    else
        10

So, what is the correct definition of OpaqueType?

Of course, I can use obj and add an inline function that will do x === y but I'd like to have something more awesome.

kirelagin
  • 13,248
  • 2
  • 42
  • 57

1 Answers1

2

I would go for something like this:

module Test =
    open IntelliFactory.WebSharper

    [<JavaScript>]
    let Counter = ref 0

    [<Sealed>]
    [<JavaScript>]
    type T() =

        let hash =
            incr Counter
            Counter.Value

        [<JavaScript>]
        override this.GetHashCode() =
            hash

        [<JavaScript>]
        override this.Equals(other: obj) =
            other ===. this


    [<JavaScript>]
    let Main () =
        let a = T()
        let b = T()
        JavaScript.Log(a, b, a = b, a = a, hash a, hash b)

Equality and hashing are expected to be consistent by .NET libraries (for example, for use in Dictionary). They are also associated with types through virtual methods, so inlining will not work correctly. The above code gives you a type with reference-like equality semantics.

t0yv0
  • 4,714
  • 19
  • 36
  • 2
    Whoa, I didn't know there is a `(===.)` operator. I feel that WebSharper needs more documentation… – kirelagin May 27 '13 at 19:42