progs/lecture3.scala
author Christian Urban <christian.urban@kcl.ac.uk>
Mon, 21 Jul 2025 16:38:07 +0100
changeset 491 2a30c7dfe3ed
parent 490 f70d74fea67f
permissions -rw-r--r--
updated
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
67
ca5884c2e3bd updated
Christian Urban <urbanc@in.tum.de>
parents: 53
diff changeset
     1
// Scala Lecture 3
ca5884c2e3bd updated
Christian Urban <urbanc@in.tum.de>
parents: 53
diff changeset
     2
//=================
ca5884c2e3bd updated
Christian Urban <urbanc@in.tum.de>
parents: 53
diff changeset
     3
478
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
     4
// last week:
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
     5
// higher-order functions
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
     6
// maps
446
30b8f14b2655 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 445
diff changeset
     7
478
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
     8
// - recursion
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
     9
// - Sudoku
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
    10
// - string interpolations
445
160cbb09027f updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 415
diff changeset
    11
// - Pattern-Matching
160cbb09027f updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 415
diff changeset
    12
491
2a30c7dfe3ed updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 490
diff changeset
    13
def fact(n: BigInt) : BigInt = {
2a30c7dfe3ed updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 490
diff changeset
    14
  if (n == 0) 1 
2a30c7dfe3ed updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 490
diff changeset
    15
  else n * fact(n - 1)
2a30c7dfe3ed updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 490
diff changeset
    16
}
2a30c7dfe3ed updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 490
diff changeset
    17
2a30c7dfe3ed updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 490
diff changeset
    18
def fib(n: BigInt) : BigInt = {
2a30c7dfe3ed updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 490
diff changeset
    19
  if (n == 0) 1
2a30c7dfe3ed updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 490
diff changeset
    20
  else if (n == 1) 1 
2a30c7dfe3ed updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 490
diff changeset
    21
  else fib(n - 1) + fib(n - 2)
2a30c7dfe3ed updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 490
diff changeset
    22
}
2a30c7dfe3ed updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 490
diff changeset
    23
2a30c7dfe3ed updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 490
diff changeset
    24
2a30c7dfe3ed updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 490
diff changeset
    25
2a30c7dfe3ed updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 490
diff changeset
    26
2a30c7dfe3ed updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 490
diff changeset
    27
2a30c7dfe3ed updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 490
diff changeset
    28
def inc(n: Int) : Int = n + 1
2a30c7dfe3ed updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 490
diff changeset
    29
2a30c7dfe3ed updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 490
diff changeset
    30
for (n <- List(1,2,3,4)) yield inc(n)
2a30c7dfe3ed updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 490
diff changeset
    31
2a30c7dfe3ed updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 490
diff changeset
    32
List().map(inc)
2a30c7dfe3ed updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 490
diff changeset
    33
2a30c7dfe3ed updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 490
diff changeset
    34
2a30c7dfe3ed updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 490
diff changeset
    35
2a30c7dfe3ed updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 490
diff changeset
    36
my_map(inc, List(1,2,3,4))
2a30c7dfe3ed updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 490
diff changeset
    37
2a30c7dfe3ed updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 490
diff changeset
    38
2a30c7dfe3ed updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 490
diff changeset
    39
2a30c7dfe3ed updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 490
diff changeset
    40
2a30c7dfe3ed updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 490
diff changeset
    41
2a30c7dfe3ed updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 490
diff changeset
    42
478
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
    43
// A Recursive Web Crawler / Email Harvester
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
    44
//===========================================
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
    45
//
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
    46
// the idea is to look for links using the
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
    47
// regular expression "https?://[^"]*" and for
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
    48
// email addresses using another regex.
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
    49
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
    50
import io.Source
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
    51
import scala.util._
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
    52
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
    53
// gets the first 10K of a web-page
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
    54
def get_page(url: String) : String = {
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
    55
  Try(Source.fromURL(url)("ISO-8859-1").take(10000).mkString).
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
    56
    getOrElse { println(s"  Problem with: $url"); ""}
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
    57
}
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
    58
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
    59
// regex for URLs and emails
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
    60
val http_pattern = """"https?://[^"]*"""".r
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
    61
val email_pattern = """([a-z0-9_\.-]+)@([\da-z\.-]+)\.([a-z\.]{2,6})""".r
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
    62
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
    63
//test case:
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
    64
//email_pattern.findAllIn
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
    65
//  ("foo bla christian@kcl.ac.uk 1234567").toList
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
    66
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
    67
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
    68
// drops the first and last character from a string
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
    69
def unquote(s: String) = s.drop(1).dropRight(1)
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
    70
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
    71
def get_all_URLs(page: String): Set[String] = 
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
    72
  http_pattern.findAllIn(page).map(unquote).toSet
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
    73
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
    74
// naive version of crawl - searches until a given depth,
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
    75
// visits pages potentially more than once
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
    76
def crawl(url: String, n: Int) : Unit = {
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
    77
  if (n == 0) ()
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
    78
  else {
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
    79
    println(s"  Visiting: $n $url")
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
    80
    for (u <- get_all_URLs(get_page(url))) crawl(u, n - 1)
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
    81
  }
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
    82
}
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
    83
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
    84
// some starting URLs for the crawler
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
    85
val startURL = """https://nms.kcl.ac.uk/christian.urban/"""
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
    86
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
    87
crawl(startURL, 2)
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
    88
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
    89
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
    90
// a primitive email harvester
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
    91
def emails(url: String, n: Int) : Set[String] = {
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
    92
  if (n == 0) Set()
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
    93
  else {
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
    94
    println(s"  Visiting: $n $url")
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
    95
    val page = get_page(url)
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
    96
    val new_emails = email_pattern.findAllIn(page).toSet
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
    97
    new_emails ++ (for (u <- get_all_URLs(page)) yield emails(u, n - 1)).flatten
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
    98
  }
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
    99
}
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   100
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   101
emails(startURL, 2)
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   102
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   103
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   104
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   105
// Sudoku 
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   106
//========
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   107
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   108
// THE POINT OF THIS CODE IS NOT TO BE SUPER
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   109
// EFFICIENT AND FAST, just explaining exhaustive
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   110
// depth-first search
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   111
491
2a30c7dfe3ed updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 490
diff changeset
   112
//> using dep org.scala-lang.modules::scala-parallel-collections:1.0.4
2a30c7dfe3ed updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 490
diff changeset
   113
import scala.collection.parallel.CollectionConverters.*
2a30c7dfe3ed updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 490
diff changeset
   114
2a30c7dfe3ed updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 490
diff changeset
   115
2a30c7dfe3ed updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 490
diff changeset
   116
val s1 = "s\n"
2a30c7dfe3ed updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 490
diff changeset
   117
