Types pattern matching

[NN---]

So you can write this:

class A {}

def a = typeof(A);
match (a)
{
| typeof(A) => ...
| typeof(B) =>
}

This code is literally similar to this:

match (a)
{
| x when x.Equals(typeof(A)) => ...
| x when x.Equals(typeof(B)) =>
}

[Stitchous]

with one small modification of the active pattern macro you can write something like this:

def s = typeof(int);

 active match(s)
 {
   | typeof(string) => WriteLine("string")
   | typeof(int) => WriteLine("int")
}

:)

[NN---]

Interesting, I didn't think about active pattern. There is ExtensionPattern macro which can be used together with regular match.