Monthly Archives: August 2009

If you don’t succeed, retry.

STM.NET version 1.0 is out.   I haven’t tried it yet, but have read the manual. STM is available (as a first experimental version) for the .NET platform. It will be interesting to see where this technology goes in the future. … Continue reading

Posted in Computers and Internet | Leave a comment

You’re deeper than you look

The Formal Semantics Of Programming Languages by Glynn Winskel   A great introductary text covering operational, axiomatic and denotational semantics, showing their application to define a simple imperative and a simple higher typed functional language. The material is well ordered and clear, and … Continue reading

Posted in Books | Leave a comment

I have achieved closure

Programming Clojure by Stuart Halloway   A great read which introduced a very interesting language by examining its use in defining a build system.   Clojure itself looks really interesting. It’s a cut down version of Lisp (or Scheme) which … Continue reading

Posted in Books | Leave a comment

Refactor this.

There’s a good edition of the Industry Misinterpretations podcast where the presenters interview the people who created the first refactoring browser (for the dynamic language smalltalk). All the talk of object models representing programs got me thinking again about Intentional Programming and representing … Continue reading

Posted in Computers and Internet | Leave a comment

Money, money, money.

The Ascent of Money by Niall Ferguson   An interesting book giving the history of the world’s financial system, including bonds and stocks and how these items came into existence. A very interesting read.  

Posted in Books | Leave a comment

I wish I were that clever

Journey through genius: The great theorems of mathematics by William Dunham   This was a fantastic holiday read. I’d previously read Dunham’s The Calculus Gallery which is also a very good book. This book highlights several of the great theorems of mathematics, giving historial … Continue reading

Posted in Books | Leave a comment

Say that again…

We can also translate the code of the previous entry into C#   abstract class Arrow<X, Y>{  public abstract Y app(X x);} class C2<X,Y> : Arrow<Arrow<Y,X>, X>{  Y y;  public C2(Y y)  {    this.y = y;  }  public override X … Continue reading

Posted in Books | Leave a comment