val s2 = """s\n"""
478
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   118
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   119
val game0 = """.14.6.3..
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   120
              |62...4..9
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   121
              |.8..5.6..
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   122
              |.6.2....3
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   123
              |.7..1..5.
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   124
              |5....9.6.
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   125
              |..6.2..3.
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   126
              |1..5...92
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   127
              |..7.9.41.""".stripMargin.replaceAll("\\n", "")
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   128
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   129
type Pos = (Int, Int)
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   130
val EmptyValue = '.'
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   131
val MaxValue = 9
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   132
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   133
def pretty(game: String): String = 
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   134
  "\n" + (game.grouped(MaxValue).mkString("\n"))
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   135
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   136
pretty(game0)
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   137
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   138
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   139
val allValues = "123456789".toList
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   140
val indexes = (0 to 8).toList
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   141
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   142
def empty(game: String) = game.indexOf(EmptyValue)
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   143
def isDone(game: String) = empty(game) == -1 
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   144
def emptyPosition(game: String) : Pos = {
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   145
  val e = empty(game)
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   146
  (e % MaxValue, e / MaxValue)
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   147
}
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   148
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   149
def get_row(game: String, y: Int) = 
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   150
  indexes.map(col => game(y * MaxValue + col))
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   151
def get_col(game: String, x: Int) = 
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   152
  indexes.map(row => game(x + row * MaxValue))
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   153
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   154
//get_row(game0, 0)
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   155
//get_row(game0, 1)
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   156
//get_col(game0, 0)
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   157
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   158
def get_box(game: String, pos: Pos): List[Char] = {
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   159
    def base(p: Int): Int = (p / 3) * 3
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   160
    val x0 = base(pos._1)
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   161
    val y0 = base(pos._2)
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   162
    val ys = (y0 until y0 + 3).toList
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   163
    (x0 until x0 + 3).toList
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   164
      .flatMap(x => ys.map(y => game(x + y * MaxValue)))
446
30b8f14b2655 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 445
diff changeset
   165
}
30b8f14b2655 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 445
diff changeset
   166
30b8f14b2655 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 445
diff changeset
   167
478
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   168
//get_box(game0, (3, 1))
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   169
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   170
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   171
// this is not mutable!!
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   172
def update(game: String, pos: Int, value: Char): String = 
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   173
  game.updated(pos, value)
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   174
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   175
def toAvoid(game: String, pos: Pos): List[Char] = 
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   176
  (get_col(game, pos._1) ++ 
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   177
   get_row(game, pos._2) ++ 
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   178
   get_box(game, pos))
445
160cbb09027f updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 415
diff changeset
   179
478
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   180
def candidates(game: String, pos: Pos): List[Char] = 
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   181
  allValues.diff(toAvoid(game, pos))
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   182
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   183
//candidates(game0, (0,0))
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   184
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   185
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   186
def search(game: String): List[String] = {
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   187
  if (isDone(game)) List(game)
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   188
  else {
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   189
    val cs = candidates(game, emptyPosition(game))
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   190
    cs.par.map(c => search(update(game, empty(game), c))).flatten.toList
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   191
  }
445
160cbb09027f updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 415
diff changeset
   192
}
160cbb09027f updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 415
diff changeset
   193
478
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   194
pretty(game0)
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   195
search(game0).map(pretty)
445
160cbb09027f updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 415
diff changeset
   196
478
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   197
val game1 = """23.915...
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   198
              |...2..54.
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   199
              |6.7......
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   200
              |..1.....9
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   201
              |89.5.3.17
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   202
              |5.....6..
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   203
              |......9.5
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   204
              |.16..7...
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   205
              |...329..1""".stripMargin.replaceAll("\\n", "")
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   206
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   207
search(game1).map(pretty)
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   208
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   209
// a game that is in the hard category
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   210
val game2 = """8........
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   211
              |..36.....
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   212
              |.7..9.2..
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   213
              |.5...7...
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   214
              |....457..
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   215
              |...1...3.
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   216
              |..1....68
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   217
              |..85...1.
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   218
              |.9....4..""".stripMargin.replaceAll("\\n", "")
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   219
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   220
search(game2).map(pretty)
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   221
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   222
// game with multiple solutions
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   223
val game3 = """.8...9743
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   224
              |.5...8.1.
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   225
              |.1.......
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   226
              |8....5...
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   227
              |...8.4...
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   228
              |...3....6
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   229
              |.......7.
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   230
              |.3.5...8.
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   231
              |9724...5.""".stripMargin.replaceAll("\\n", "")
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   232
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   233
search(game3).map(pretty).foreach(println)
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   234
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   235
// for measuring time
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   236
def time_needed[T](i: Int, code: => T) = {
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   237
  val start = System.nanoTime()
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   238
  for (j <- 1 to i) code
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   239
  val end = System.nanoTime()
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   240
  s"${(end - start) / 1.0e9} secs"
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   241
}
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   242
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   243
time_needed(2, search(game2))
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   244
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   245
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   246
// concurrency 
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   247
// scala-cli --extra-jars scala-parallel-collections_3-1.0.4.jar 
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   248
// import scala.collection.parallel.CollectionConverters._
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   249
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   250
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   251
445
160cbb09027f updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 415
diff changeset
   252
160cbb09027f updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 415
diff changeset
   253
// String Interpolations
160cbb09027f updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 415
diff changeset
   254
//=======================
160cbb09027f updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 415
diff changeset
   255
160cbb09027f updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 415
diff changeset
   256
def cube(n: Int) : Int = n * n * n
160cbb09027f updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 415
diff changeset
   257
160cbb09027f updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 415
diff changeset
   258
val n = 3
160cbb09027f updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 415
diff changeset
   259
println("The cube of " + n + " is " + cube(n) + ".")
160cbb09027f updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 415
diff changeset
   260
160cbb09027f updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 415
diff changeset
   261
println(s"The cube of $n is ${cube(n)}.")
160cbb09027f updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 415
diff changeset
   262
160cbb09027f updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 415
diff changeset
   263
// or even
160cbb09027f updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 415
diff changeset
   264
160cbb09027f updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 415
diff changeset
   265
println(s"The cube of $n is ${n * n * n}.")
160cbb09027f updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 415
diff changeset
   266
160cbb09027f updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 415
diff changeset
   267
// helpful for debugging purposes
160cbb09027f updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 415
diff changeset
   268
//
160cbb09027f updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 415
diff changeset
   269
//     "The most effective debugging tool is still careful 
160cbb09027f updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 415
diff changeset
   270
//          thought, coupled with judiciously placed print 
160cbb09027f updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 415
diff changeset
   271
//                                             statements."
160cbb09027f updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 415
diff changeset
   272
//       — Brian W. Kernighan, in Unix for Beginners (1979)
160cbb09027f updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 415
diff changeset
   273
160cbb09027f updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 415
diff changeset
   274
160cbb09027f updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 415
diff changeset
   275
