Browse by Tags

All Tags » LINQ (RSS)
Introduction It’s way too long ago I wrote about this side-project of mine, as I got side-tracked by other stuff both inside and outside the realm of LINQ (more about that some other time around). Last time, I showed how to put “the query pattern” to...
Introduction Side-effects don’t fit together very well with functional-style delayed computation, as observed in LINQ. Having such constructs embedded in an otherwise eagerly evaluated imperative language like C# can cause quite some confusion from time...
I promise, it will be a (relatively) short post this time. You all know the foreach statement in C#, don’t you? Think twice before you answer and tell me exactly how the following works: foreach ( int x in src) { // Do something with x. } Got an answer...
Posted by bart | 8 comment(s)
Introduction In my last post, Expression Trees, Take Two – Introducing System.Linq.Expressions v4.0 , I showed how to the extensions to the LINQ expression trees API opens up for full-blown statement trees including support for assignment, control flow...
Posted by bart | 13 comment(s)
Introduction Avid blog readers know I have a weak spot for expression trees in particular and the broader picture of meta-programming facilities. With the introducing of LINQ in the .NET Framework 3.5 timeframe, we ended up adding expression trees to...
Posted by bart | 30 comment(s)
Introduction Declarative language constructs like query comprehension syntax often worries imperatively trained developers. I hear this quite a bit, and the excuse of “It Just Works” is often not satisfactory for most of them :-). Combine this with interesting...
Posted by bart | 14 comment(s)
Filed under:
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...
Introduction Today I’m going to deviate from the typical path of mainstream technologies I normally cover and enter the domain of research instead. But very interesting and active research, with lots of practical implementations it turns out: theorem...
Posted by bart | 9 comment(s)
Filed under: , ,
Introduction On my last trip I had the opportunity to talk on the subject of LINQ once more. Geeky as we are, this time’s session title was “LINQ in breadth”, an orthogonal view on LINQ compared to my last year’s LINQ in depth talk. But what makes LINQ...
Posted by bart | 109 comment(s)
Filed under: ,
Introduction Once more I found myself in LINQ providers land recently for a project yet unannounced. Given the relative poverty of the query language we’re targeting in that particular provider, a very common question came up: what about complex expressions...
Posted by bart | 4 comment(s)
Filed under: ,
More Posts « Previous page - Next page »