scala, categories, good news

At last started seriously working on the code. Love Scala.

(the following is a trivial validation code for a poset)

  def validate() {
    foreach((x: T) => {
      require(le(x, x), " reflexivity broken at " + x)
      foreach((y: T) => {
        if (le(x, y)) {
          if (le(y, x)) require(x.equals(y), " antisymmetry broken at " + x + ", " + y)
          foreach((z: T) => 
            if (le(y, z)) require(le(x, z), "transitivity broken at " + x + ", " + y + ", " + z)
          )
        }
      })
    })
  }