Blog

Programming Languages

Haskell Monads on the web

As I told you before, performance is something desirable when programming a λ interpreter. The sustitutions we saw are made in one step. I will note the beta step as →β and a substitution step as →. For instance, (λx.x) z  →β  x[x/z]  →  z. The computations...

Here are some Java tips for making your code more beautiful, understandable, reliable and maintable. They are in no particular order. Suppose your code will be read by somebody else. Even if you are working on a project on your own, it’s worth commenting...

If you have to generate xml in ruby I suggest take a look at builder gems. It has really little overhead to generate xml. Take a look to this example: require 'Builder' xm=Builder::XmlMarkup.new( :target => $stdout , :indent => 2 ) xm.instruct! xm...

Prime generator with LINQ

Problems with LINQ Preview May 2006 installation and its non trivial solution

Generic functors and type inference

One of the C++ features I ever missed in C# are the templates. Every time I cast the result from an “IList” or an “ICollection”, or when I code a custom collection, feels like I’m loosing my time. I have some math intensive applications developed...