Mark Thomas

I’ve been playing around with core-plot, a graphing library for MacOS/iOS, which ships with a local dotset.  A normal double click on the docset from Finder wasn’t enough to read it, after a bit of Googling the solution seems straightforward:

1. Shutdown Xcode.
2. Copy the .docset in to ~/Library/Developer/Shared/Documentation/DocSets
3. Restart Xcode.

If you want to check that Xcode has picked up the new docset then look in Xcode Preferences under Downloads.

Large code bases can be difficult to understand, particularly for a new joiner to a team. Reading code is a great way to get the detail, but getting a high-level view can sometimes be hard. There are a range of open source tools that can provide Information about code coverage, design attributes and complexity, but it is often hard to extract the useful information from the volume of data produced by these tools. Critically it can sometimes be hard to visualise how this key information changes over time, and so get an idea of how your codebase is evolving.

I’ve been experimenting recently with Sonar. Sonar provides a neat dashboard for viewing data about your project generated by tools such as PMD and Findbugs. It is fed by a build task that runs these tools in your build and uploads data in to the Sonar database. The really cool part of this, is that over time you can use Sonar to see trends in your codebase.

Take a look at this demo site for an example http://nemo.sonarsource.org/timemachine/index/14 showing Tapestry 5 metrics:



Between January and March you can see an increase in complexity but a decrease in code coverage. Through Sonar’s different views, you can look at projects from a module, package or class level and understand hotspots that are contributing to the trend. It really is quite a valuable tool.

How do I set it up

If you use Maven then it is easy, just set up a server and then run:

mvn sonar:sonar

Non Maven users aren’t left out, check out Sonar Light mode.

I’ve been interested in functional programming for a while, and after spending the last 12 months or so working with Scala I can really see a difference in the way I think about solving problems. So, when an email dropped in to my inbox a few weeks ago about an ‘Introduction to F#’ presentation by Phillip Telford at work, I jumped at the chance to attend.

Phillip is a Architectus Oryzus at Trayport working on trading solutions for financial markets, before that he worked at Microsoft Research. He talked us through the basics of F# and showed off the language in a basic Twitter application and then a simulator of the Mastermind board game. Both of the applications were extremely concise and elegant, I was certainly impressed and enjoyed making the comparison with Scala.

There has been a steady flow of F# adoption in the financial services sector, I know of a couple of banks who are using F# in production applications. That combined with Phillip’s presentation has been enough to get me interested in learning more. Being a Microsoft technology, I started my search for more information at MSDN and found an absolute gem in Microsofts Deep Dive lecture series.

Dr. Erik Meijer has an online lecture series covering Functional Programming Fundamentals. I’m up to Chapter 5 now and am really enjoying it. It does cover a few things I know but the focus on pure functional development is giving me a really valuable perspective. That, and I’m getting a good opportunity to learn Haskell which I’m really starting to like.

For any budding F# developer, or someone who wants to know more about functional programming I highly recommend Fundamentals of Functional Programming.

I ran in to a problem trying to access folders shared on my Mac laptop with SMB from a Vista PC. Each time I tried to access a folder I got an authentication error. After a bit of digging on the web, it seems that Vista will only use the NTLMv2 authentication method when trying to connect to SMB file shares, the default configuration of Samba on Leopard does not support NTLMv2.

There is a fairly easy workaround, on the Vista machine:

1. Open Administrative Tools in Control Panel
2. Select ‘Local Security Policy’
3. Under ‘Local Policies’ choose ‘Security Options’
4. Find ‘Network Security: LAN Manager Authentication Level’
5. Change the setting from ‘Send NTLMv2 response only’ to ‘Send LM & NTLM – use NTLMv2 if negotiated.
6. Click OK

I’m not that familiar with Vista so I don’t know if the Vista version makes a different, I am running Vista Ultimate with SP1.

Scala’s case classes are regular classes with a twist. They are designed to support pattern matching without having to write excessive amounts of boilerplate code. As a developer, I want to understand how and when case classes should be used.

How are case classes declared?

By prefixing the declaration of a class with the word ‘case’. e.g.

case class Person(firstName: String, lastName: String)

