B# .NET Technical Community Homepage

Bart De Smet's online technical community
Welcome to B# .NET Technical Community Homepage Sign in | Join | Help
in Search

Browse by Tags

All Tags » LINQ (RSS)
  • LINQ to Z3 – Theorem Solving on Steroids – Part 1

    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 our hand by providing an implementation for the Where...
    Posted to Weblog by bart on 27/09/2009
  • Taming Your Sequence’s Side-Effects Through IEnumerable.Let

    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 to time. A few samples (due to Erik Meijer) of...
    Posted to Weblog by bart on 12/09/2009
  • LINQ to Ducks – Bringing Back The Duck-Typed foreach Statement To LINQ

    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? Let me disappoint you: if you have the answer,...
    Posted to Weblog by bart on 17/08/2009
  • Statement Trees With Less Pain – Follow-Up on System.Linq.Expressions v4.0

    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, etc. One popular question that came up in the comments...
    Posted to Weblog by bart on 11/08/2009
  • Expression Trees, Take Two – Introducing System.Linq.Expressions v4.0

    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 the framework as a way to represent code as data....
    Posted to Weblog by bart on 10/08/2009
  • LINQ to Objects - Debugging

    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 behavioral differences like lazy evaluation...
    Posted to Weblog by bart on 23/04/2009
  • LINQ to Z3 – Theorem Solving on Steroids – Part 0

    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. Not only that, last time I subtly hinted how this...
    Posted to Weblog by bart on 19/04/2009
  • Exploring the Z3 Theorem Prover (with a bit of LINQ)

    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 provers . A little story first. I guess it should...
    Posted to Weblog by bart on 15/04/2009
  • ExceLINQ – Not Your Typical LINQ Provider

    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 have a certain breadth? The simple answer: its spectrum...
    Posted to Weblog by bart on 28/03/2009
  • Help! Drowning in Expression Trees, What Now?

    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 in predicates? Let me give you an example:...
    Posted to Weblog by bart on 12/02/2009
Page 2 of 7 (67 items) < Previous 1 2 3 4 5 Next > ... Last »
Powered by Community Server (Non-Commercial Edition), by Telligent Systems