Blog Detail
B# .NET De Smet
http://blogs.bartdesmet.net/bart
Blog about all you didn't want to know about .NET, C#, Visual Studio, CLR, ASP.NET, Windows PowerShell, programming language evolution and so much more.
Recent Posts
Extension methods ain\'t Trojan horses – A tale on a covariant city built in and protected by C# 4.0
Introduction Today, a colleague and I were playing with new C# 4.0 and BCL 4.0 features, me trying (and succeeding I think) to convince my co-worker about the merits of LINQ and its peripheral technologies. Users of Visual Studio 2010 Beta 2 may hav...
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 patter...
Extraordinary Non-Technical Activities On Saturday
In this post, I’m going to do something out of the ordinary: write a post on a non-technical matter, in the “Personal” and “Microsoft” (big-bucket general stuff kind-a) categories I’ve left unattended for way too long. So, if you’re loo...
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 fro...
The Cruel Return of the Onderkast (Irrelevant Post for Dutch-Speaking Readers Only)
A Belgian friend of mine was looking up my obsession on lambda calculus and came across this Dutch wiki page. Reminds me of exactly the same mistake 5 years ago: [FUNNY] Rule one when translating software - review the translation. Taking the opportun...
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-explodi...
