λ Tony’s blog λ

I have found that many classes are created for the specific purpose of a sequence function in the ((->) t) monad, particularly in Java, C# and Python. Create a class, with a constructor that takes an argument (t) so that one may call many of its methods, each of which has access to t.

sequence :: [m a] -> m [a]
sequence* :: [t -> a] -> t -> [a]

If we consider the type of t which we shall call Swizzle and the created class we shall call SwizzleManager then

// A constructor accepting a Swizzle
SwizzleManager m = new SwizzleManager(t);
// One of the following usually follow:
//   A list constructed by the results of executing several methods on 'm'
List<R> = { m.a(x), m.b(y), m.c(z) }
//   A loop over a list of the results of executing several methods on 'm'
for(R r : { m.a(x), m.b(y), m.c(z) }) {
  use(r);
}
//   A list of effects to execute using 'm'
m.a(x);
m.b(y);
m.c(z);

This entry was posted on Tuesday, March 23rd, 2010 at 9:12 am and is filed under Programming. You can follow any responses to this entry through the RSS 2.0 feed. You can leave a response, or trackback from your own site.