Browse by Tags

LINQSQO v4.0 and MinLINQ v1.0 Now Available for Download

Introduced in my previous blog post on The Essence of LINQ – MinLINQ , the first release of this project is now available for reference at the LINQSQO CodePlex website at http://linqsqo.codeplex.com . Compared to the write-up over here in my previous post, there are a few small differences and caveats...

Posted to B# .NET Blog (Weblog) by bart on 01-02-2010
The Essence of LINQ – MinLINQ

Introduction Before reaching the catharsis in the “More LINQ with System.Interactive” series over here, I wanted to ensure a solid understanding of the essence of LINQ in my reader base. Often people forget the true essence of a technology due to the large number of auxiliary frameworks and extensions...

Posted to B# .NET Blog (Weblog) by bart on 01-01-2010
Reader Challenge – Fault Handlers in C#

The CLR’s exception handling facilities provide for protected blocks (“try”) one can associate a handler with. There are four kinds of handlers, and exactly one can be associated with a protected block (but nesting can be used to associate multiple handlers with a block of code): A finally handler is...

Posted to B# .NET Blog (Weblog) by bart on 12-06-2009
Jumping the trampoline in C# – Stack-friendly recursion

Introduction Recursion is a widely known technique to decompose a problem in smaller “instances” of the same problem. For example, performing tree operations (e.g. in the context of data structures, user interfaces, hierarchical stores, XML, etc) can be expressed in terms of a navigation strategy over...

Posted to B# .NET Blog (Weblog) by bart on 11-08-2009
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 B# .NET Blog (Weblog) by bart on 09-27-2009
Type-Free Lambda Calculus in C#, Pre-4.0 – Defining the Lambda Language Runtime (LLR)

Introduction A while back, I blogged about (Mis)using C# 4.0 Dynamic – Type-Free Lambda Calculus, Church Numerals, and more which was a fun post and got some good feedback and solid reading numbers. So, let’s continue our journey of brain-exploding theoretical foundational posts with “The Revenge of...

Posted to B# .NET Blog (Weblog) by bart on 08-30-2009
(Mis)using C# 4.0 Dynamic – Type-Free Lambda Calculus, Church Numerals, and more

Introduction Sunday morning, time for another episode of the Crazy Sundays series. Again one in the category with risk for exploding brains , but that’s what we like, don’t we? This time around, we’re going to have a look at the type free lambda calculus in C#. But wait a minute, isn’t C# a typed language...

Posted to B# .NET Blog (Weblog) by bart on 08-17-2009
Bart’s Control Library – Not What You Think It Is – part 2

Introduction In the latest episode in this series I talked about hypothetical compile-time rewriting facilities that would be used to turn our intermediate representation of control-flow driven code using our Control Library into efficient IL code. In a somewhat hand-waving way I communicated the fairly...

Posted to B# .NET Blog (Weblog) by bart on 07-14-2009
Bart’s Control Library – Not What You Think It Is – Part 1

Introduction In the last installment of our control library exploration, we kept things relatively simply by looking at the if-statement. In fact, we avoided a bunch of complications that have to do with non-local return constructs like break, continue and return (and put throw on that pile as well if...

Posted to B# .NET Blog (Weblog) by bart on 07-12-2009
Bart’s Control Library – Not What You Think It Is – Part 0

Wow, can’t believe how long the blog silence over here has been. Things have been quite hectic on my side the last few months, virtually running two jobs in parallel. One to cooperate in shipping our upcoming .NET 4.0 release, and one for side projects, more explorations of type systems literature and...

Posted to B# .NET Blog (Weblog) by bart on 07-11-2009

Page 1 of 3 (25 items) 1 2 3 Next >