def gcd_db(a: Int, b: Int) : Int = {
160cbb09027f updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 415
diff changeset
   276
  println(s"Function called with $a and $b.")
160cbb09027f updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 415
diff changeset
   277
  if (b == 0) a else gcd_db(b, a % b)
160cbb09027f updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 415
diff changeset
   278
}
160cbb09027f updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 415
diff changeset
   279
160cbb09027f updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 415
diff changeset
   280
gcd_db(48, 18)
320
90aed247c8cf updated
Christian Urban <urbanc@in.tum.de>
parents: 318
diff changeset
   281
415
368556c8df56 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 375
diff changeset
   282
343
51e25cc30483 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 335
diff changeset
   283
51e25cc30483 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 335
diff changeset
   284
320
90aed247c8cf updated
Christian Urban <urbanc@in.tum.de>
parents: 318
diff changeset
   285
// Recursion Again ;o)
90aed247c8cf updated
Christian Urban <urbanc@in.tum.de>
parents: 318
diff changeset
   286
//====================
90aed247c8cf updated
Christian Urban <urbanc@in.tum.de>
parents: 318
diff changeset
   287
217
bc92320b41d3 updated
Christian Urban <urbanc@in.tum.de>
parents: 194
diff changeset
   288
366
d2f895c1dba6 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 364
diff changeset
   289
// another well-known example: Towers of Hanoi
d2f895c1dba6 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 364
diff changeset
   290
//=============================================
178
55367d499635 updated
Christian Urban <urbanc@in.tum.de>
parents: 170
diff changeset
   291
320
90aed247c8cf updated
Christian Urban <urbanc@in.tum.de>
parents: 318
diff changeset
   292
def move(from: Char, to: Char) =
90aed247c8cf updated
Christian Urban <urbanc@in.tum.de>
parents: 318
diff changeset
   293
  println(s"Move disc from $from to $to!")
67
ca5884c2e3bd updated
Christian Urban <urbanc@in.tum.de>
parents: 53
diff changeset
   294
320
90aed247c8cf updated
Christian Urban <urbanc@in.tum.de>
parents: 318
diff changeset
   295
def hanoi(n: Int, from: Char, via: Char, to: Char) : Unit = {
90aed247c8cf updated
Christian Urban <urbanc@in.tum.de>
parents: 318
diff changeset
   296
  if (n == 0) ()
90aed247c8cf updated
Christian Urban <urbanc@in.tum.de>
parents: 318
diff changeset
   297
  else {
90aed247c8cf updated
Christian Urban <urbanc@in.tum.de>
parents: 318
diff changeset
   298
    hanoi(n - 1, from, to, via)
90aed247c8cf updated
Christian Urban <urbanc@in.tum.de>
parents: 318
diff changeset
   299
    move(from, to)
90aed247c8cf updated
Christian Urban <urbanc@in.tum.de>
parents: 318
diff changeset
   300
    hanoi(n - 1, via, from, to)
90aed247c8cf updated
Christian Urban <urbanc@in.tum.de>
parents: 318
diff changeset
   301
  }
90aed247c8cf updated
Christian Urban <urbanc@in.tum.de>
parents: 318
diff changeset
   302
} 
67
ca5884c2e3bd updated
Christian Urban <urbanc@in.tum.de>
parents: 53
diff changeset
   303
320
90aed247c8cf updated
Christian Urban <urbanc@in.tum.de>
parents: 318
diff changeset
   304
hanoi(4, 'A', 'B', 'C')
67
ca5884c2e3bd updated
Christian Urban <urbanc@in.tum.de>
parents: 53
diff changeset
   305
155
eccf17f56922 updated
Christian Urban <urbanc@in.tum.de>
parents: 153
diff changeset
   306
eccf17f56922 updated
Christian Urban <urbanc@in.tum.de>
parents: 153
diff changeset
   307
478
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   308
// Pattern Matching
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   309
//==================
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   310
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   311
// A powerful tool which has even landed in Java during 
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   312
// the last few years (https://inside.java/2021/06/13/podcast-017/).
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   313
// ...Scala already has it for many years and the concept is
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   314
// older than your friendly lecturer, that is stone old  ;o)
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   315
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   316
// The general schema:
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   317
//
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   318
//    expression match {
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   319
//       case pattern1 => expression1
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   320
//       case pattern2 => expression2
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   321
//       ...
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   322
//       case patternN => expressionN
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   323
//    }
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   324
491
2a30c7dfe3ed updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 490
diff changeset
   325
def my_map(f: Int => Int, xs: List[Int]) : List[Int] =  
2a30c7dfe3ed updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 490
diff changeset
   326
  xs match {
2a30c7dfe3ed updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 490
diff changeset
   327
    case Nil => Nil 
2a30c7dfe3ed updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 490
diff changeset
   328
    case hd::tl => f(hd) ::  my_map(f, tl)
2a30c7dfe3ed updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 490
diff changeset
   329
  }
2a30c7dfe3ed updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 490
diff changeset
   330
2a30c7dfe3ed updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 490
diff changeset
   331
my_map(x => x * x, List(1,2,3,4))
2a30c7dfe3ed updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 490
diff changeset
   332
478
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   333
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   334
// recall
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   335
def len(xs: List[Int]) : Int = {
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   336
    if (xs == Nil) 0
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   337
    else 1 + len(xs.tail)
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   338
}    
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   339
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   340
def len(xs: List[Int]) : Int = xs match {
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   341
    case Nil => 0
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   342
    case hd::tail => 1 + len(tail)
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   343
}  
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   344
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   345
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   346
def my_map_int(lst: List[Int], f: Int => Int) : List[Int] = 
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   347
  lst match {
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   348
    case Nil => Nil
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   349
    case x::xs => f(x)::my_map_int(xs, f)
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   350
  }
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   351
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   352
def my_map_option(opt: Option[Int], f: Int => Int) : Option[Int] = 
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   353
  opt match {
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   354
    case None => None
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   355
    case Some(x) => Some(f(x))
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   356
  }
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   357
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   358
my_map_option(None, x => x * x)
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   359
my_map_option(Some(8), x => x * x)
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   360
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   361
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   362
// you can also have cases combined
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   363
def season(month: String) : String = month match {
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   364
  case "March" | "April" | "May" => "It's spring"
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   365
  case "June" | "July" | "August" => "It's summer"
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   366
  case "September" | "October" | "November" => "It's autumn"
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   367
  case "December" => "It's winter"
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   368
  case "January" | "February" => "It's unfortunately winter"
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   369
  case _ => "Wrong month"
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   370
}
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   371
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   372
// pattern-match on integers
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   373
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   374
def fib(n: Int) : Int = n match { 
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   375
  case 0 | 1 => 1
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   376
  case n => fib(n - 1) + fib(n - 2)
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   377
}
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   378
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   379
fib(10)
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   380
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   381
// pattern-match on results
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   382
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   383
// Silly: fizz buzz
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   384
def fizz_buzz(n: Int) : String = (n % 3, n % 5) match {
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   385
  case (0, 0) => "fizz buzz"
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   386
  case (0, _) => "fizz"
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   387
  case (_, 0) => "buzz"
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   388
  case _ => n.toString  
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   389
}
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   390
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   391
for (n <- 1 to 20) 
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   392
 println(fizz_buzz(n))
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   393
490
f70d74fea67f updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 478
diff changeset
   394
