Sunday, August 17, 2014

Covariant return types in C# and how to not to carefully change a library

›
C# doesn't allow covariant return types in interface method implementations. Briefly class A { } class B : A { } interface I {   ...
Sunday, December 30, 2012

C++11 (sort of kind of) has path dependent types (ish)

›
Scala has a neat feature called "Path Dependent Types". It's a form of dependent typing that sort of piggy backs on the idea o...
2 comments:
Sunday, March 18, 2012

Conditional Critical Regions: State sidebar

›
I'm going to try and explain this better and justify it in my next post, but here is the State Monad (ala Haskell) in C++11. I have to s...
Thursday, March 08, 2012

Conditional Critical Regions: Implementing (or not) in C++

›
Two notes. First I'm using embedded gists for the code examples. This may not work in RSS. Secondly, I thought this would be two parts b...
Saturday, February 25, 2012

Conditional Critical Regions

›
Hoare, in "Towards a Theory of Parallel Programming" describes something called a "conditional critical region", this is...
Sunday, November 13, 2011

I did Two Shoes Weekend II: The Shoesening

›
Two Shoes Weekend is an event put on by my friend Casey. The basic idea is that you do two projects (two shoes if you will) over a weekend....
1 comment:
Sunday, June 26, 2011

Lambda didn't (or won't) kill the expression template star

›
Now that C++0x is on it's way, and many compilers already implement lambdas, it may be thought that the venerable "functor" is...