Application of dependent types

dependent types in a nicer scala

class SizedArray[V, length:Int]
	def zipmap[T, otherLength:Int](f:(V, V)=>T, other:SizedArray[otherLength,T]):SizedArray[math.min(length, otherLength),T] =
		const val minLength = math.min(length, otherLength)
		retval = new SizedArray[V,minLength]
		for i in range(0, minLength)
			retval(i) = f(this(i), other(i))
		return retval

class Array[V]
	def zipmap[T](f:(V, V)=>T, other:Array[T]):Array[T] =
		val minLength = math.min(this.length, other.length)
		retval = new Array[V](minLength)
		for i in range(0, minLength)
			retval(i) = f(this(i), other(i))
		return retval