// more interesting patterns for lists - calculate the deltas between 
f70d74fea67f updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 478
diff changeset
   395
// elements
f70d74fea67f updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 478
diff changeset
   396
491
2a30c7dfe3ed updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 490
diff changeset
   397
List(4,3,2,1) -> List(1,1,.. )
2a30c7dfe3ed updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 490
diff changeset
   398
490
f70d74fea67f updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 478
diff changeset
   399
def delta(xs: List[Int]) : List[Int] = xs match {
f70d74fea67f updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 478
diff changeset
   400
  case Nil => Nil
f70d74fea67f updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 478
diff changeset
   401
  case x::Nil => x::Nil
f70d74fea67f updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 478
diff changeset
   402
  case x::y::xs => (x - y)::delta(y::xs)
f70d74fea67f updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 478
diff changeset
   403
}
f70d74fea67f updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 478
diff changeset
   404
f70d74fea67f updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 478
diff changeset
   405
delta(List(10, 7, 8, 2, 5, 10))
f70d74fea67f updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 478
diff changeset
   406
f70d74fea67f updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 478
diff changeset
   407
478
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   408
// guards in pattern-matching
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   409
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   410
def foo(xs: List[Int]) : String = xs match {
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   411
  case Nil => s"this list is empty"
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   412
  case x :: xs if x % 2 == 0 
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   413
     => s"the first elemnt is even"
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   414
  case x :: y :: rest if x == y
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   415
     => s"this has two elemnts that are the same"
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   416
  case hd :: tl => s"this list is standard $hd::$tl"
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   417
}
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   418
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   419
foo(Nil)
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   420
foo(List(1,2,3))
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   421
foo(List(1,2))
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   422
foo(List(1,1,2,3))
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   423
foo(List(2,2,2,3))
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   424
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   425
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   426
// Trees
320
90aed247c8cf updated
Christian Urban <urbanc@in.tum.de>
parents: 318
diff changeset
   427
323
93b6c16dded8 updated
Christian Urban <urbanc@in.tum.de>
parents: 321
diff changeset
   428
abstract class Tree
93b6c16dded8 updated
Christian Urban <urbanc@in.tum.de>
parents: 321
diff changeset
   429
case class Leaf(x: Int) extends Tree
93b6c16dded8 updated
Christian Urban <urbanc@in.tum.de>
parents: 321
diff changeset
   430
case class Node(s: String, left: Tree, right: Tree) extends Tree 
93b6c16dded8 updated
Christian Urban <urbanc@in.tum.de>
parents: 321
diff changeset
   431
366
d2f895c1dba6 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 364
diff changeset
   432
val lf = Leaf(20)
d2f895c1dba6 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 364
diff changeset
   433
val tr = Node("foo", Leaf(10), Leaf(23))
320
90aed247c8cf updated
Christian Urban <urbanc@in.tum.de>
parents: 318
diff changeset
   434
491
2a30c7dfe3ed updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 490
diff changeset
   435
def sizet(t: Tree) : Int = t match {
2a30c7dfe3ed updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 490
diff changeset
   436
  case Leaf(_) => 1
2a30c7dfe3ed updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 490
diff changeset
   437
  case Node(_, left , right) => 1 + sizet(left) + sizet(right)
2a30c7dfe3ed updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 490
diff changeset
   438
}
2a30c7dfe3ed updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 490
diff changeset
   439
2a30c7dfe3ed updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 490
diff changeset
   440
sizet(tr)
2a30c7dfe3ed updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 490
diff changeset
   441
366
d2f895c1dba6 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 364
diff changeset
   442
val lst : List[Tree] = List(lf, tr)
d2f895c1dba6 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 364
diff changeset
   443
d2f895c1dba6 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 364
diff changeset
   444
d2f895c1dba6 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 364
diff changeset
   445
abstract class Colour
320
90aed247c8cf updated
Christian Urban <urbanc@in.tum.de>
parents: 318
diff changeset
   446
case object Red extends Colour 
90aed247c8cf updated
Christian Urban <urbanc@in.tum.de>
parents: 318
diff changeset
   447
case object Green extends Colour 
90aed247c8cf updated
Christian Urban <urbanc@in.tum.de>
parents: 318
diff changeset
   448
case object Blue extends Colour
323
93b6c16dded8 updated
Christian Urban <urbanc@in.tum.de>
parents: 321
diff changeset
   449
case object Yellow extends Colour
320
90aed247c8cf updated
Christian Urban <urbanc@in.tum.de>
parents: 318
diff changeset
   450
90aed247c8cf updated
Christian Urban <urbanc@in.tum.de>
parents: 318
diff changeset
   451
90aed247c8cf updated
Christian Urban <urbanc@in.tum.de>
parents: 318
diff changeset
   452
def fav_colour(c: Colour) : Boolean = c match {
90aed247c8cf updated
Christian Urban <urbanc@in.tum.de>
parents: 318
diff changeset
   453
  case Green => true
323
93b6c16dded8 updated
Christian Urban <urbanc@in.tum.de>
parents: 321
diff changeset
   454
  case _  => false 
320
90aed247c8cf updated
Christian Urban <urbanc@in.tum.de>
parents: 318
diff changeset
   455
}
90aed247c8cf updated
Christian Urban <urbanc@in.tum.de>
parents: 318
diff changeset
   456
366
d2f895c1dba6 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 364
diff changeset
   457
fav_colour(Blue)
d2f895c1dba6 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 364
diff changeset
   458
490
f70d74fea67f updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 478
diff changeset
   459
enum ChessPiece:
f70d74fea67f updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 478
diff changeset
   460
  case Queen, Rook, Bishop, Knight, Pawn
f70d74fea67f updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 478
diff changeset
   461
  def value = this match
f70d74fea67f updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 478
diff changeset
   462
    case Queen  => 9
f70d74fea67f updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 478
diff changeset
   463
    case Rook   => 5
f70d74fea67f updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 478
diff changeset
   464
    case Bishop => 3
f70d74fea67f updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 478
diff changeset
   465
    case Knight => 3
f70d74fea67f updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 478
diff changeset
   466
    case Pawn   => 1
f70d74fea67f updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 478
diff changeset
   467
f70d74fea67f updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 478
diff changeset
   468
320
90aed247c8cf updated
Christian Urban <urbanc@in.tum.de>
parents: 318
diff changeset
   469
90aed247c8cf updated
Christian Urban <urbanc@in.tum.de>
parents: 318
diff changeset
   470
