Joao Azevedo jcazevedo
jcazevedo
/ gist:3849885
Created
October 7, 2012 23:00
— forked from anonymous/gist:3847798
Simple Non-Polymorphic Stack Machine
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| import scala.util.Random | |
| object PStack { | |
| type Any = PStack[_, _] | |
| } | |
| sealed trait PStack[A, B <: PStack.Any] { | |
| def pop2: Option[(A, B)] | |
| def push0[C](elem: C): PStack[C, PStack[A, B]] = | |
| NonEmptyPStack(elem, this) |