Fahad/CodeSamples/GenericClasses.scala
author Christian Urban <christian dot urban at kcl dot ac dot uk>
Thu, 29 Jan 2015 09:05:40 +0000
changeset 53 38cde0214ad5
parent 44 a751aa1ee4f7
permissions -rw-r--r--
added some lemmas, attempted others

package Main

class Stack[T] {
  var elems: List[T] = Nil
  def push(x: T) { elems = x :: elems }
  def top: T = elems.head
  def pop() { elems = elems.tail }
}

object GenericsTest extends App{
  val stack = new Stack[Int]
  stack.push(1)
  stack.push('a')
  println(stack.top)
  stack.pop()
  println(stack.top)
}