// ... a tiny bit more useful: Roman Numerals
90aed247c8cf updated
Christian Urban <urbanc@in.tum.de>
parents: 318
diff changeset
   471
321
f6cb539e0ffb updated
Christian Urban <urbanc@in.tum.de>
parents: 320
diff changeset
   472
sealed abstract class RomanDigit 
320
90aed247c8cf updated
Christian Urban <urbanc@in.tum.de>
parents: 318
diff changeset
   473
case object I extends RomanDigit 
90aed247c8cf updated
Christian Urban <urbanc@in.tum.de>
parents: 318
diff changeset
   474
case object V extends RomanDigit 
90aed247c8cf updated
Christian Urban <urbanc@in.tum.de>
parents: 318
diff changeset
   475
case object X extends RomanDigit 
90aed247c8cf updated
Christian Urban <urbanc@in.tum.de>
parents: 318
diff changeset
   476
case object L extends RomanDigit 
90aed247c8cf updated
Christian Urban <urbanc@in.tum.de>
parents: 318
diff changeset
   477
case object C extends RomanDigit 
90aed247c8cf updated
Christian Urban <urbanc@in.tum.de>
parents: 318
diff changeset
   478
case object D extends RomanDigit 
90aed247c8cf updated
Christian Urban <urbanc@in.tum.de>
parents: 318
diff changeset
   479
case object M extends RomanDigit 
90aed247c8cf updated
Christian Urban <urbanc@in.tum.de>
parents: 318
diff changeset
   480
90aed247c8cf updated
Christian Urban <urbanc@in.tum.de>
parents: 318
diff changeset
   481
type RomanNumeral = List[RomanDigit] 
90aed247c8cf updated
Christian Urban <urbanc@in.tum.de>
parents: 318
diff changeset
   482
366
d2f895c1dba6 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 364
diff changeset
   483
List(X,I,M,A)
320
90aed247c8cf updated
Christian Urban <urbanc@in.tum.de>
parents: 318
diff changeset
   484
90aed247c8cf updated
Christian Urban <urbanc@in.tum.de>
parents: 318
diff changeset
   485
/*
90aed247c8cf updated
Christian Urban <urbanc@in.tum.de>
parents: 318
diff changeset
   486
I    -> 1
90aed247c8cf updated
Christian Urban <urbanc@in.tum.de>
parents: 318
diff changeset
   487
II   -> 2
90aed247c8cf updated
Christian Urban <urbanc@in.tum.de>
parents: 318
diff changeset
   488
III  -> 3
90aed247c8cf updated
Christian Urban <urbanc@in.tum.de>
parents: 318
diff changeset
   489
IV   -> 4
90aed247c8cf updated
Christian Urban <urbanc@in.tum.de>
parents: 318
diff changeset
   490
V    -> 5
90aed247c8cf updated
Christian Urban <urbanc@in.tum.de>
parents: 318
diff changeset
   491
VI   -> 6
90aed247c8cf updated
Christian Urban <urbanc@in.tum.de>
parents: 318
diff changeset
   492
VII  -> 7
90aed247c8cf updated
Christian Urban <urbanc@in.tum.de>
parents: 318
diff changeset
   493
VIII -> 8
90aed247c8cf updated
Christian Urban <urbanc@in.tum.de>
parents: 318
diff changeset
   494
IX   -> 9
90aed247c8cf updated
Christian Urban <urbanc@in.tum.de>
parents: 318
diff changeset
   495
X    -> 10
90aed247c8cf updated
Christian Urban <urbanc@in.tum.de>
parents: 318
diff changeset
   496
*/
90aed247c8cf updated
Christian Urban <urbanc@in.tum.de>
parents: 318
diff changeset
   497
90aed247c8cf updated
Christian Urban <urbanc@in.tum.de>
parents: 318
diff changeset
   498
def RomanNumeral2Int(rs: RomanNumeral): Int = rs match { 
90aed247c8cf updated
Christian Urban <urbanc@in.tum.de>
parents: 318
diff changeset
   499
  case Nil => 0
90aed247c8cf updated
Christian Urban <urbanc@in.tum.de>
parents: 318
diff changeset
   500
  case M::r    => 1000 + RomanNumeral2Int(r)  
90aed247c8cf updated
Christian Urban <urbanc@in.tum.de>
parents: 318
diff changeset
   501
  case C::M::r => 900 + RomanNumeral2Int(r)
90aed247c8cf updated
Christian Urban <urbanc@in.tum.de>
parents: 318
diff changeset
   502
  case D::r    => 500 + RomanNumeral2Int(r)
90aed247c8cf updated
Christian Urban <urbanc@in.tum.de>
parents: 318
diff changeset
   503
  case C::D::r => 400 + RomanNumeral2Int(r)
90aed247c8cf updated
Christian Urban <urbanc@in.tum.de>
parents: 318
diff changeset
   504
  case C::r    => 100 + RomanNumeral2Int(r)
90aed247c8cf updated
Christian Urban <urbanc@in.tum.de>
parents: 318
diff changeset
   505
  case X::C::r => 90 + RomanNumeral2Int(r)
90aed247c8cf updated
Christian Urban <urbanc@in.tum.de>
parents: 318
diff changeset
   506
  case L::r    => 50 + RomanNumeral2Int(r)
90aed247c8cf updated
Christian Urban <urbanc@in.tum.de>
parents: 318
diff changeset
   507
  case X::L::r => 40 + RomanNumeral2Int(r)
90aed247c8cf updated
Christian Urban <urbanc@in.tum.de>
parents: 318
diff changeset
   508
  case X::r    => 10 + RomanNumeral2Int(r)
90aed247c8cf updated
Christian Urban <urbanc@in.tum.de>
parents: 318
diff changeset
   509
  case I::X::r => 9 + RomanNumeral2Int(r)
90aed247c8cf updated
Christian Urban <urbanc@in.tum.de>
parents: 318
diff changeset
   510
  case V::r    => 5 + RomanNumeral2Int(r)
90aed247c8cf updated
Christian Urban <urbanc@in.tum.de>
parents: 318
diff changeset
   511
  case I::V::r => 4 + RomanNumeral2Int(r)
90aed247c8cf updated
Christian Urban <urbanc@in.tum.de>
parents: 318
diff changeset
   512
  case I::r    => 1 + RomanNumeral2Int(r)
90aed247c8cf updated
Christian Urban <urbanc@in.tum.de>
parents: 318
diff changeset
   513
}
90aed247c8cf updated
Christian Urban <urbanc@in.tum.de>
parents: 318
diff changeset
   514
90aed247c8cf updated
Christian Urban <urbanc@in.tum.de>
parents: 318
diff changeset
   515
RomanNumeral2Int(List(I,V))             // 4
90aed247c8cf updated
Christian Urban <urbanc@in.tum.de>
parents: 318
diff changeset
   516
