| Rob Simmons ( |
Well I guess Python is better for this particular travesty, then. Support for :? style stuff is really a no-brainer:
static void foo(Expr E) {
match e with
| :? Add -> e.getE1;
| :? Val -> e.getVal();...and I think all the fuss over Active Patterns (which are cool) obscures this point.