How do case classes differ from regular classes?

The compiler will automatically do a few things for case classes:

Generate an accessor methods for each of the constructor parameters

For each of the constructor parameters that is not already marked with a val or var modifier, a val modifier will be inserted. In effect, this will generate accessors for all of the constructor parameters.

Generate an extractor object

The compiler will also generate an extractor object. This supports pattern matching and means that ‘new’ is not required to create a new instance of a case class, so the following is valid:

val mark = Person("Mark", "Thomas")

The compiler interprets a ‘Person(‘ as a call to ‘Person.apply’.

Generate equals, hashcode and toString methods

Two instances are considered equal if they belong to the same case class and each of the constructor arguments is equal according to their equals method. The hashCode is guaranteed to match if the hashCodes of the constructor members of the two instances match. And, the toString method will do something sensible

How do case classes help in pattern matching?

The auto-generated extractor can be used with match to match on constructor arguments. You can match on some or all of the constructor arguments, and decompose the case class back to those arguments. For example:

person match {
	case Person(firstName, "Thomas") => println("Hi " + firstName)
	case _ => println("Hello friend - " + person)
}

When are case classes useful?

A quick Google search on ‘case classes’ reveals some controversy around two points: whether case classes can lead to over-use of the match statement breaking encapsulation, and whether case classes are needed at all given that there pattern matching abilities can be provided with just extractors alone.

Encapsulation

The argument goes that using match is not an object-oriented approach to development, and we’ve exposed our constructor parameters for no good reason. In the example above, an alternative approach could have been to add a ‘greet’ method to Person to encapsulate the behaviour of formulating the greeting inside the Person class. This is a valid concern and was my first concern when I thought about using case classes, however as Martin Odersky points out in a blog post there are times when ‘decomposition on the outside’ can be more preferable to ‘decomposing on the inside’. Or put another way, where a solution based on OO-decomposition can be less readable or more contrived than one that is not. From Martin’s post this is my favourite illustration of where pattern matching, based on type, can lead to a good solution:

try {
  ...
} catch {
  case ex: IOException => "handle io error"
  case ex: ClassCastException => "handle class cast errors"
  case ex: _ => "generic recovery"
}

We can’t put the recovery code in to the exception class because it is context dependent, and whilst we could probably do something clever with the visitor pattern it would be painful. Martin identifies two cases where he believes that ‘decomposition from the outside’ is preferable to ‘decomposition from the inside’:

1. when a computation rule involves several objects
2. when a computation cannot usefully be defined as a member of the class on which we want to differentiate

Switch statements are not inherently bad but they are easy to abuse, the key as developers is understanding the best way of decomposing your problem domain and choosing the best solution for your situation.

Are case classes needed?

On this I’m not sure. Pattern matching can be enabled using extractors alone, but in some cases where data encapsulation is not a concern then they can provide a convenient approach. I hope that as my experience with Scala increases, I will be able to better answer this question.

Other uses for case classes?

Case classes provide a good way of implementing the visitor pattern because they provide a way of doing multiple-dispatch. I’ll save that for another post.

Ivan Tarasov has posted some interesting Scala puzzlers in two parts: part 1, part 2. Be sure to read the comments too, there are some interesting observations in there.

Scala has a powerful type system that enables different patterns for expressing dependencies compared with languages like Java or C#. Jamie Webb described an interesting approach using structural typing on the Scala User Mailing List (link to post).

Jamie injected a config object defined using a structural type. This has the benefit of clearly defining the dependencies of a class, whilst allowing the same environment object to be shared. Here is an example from Jamie’s post, which describes a coffee warmer with a dependency on a heater and a pot sensor, the code shown is a modified version from a blog post by Jonas Bonér which uses constructor-based dependency injection:

class Warmer(env: {
  val potSensor: SensorDevice
  val heater: OnOffDevice
}) {
  def trigger = {
    if(env.potSensor.isCoffeePresent)
      env.heater.on
    else
      env.heater.off
  }
}

A simple config object can then be defined instantiates the pot sensor, heater and wires up the warmer:

object Config {
  lazy val potSensor = new PotSensor
  lazy val heater = new Heater
  lazy val warmer = new Warmer(this)
}

This seems like a nice pattern, it’s quite elegant, type-safe, easy to test and makes the dependencies of a class explicit. There are a couple of other patterns in this area, I’ll make further posts around those.

The Obama campaign have launched an application for the iPhone which I’m sure will be loved by political junkies across the world. Alongside all of the features that you’d expect, like updates on the campaign and Obama’s position on various issues, it has a few features that make use of the features of the iPhone. It hooks in to the iPhone address book and lists contacts by state, highlighting the battleground states and giving users a score based on how many of those people they have called.

The application was built by volunteers and is a great example of how one constituency, geeks, are getting involved in the political process. I wish people were as engaged in politics in the UK.

Take a look at Obama ’08 on the iTunes store: http://phobos.apple.com/WebObjects/MZStore.woa/wa/viewSoftware?id=292168926&mt=8

I’ve just picked up a beta copy of iPhone SDK Development from The Pragmatic Programmers. At first glance it looks very good and will help scratch an itch that I have to develop an iPhone app. It’s the second ‘beta’ eBook that I have bought, the first being Programming in Scala from Artima, I’ve spent a lot of time with this book and am completely sold on the idea of publishers releasing eBooks online early and often. Many of the advantages parallel those for software:

For authors/publishers:

• an early indication of interest in the title, are people willing to buy it?
• a large number of readers willing to provide free feedback on the existing content
• opportunities to build a community around a title and to allow the community to influence its development
• by the time the book makes it to print, it will be polished and fill a demonstrated need for a title

For readers:

• early access to useful material
• discounted purchase prices
• quality levels similar to a published title
• the opportunity to ask for areas that you would like to be covered to be included

For technical books I think it is the right approach, but there is still some room for improvement. The biggest frustration I have is not being able to understand what has changed between releases. I’d like some sort annotation so that I can decide which areas I should re-read, and maybe some sort of simple voting mechanism to make it easier for me to provide feedback to an author quickly.

For fiction, I’d like to see an author try to carry on the experiment that Steven King started with The Plant. For titles like The Plant, the anticipation of future updates or new chapters adds to the fun of reading the book.

Scala has a few features that, for those who come from a Java or C# background, provide new ways of modelling components and services. I’m going to write a few posts on this, but begin by describing some of the language features that enable them. First up is traits.

What is a trait?

A trait is a collection of fields and methods. Traits can be mixed in to classes to add new features or to modify behaviour. Scala’s Ordered trait is a good example of this:

trait Ordered[A] {
  def compare(that: A): Int
 
  def <  (that: A): Boolean = (this compare that) <  0
  def >  (that: A): Boolean = (this compare that) >  0
  def <= (that: A): Boolean = (this compare that) <= 0
  def >= (that: A): Boolean = (this compare that) >= 0
  def compareTo(that: A): Int = compare(that)
}

By mixing-in Ordered to a new class, then you can get four useful operators by just implementing compare. This is quite powerful, for example:

class Money extends Ordered[Money] with SomeOtherTrait {
  ...
 
  def compare(that: Money) = {
    ...
  }

As classes can be composed of many traits, this creates a powerful way of building richer classes from simpler ones by layering in capabilities.

Self Types

Ordered can be mixed in to any class; it doesn’t depend on any methods or fields of the class that it is mixed in to. Sometimes it’s useful for a trait to be able to use the fields or methods of a class it is mixed in to, this can be done by specifying a self type for the trait. A self type can be specified for a class or a trait as follows:

trait SpellChecker { self =>
  ...
}

self within the context of this trait will refer to this. Aliasing this is useful for nested classes or traits where it would otherwise be difficult to access a particular this. The syntax can be extended to specify a lower-bounds on this, when this is done the trait or class can use the features of this lower-bound class, so it can extend or modify its behaviour.

trait SpellChecker { self: RandomAccessSeq[char] =>
  ...
}

The compiler will check that any class in a hierarchy including SpellChecker is or extends RandomAccessSeq[char], so SpellChecker can now use the fields or methods of RandomAccessSeq[char]