Luis Diego Fallas has written a nice blog entry on using F# active patterns to ease the process of working with LINQ expression trees. This kind of “meta-programming” application is absolutely one of the key reasons why Greg Neverov, James Margetson and myself added the feature to F#. I’m very glad to see Luis putting the pieces together and explaining what’s going on clearly. Luis also has an earlier post explaining the basics of F# active patterns.
On related topics, I had a helpful chat with Phil Wadler on Wednesday, who pointed out some conceptual simplifications to make to how we explain and specify the active pattern mechanism. Phil started it all back in 1986!