RomanNumeral2Int(List(I,I,I,I))         // 4 (invalid Roman number)
90aed247c8cf updated
Christian Urban <urbanc@in.tum.de>
parents: 318
diff changeset
   517
RomanNumeral2Int(List(V,I))             // 6
90aed247c8cf updated
Christian Urban <urbanc@in.tum.de>
parents: 318
diff changeset
   518
RomanNumeral2Int(List(I,X))             // 9
90aed247c8cf updated
Christian Urban <urbanc@in.tum.de>
parents: 318
diff changeset
   519
RomanNumeral2Int(List(M,C,M,L,X,X,I,X)) // 1979
90aed247c8cf updated
Christian Urban <urbanc@in.tum.de>
parents: 318
diff changeset
   520
RomanNumeral2Int(List(M,M,X,V,I,I))     // 2017
90aed247c8cf updated
Christian Urban <urbanc@in.tum.de>
parents: 318
diff changeset
   521
90aed247c8cf updated
Christian Urban <urbanc@in.tum.de>
parents: 318
diff changeset
   522
478
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   523
abstract class Rexp
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   524
case object ZERO extends Rexp                      // matches nothing
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   525
case object ONE extends Rexp                       // matches the empty string
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   526
case class CHAR(c: Char) extends Rexp              // matches a character c
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   527
case class ALT(r1: Rexp, r2: Rexp) extends Rexp    // alternative
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   528
case class SEQ(r1: Rexp, r2: Rexp) extends Rexp    // sequence
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   529
case class STAR(r: Rexp) extends Rexp              // star
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   530
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   531
def depth(r: Rexp) : Int = r match {
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   532
  case ZERO => 1
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   533
  case ONE => 1
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   534
  case CHAR(_) => 1
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   535
  case ALT(r1, r2) => 1 + List(depth(r1), depth(r2)).max
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   536
  case SEQ(r1, r2) => 1 + List(depth(r1), depth(r2)).max
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   537
  case STAR(r1) => 1 + depth(r1)
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   538
}
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   539
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   540
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   541
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   542
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   543
366
d2f895c1dba6 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 364
diff changeset
   544
// expressions (essentially trees)
d2f895c1dba6 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 364
diff changeset
   545
d2f895c1dba6 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 364
diff changeset
   546
abstract class Exp
d2f895c1dba6 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 364
diff changeset
   547
case class N(n: Int) extends Exp                  // for numbers
d2f895c1dba6 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 364
diff changeset
   548
case class Plus(e1: Exp, e2: Exp) extends Exp
d2f895c1dba6 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 364
diff changeset
   549
case class Times(e1: Exp, e2: Exp) extends Exp
d2f895c1dba6 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 364
diff changeset
   550
d2f895c1dba6 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 364
diff changeset
   551
def string(e: Exp) : String = e match {
d2f895c1dba6 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 364
diff changeset
   552
  case N(n) => s"$n"
d2f895c1dba6 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 364
diff changeset
   553
  case Plus(e1, e2) => s"(${string(e1)} + ${string(e2)})" 
d2f895c1dba6 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 364
diff changeset
   554
  case Times(e1, e2) => s"(${string(e1)} * ${string(e2)})"
d2f895c1dba6 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 364
diff changeset
   555
}
d2f895c1dba6 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 364
diff changeset
   556
d2f895c1dba6 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 364
diff changeset
   557
val e = Plus(N(9), Times(N(3), N(4)))
d2f895c1dba6 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 364
diff changeset
   558
e.toString
d2f895c1dba6 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 364
diff changeset
   559
println(string(e))
d2f895c1dba6 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 364
diff changeset
   560
d2f895c1dba6 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 364
diff changeset
   561
def eval(e: Exp) : Int = e match {
d2f895c1dba6 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 364
diff changeset
   562
  case N(n) => n
d2f895c1dba6 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 364
diff changeset
   563
  case Plus(e1, e2) => eval(e1) + eval(e2) 
d2f895c1dba6 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 364
diff changeset
   564
  case Times(e1, e2) => eval(e1) * eval(e2) 
d2f895c1dba6 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 364
diff changeset
   565
}
d2f895c1dba6 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 364
diff changeset
   566
d2f895c1dba6 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 364
diff changeset
   567
println(eval(e))
d2f895c1dba6 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 364
diff changeset
   568
d2f895c1dba6 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 364
diff changeset
   569
// simplification rules:
d2f895c1dba6 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 364
diff changeset
   570
// e + 0, 0 + e => e 
d2f895c1dba6 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 364
diff changeset
   571
// e * 0, 0 * e => 0
d2f895c1dba6 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 364
diff changeset
   572
// e * 1, 1 * e => e
d2f895c1dba6 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 364
diff changeset
   573
//
d2f895c1dba6 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 364
diff changeset
   574
// (....9 ....)
d2f895c1dba6 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 364
diff changeset
   575
d2f895c1dba6 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 364
diff changeset
   576
def simp(e: Exp) : Exp = e match {
d2f895c1dba6 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 364
diff changeset
   577
  case N(n) => N(n)
d2f895c1dba6 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 364
diff changeset
   578
  case Plus(e1, e2) => (simp(e1), simp(e2)) match {
d2f895c1dba6 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 364
diff changeset
   579
    case (N(0), e2s) => e2s
d2f895c1dba6 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 364
diff changeset
   580
    case (e1s, N(0)) => e1s
d2f895c1dba6 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 364
diff changeset
   581
    case (e1s, e2s) => Plus(e1s, e2s)
d2f895c1dba6 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 364
diff changeset
   582
  }  
d2f895c1dba6 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 364
diff changeset
   583
  case Times(e1, e2) => (simp(e1), simp(e2)) match {
d2f895c1dba6 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 364
diff changeset
   584
    case (N(0), _) => N(0)
d2f895c1dba6 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 364
diff changeset
   585
    case (_, N(0)) => N(0)
d2f895c1dba6 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 364
diff changeset
   586
    case (N(1), e2s) => e2s
d2f895c1dba6 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 364
diff changeset
   587
    case (e1s, N(1)) => e1s
d2f895c1dba6 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 364
diff changeset
   588
    case (e1s, e2s) => Times(e1s, e2s)
d2f895c1dba6 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 364
diff changeset
   589
  }  
d2f895c1dba6 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 364
diff changeset
   590
}
d2f895c1dba6 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 364
diff changeset
   591
d2f895c1dba6 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 364
diff changeset
   592
d2f895c1dba6 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 364
diff changeset
   593
val e2 = Times(Plus(N(0), N(1)), Plus(N(0), N(9)))
d2f895c1dba6 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 364
diff changeset
   594
println(string(e2))
d2f895c1dba6 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 364
diff changeset
   595
println(string(simp(e2)))
d2f895c1dba6 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 364
diff changeset
   596
d2f895c1dba6 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 364
diff changeset
   597
d2f895c1dba6 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 364
diff changeset
   598
320
90aed247c8cf updated
Christian Urban <urbanc@in.tum.de>
parents: 318
diff changeset
   599
