Fahad/CodeSamples/GenericClasses.scala
author Christian Urban <urbanc@in.tum.de>
Wed, 01 Mar 2017 00:13:15 +0000
changeset 226 d131cd45a346
parent 44 a751aa1ee4f7
permissions -rw-r--r--
deleted unused theorems

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)
}