design/concept.lua

   1 local tree1:= new QuadTree<Sprite>
   2
   3 local list2:= new List<number>
   4
   5 list2.first
   6
   7 class List<T>
   8
   9 func add<T>(a:T,b:T)->T
  10         return a+b
  11 end
  12
  13
  14 func add<T>(a,b:T)->T
  15
  16 add(5,2)
  17
  18 => lift
  19 1. a->5-> number => add<number>(a,b:number)->number
  20 2. b?->2 => yes
  21 3. number+number?->number => yes
  22 4. validated
  23
  24
  25 class Stack<T>
  26         field head:StackNode<T>
  27
  28         method push(v:T)
  29                 local nn:=new StackNode<T>{value=v,prev=head}
  30                 head=nn
  31         end
  32
  33         method pop()->T
  34                 local n:=head
  35                 head=head.prev
  36                 return n.value
  37         end
  38 end
  39
  40 class StackNode<T>
  41         field prev:StackNode<T>
  42         field value:T
  43 end
  44
  45
  46 class StackCounted<T> extends Stack<T>
  47         field count#
  48
  49         inherit push(v:T)
  50         end
  51
  52         inherit pop
  53 end
  54