// String interpolations as patterns
90aed247c8cf updated
Christian Urban <urbanc@in.tum.de>
parents: 318
diff changeset
   600
90aed247c8cf updated
Christian Urban <urbanc@in.tum.de>
parents: 318
diff changeset
   601
val date = "2019-11-26"
90aed247c8cf updated
Christian Urban <urbanc@in.tum.de>
parents: 318
diff changeset
   602
val s"$year-$month-$day" = date
90aed247c8cf updated
Christian Urban <urbanc@in.tum.de>
parents: 318
diff changeset
   603
90aed247c8cf updated
Christian Urban <urbanc@in.tum.de>
parents: 318
diff changeset
   604
def parse_date(date: String) : Option[(Int, Int, Int)]= date match {
90aed247c8cf updated
Christian Urban <urbanc@in.tum.de>
parents: 318
diff changeset
   605
  case s"$year-$month-$day" => Some((day.toInt, month.toInt, year.toInt))
90aed247c8cf updated
Christian Urban <urbanc@in.tum.de>
parents: 318
diff changeset
   606
  case s"$day/$month/$year" => Some((day.toInt, month.toInt, year.toInt))
90aed247c8cf updated
Christian Urban <urbanc@in.tum.de>
parents: 318
diff changeset
   607
  case s"$day.$month.$year" => Some((day.toInt, month.toInt, year.toInt))
90aed247c8cf updated
Christian Urban <urbanc@in.tum.de>
parents: 318
diff changeset
   608
  case _ => None
90aed247c8cf updated
Christian Urban <urbanc@in.tum.de>
parents: 318
diff changeset
   609
} 
318
f1215a72cd88 updated
Christian Urban <urbanc@in.tum.de>
parents: 223
diff changeset
   610
320
90aed247c8cf updated
Christian Urban <urbanc@in.tum.de>
parents: 318
diff changeset
   611
parse_date("2019-11-26")
90aed247c8cf updated
Christian Urban <urbanc@in.tum.de>
parents: 318
diff changeset
   612
parse_date("26/11/2019")
90aed247c8cf updated
Christian Urban <urbanc@in.tum.de>
parents: 318
diff changeset
   613
parse_date("26.11.2019")
90aed247c8cf updated
Christian Urban <urbanc@in.tum.de>
parents: 318
diff changeset
   614
90aed247c8cf updated
Christian Urban <urbanc@in.tum.de>
parents: 318
diff changeset
   615
478
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   616
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   617
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   618
// Map type (upper-case)
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   619
//=======================
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   620
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   621
// Note the difference between map and Map
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   622
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   623
val m = Map(1 -> "one", 2 -> "two", 10 -> "many")
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   624
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   625
List((1, "one"), (2, "two"), (10, "many")).toMap
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   626
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   627
m.get(1)
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   628
m.get(4)
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   629
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   630
m.getOrElse(1, "")
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   631
m.getOrElse(4, "")
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   632
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   633
val new_m = m + (10 -> "ten")
320
90aed247c8cf updated
Christian Urban <urbanc@in.tum.de>
parents: 318
diff changeset
   634
478
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   635
new_m.get(10)
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   636
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   637
val m2 = for ((k, v) <- m) yield (k, v.toUpperCase)
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   638
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   639
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   640
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   641
// groupBy function on Maps
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   642
val lst = List("one", "two", "three", "four", "five")
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   643
lst.groupBy(_.head)
320
90aed247c8cf updated
Christian Urban <urbanc@in.tum.de>
parents: 318
diff changeset
   644
478
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   645
lst.groupBy(_.length)
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   646
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   647
lst.groupBy(_.length).get(3)
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   648
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   649
val grps = lst.groupBy(_.length)
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   650
grps.keySet
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   651
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   652
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   653
320
90aed247c8cf updated
Christian Urban <urbanc@in.tum.de>
parents: 318
diff changeset
   654
90aed247c8cf updated
Christian Urban <urbanc@in.tum.de>
parents: 318
diff changeset
   655
// Tail recursion
90aed247c8cf updated
Christian Urban <urbanc@in.tum.de>
parents: 318
diff changeset
   656
//================
90aed247c8cf updated
Christian Urban <urbanc@in.tum.de>
parents: 318
diff changeset
   657
375
d886c0fd7374 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 374
diff changeset
   658
def fact(n: BigInt): BigInt = 
320
90aed247c8cf updated
Christian Urban <urbanc@in.tum.de>
parents: 318
diff changeset
   659
  if (n == 0) 1 else n * fact(n - 1)
90aed247c8cf updated
Christian Urban <urbanc@in.tum.de>
parents: 318
diff changeset
   660
90aed247c8cf updated
Christian Urban <urbanc@in.tum.de>
parents: 318
diff changeset
   661
fact(10)              //ok
90aed247c8cf updated
Christian Urban <urbanc@in.tum.de>
parents: 318
diff changeset
   662
fact(10000)           // produces a stackoverflow
90aed247c8cf updated
Christian Urban <urbanc@in.tum.de>
parents: 318
diff changeset
   663
375
d886c0fd7374 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 374
diff changeset
   664
320
90aed247c8cf updated
Christian Urban <urbanc@in.tum.de>
parents: 318
diff changeset
   665
def factT(n: BigInt, acc: BigInt): BigInt =
90aed247c8cf updated
Christian Urban <urbanc@in.tum.de>
parents: 318
diff changeset
   666
  if (n == 0) acc else factT(n - 1, n * acc)
90aed247c8cf updated
Christian Urban <urbanc@in.tum.de>
parents: 318
diff changeset
   667
90aed247c8cf updated
Christian Urban <urbanc@in.tum.de>
parents: 318
diff changeset
   668
factT(10, 1)
90aed247c8cf updated
Christian Urban <urbanc@in.tum.de>
parents: 318
diff changeset
   669
println(factT(100000, 1))
90aed247c8cf updated
Christian Urban <urbanc@in.tum.de>
parents: 318
diff changeset
   670
90aed247c8cf updated
Christian Urban <urbanc@in.tum.de>
parents: 318
diff changeset
   671
// there is a flag for ensuring a function is tail recursive
90aed247c8cf updated
Christian Urban <urbanc@in.tum.de>
parents: 318
diff changeset
   672
import scala.annotation.tailrec
90aed247c8cf updated
Christian Urban <urbanc@in.tum.de>
parents: 318
diff changeset
   673
90aed247c8cf updated
Christian Urban <urbanc@in.tum.de>
parents: 318
diff changeset
   674
@tailrec
90aed247c8cf updated
Christian Urban <urbanc@in.tum.de>
parents: 318
diff changeset
   675
def factT(n: BigInt, acc: BigInt): BigInt =
90aed247c8cf updated
Christian Urban <urbanc@in.tum.de>
parents: 318
diff changeset
   676
  if (n == 0) acc else factT(n - 1, n * acc)
