Browse by Tags
All Tags »
Crazy Sundays (
RSS)
Weekends are for hacking up crazy ideas (and so are evenings). This weekend was no different; amongst other things I got around to implement an Unlambda interpreter in C#. A what? Let’s talk about that first. Warning: Reading this post can cause permanent...
Introduction Last time around in this blog category we looked at using Z3 for testing satisfiability of simple Boolean logic expressions. Obviously Z3 is capable of doing much more, so this time we’ll reach out to the domain of integer value arithmetic...
Today we’ll take a look at project “MLinq”, a very simple way to perform symbolic matrix calculations based on LINQ expression trees. Introduction But first, why would you even want to do this? Let me tell you I’m a big believer of the power of...
It's been a while since I continued my series on a functional pattern matcher in C# . I finally found some time to extract the simplified pattern matching code from the bigger project I'm working on and cook up a downloadable documented sample...
In the last handful of posts in this series we've been looking at ways to match a whole set of patterns, including: Constants Objects Lists and arrays Dictionaries There's not that much left to apply (meaningful) matches for (feel free to think...
In our last encounter on the pattern matching mission we covered techniques to match T[] and List<T>. Today we cover another type that's being use a lot: dictionaries (the generic brothers of Hashtable which you could match too, exercise )....
Monday morning: The Return of The Pattern Matcher. After an awesome weekend (well, a Saturday at least) plenty of sun here in Seattle, we'll dive into even more pattern matching fun. This time around we'll investigate ways to match collections...
Remark: Some readers have asked me for the sources of all this magic. Since this series is based on an extraction from a bigger project and I'm composing the decoupled (and slightly simplified) pattern matcher as I'm writing these blog posts,...
Last time around in this series we won the battle of performance, going all the way from an interpreter-driven pattern matcher to a fully on-the-fly compiled one, with great results almost reaching the performance of a manual implementation. However,...
Welcome back beloved pattern matchers! In our last encounter we moved from closed to open pattern match objects in order to allow for reuse, improving the performance of our pattern matcher quite a bit. But we're not done yet: today we'll build...
More Posts
« Previous page -
Next page »