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