blob: aa8d33ed6c248bd8162c94bd50a71a3ef38304e8 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
|
package test;
object O {
def view (x: String): Ordered[String] = new Ordered[String] {
def compareTo [b >: String <% Ordered[b]](y: b): int = y match {
case y1: String => x compareTo y1;
case _ => -(y compareTo x)
}
}
def view (x: char): Ordered[char] = new Ordered[char] {
def compareTo [b >: char <% Ordered[b]](y: b): int = y match {
case y1: char => x - y1;
case _ => -(y compareTo x)
}
}
def view[a <% Ordered[a]](x: List[a]): Ordered[List[a]] =
new Ordered[List[a]] {
def compareTo [b >: List[a] <% Ordered[b]](y: b): int = y match {
case y1: List[a] => compareLists(x, y1);
case _ => -(y compareTo x)
}
private def compareLists(xs: List[a], ys: List[a]): int = {
if (xs.isEmpty && ys.isEmpty) 0
else if (xs.isEmpty) -1
else if (ys.isEmpty) 1
else {
val s = xs.head compareTo ys.head;
if (s != 0) s
else compareLists(xs.tail, ys.tail)
}
}
}
}
trait Tree[+a <% Ordered[a]] {
def insert[b >: a <% Ordered[b]](x: b): Tree[b];
def elements: List[a]
}
object Empty extends Tree[All] {
def insert[b >: All <% Ordered[b]](x: b): Tree[b] = new Node(x, Empty, Empty);
def elements: List[All] = List();
}
class Node[+a <% Ordered[a]](elem: a, l: Tree[a], r: Tree[a]) extends Tree[a] {
def insert[b >: a <% Ordered[b]](x: b): Tree[b] =
if (x == elem) this
else if (x < elem) new Node(elem, l insert x, r)
else new Node(elem, l, r insert x);
def elements: List[a] =
l.elements ::: List(elem) ::: r.elements
}
object Test {
import O.view;
private def toCharList(s: String): List[Char] =
if (s.length() == 0) List()
else s.charAt(0) :: toCharList(s.substring(1));
def main(args: Array[String]) = {
{
var t: Tree[String] = Empty;
for (val s <- args) {
t = t insert s
}
System.out.println(t.elements)
}
{
var t: Tree[List[char]] = Empty;
for (val s <- args) {
t = t insert toCharList(s)
}
System.out.println(t.elements)
}
}
}
|