90aed247c8cf updated
Christian Urban <urbanc@in.tum.de>
parents: 318
diff changeset
   677
90aed247c8cf updated
Christian Urban <urbanc@in.tum.de>
parents: 318
diff changeset
   678
90aed247c8cf updated
Christian Urban <urbanc@in.tum.de>
parents: 318
diff changeset
   679
90aed247c8cf updated
Christian Urban <urbanc@in.tum.de>
parents: 318
diff changeset
   680
// for tail-recursive functions the Scala compiler
90aed247c8cf updated
Christian Urban <urbanc@in.tum.de>
parents: 318
diff changeset
   681
// generates loop-like code, which does not need
90aed247c8cf updated
Christian Urban <urbanc@in.tum.de>
parents: 318
diff changeset
   682
// to allocate stack-space in each recursive
90aed247c8cf updated
Christian Urban <urbanc@in.tum.de>
parents: 318
diff changeset
   683
// call; Scala can do this only for tail-recursive
90aed247c8cf updated
Christian Urban <urbanc@in.tum.de>
parents: 318
diff changeset
   684
// functions
90aed247c8cf updated
Christian Urban <urbanc@in.tum.de>
parents: 318
diff changeset
   685
375
d886c0fd7374 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 374
diff changeset
   686
def length(xs: List[Int]) : Int = xs match {
d886c0fd7374 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 374
diff changeset
   687
  case Nil => 0
d886c0fd7374 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 374
diff changeset
   688
  case _ :: tail => 1 + length(tail)
d886c0fd7374 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 374
diff changeset
   689
}
366
d2f895c1dba6 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 364
diff changeset
   690
375
d886c0fd7374 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 374
diff changeset
   691
@tailrec
d886c0fd7374 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 374
diff changeset
   692
def lengthT(xs: List[Int], acc : Int) : Int = xs match {
d886c0fd7374 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 374
diff changeset
   693
  case Nil => acc
d886c0fd7374 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 374
diff changeset
   694
  case _ :: tail => lengthT(tail, 1 + acc)
d886c0fd7374 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 374
diff changeset
   695
}
d886c0fd7374 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 374
diff changeset
   696
d886c0fd7374 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 374
diff changeset
   697
lengthT(List.fill(10000000)(1), 0)
366
d2f895c1dba6 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 364
diff changeset
   698
d2f895c1dba6 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 364
diff changeset
   699
d2f895c1dba6 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 364
diff changeset
   700
d2f895c1dba6 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 364
diff changeset
   701
478
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   702
366
d2f895c1dba6 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 364
diff changeset
   703
d2f895c1dba6 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 364
diff changeset
   704
478
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   705
// Aside: concurrency 
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   706
// scala-cli --extra-jars scala-parallel-collections_3-1.0.4.jar 
366
d2f895c1dba6 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 364
diff changeset
   707
478
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   708
for (n <- (1 to 10)) println(n)
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   709
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   710
import scala.collection.parallel.CollectionConverters._
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   711
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   712
for (n <- (1 to 10).par) println(n)
366
d2f895c1dba6 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 364
diff changeset
   713
d2f895c1dba6 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 364
diff changeset
   714
478
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   715
// for measuring time
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   716
def time_needed[T](n: Int, code: => T) = {
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   717
  val start = System.nanoTime()
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   718
  for (i <- (0 to n)) code
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   719
  val end = System.nanoTime()
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   720
  (end - start) / 1.0e9
366
d2f895c1dba6 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 364
diff changeset
   721
}
d2f895c1dba6 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 364
diff changeset
   722
478
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   723
val list = (1L to 10_000_000L).toList
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   724
time_needed(10, for (n <- list) yield n + 42)
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   725
time_needed(10, for (n <- list.par) yield n + 42)
366
d2f895c1dba6 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 364
diff changeset
   726
478
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   727
// ...but par does not make everything faster
158
f60e0908f80b updated
Christian Urban <urbanc@in.tum.de>
parents: 155
diff changeset
   728
478
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   729
list.sum
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   730
list.par.sum
67
ca5884c2e3bd updated
Christian Urban <urbanc@in.tum.de>
parents: 53
diff changeset
   731
478
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   732
time_needed(10, list.sum)
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   733
time_needed(10, list.par.sum)
158
f60e0908f80b updated
Christian Urban <urbanc@in.tum.de>
parents: 155
diff changeset
   734
f60e0908f80b updated
Christian Urban <urbanc@in.tum.de>
parents: 155
diff changeset
   735
478
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   736
// Mutable vs Immutable
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   737
//======================
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   738
//
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   739
// Remember:
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   740
// - no vars, no ++i, no +=
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   741
// - no mutable data-structures (no Arrays, no ListBuffers)
158
f60e0908f80b updated
Christian Urban <urbanc@in.tum.de>
parents: 155
diff changeset
   742
478
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   743
// But what the heck....lets try to count to 1 Mio in parallel
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   744
// 
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   745
// requires
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   746
// scala-cli --extra-jars scala- parallel-collections_3-1.0.4.jar
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   747
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   748
import scala.collection.parallel.CollectionConverters._
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   749
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   750
def test() = {
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   751
  var cnt = 0
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   752
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   753
  for(i <- (1 to 100_000).par) cnt += 1
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   754
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   755
  println(s"Should be 100000: $cnt")
67
ca5884c2e3bd updated
Christian Urban <urbanc@in.tum.de>
parents: 53
diff changeset
   756
}
ca5884c2e3bd updated
Christian Urban <urbanc@in.tum.de>
parents: 53
diff changeset
   757
478
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   758
test()
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   759
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   760
// Or
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   761
// Q: Count how many elements are in the intersections of 
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   762
//    two sets?
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   763
// A; IMPROPER WAY (mutable counter)
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   764
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   765
def count_intersection(A: Set[Int], B: Set[Int]) : Int = {
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   766
  var count = 0
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   767
  for (x <- A.par; if B contains x) count += 1 
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   768
  count
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   769
}
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   770
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   771
val A = (0 to 999).toSet
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   772
val B = (0 to 999 by 4).toSet
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   773
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   774
count_intersection(A, B)
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   775
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   776
// but do not try to add .par to the for-loop above
217
bc92320b41d3 updated
Christian Urban <urbanc@in.tum.de>
parents: 194
diff changeset
   777
158
f60e0908f80b updated
Christian Urban <urbanc@in.tum.de>
parents: 155
diff changeset
   778
478
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   779
//propper parallel version
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   780
def count_intersection2(A: Set[Int], B: Set[Int]) : Int = 
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   781
  A.par.count(x => B contains x)
155
eccf17f56922 updated
Christian Urban <urbanc@in.tum.de>
parents: 153
diff changeset
   782
478
0e6ca70496c1 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 446
diff changeset
   783
count_intersection2(A, B)
67
ca5884c2e3bd updated
Christian Urban <urbanc@in.tum.de>
parents: 53
diff changeset
   784
77
3cbe3d90b77f updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 73
diff changeset
   785