progs/lecture5.scala
author Christian Urban <christian.urban@kcl.ac.uk>
Sat, 23 Sep 2023 23:49:44 +0100
changeset 467 1b879b3e704e
parent 452 ee348feb4c37
child 478 0e6ca70496c1
permissions -rw-r--r--
updated
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
238
25d896ada26c updated
updated
parents: 226
diff changeset
     1
// Scala Lecture 5
222
ec9cbf969edf updated
Christian Urban <urbanc@in.tum.de>
parents: 218
diff changeset
     2
//=================
ec9cbf969edf updated
Christian Urban <urbanc@in.tum.de>
parents: 218
diff changeset
     3
326
7d983ee99fcc updated
Christian Urban <urbanc@in.tum.de>
parents: 247
diff changeset
     4
// (Immutable)
7d983ee99fcc updated
Christian Urban <urbanc@in.tum.de>
parents: 247
diff changeset
     5
// Object Oriented Programming in Scala
7d983ee99fcc updated
Christian Urban <urbanc@in.tum.de>
parents: 247
diff changeset
     6
// =====================================
238
25d896ada26c updated
updated
parents: 226
diff changeset
     7
329
828326d1b3b2 updated
Christian Urban <urbanc@in.tum.de>
parents: 328
diff changeset
     8
828326d1b3b2 updated
Christian Urban <urbanc@in.tum.de>
parents: 328
diff changeset
     9
abstract class Animal 
326
7d983ee99fcc updated
Christian Urban <urbanc@in.tum.de>
parents: 247
diff changeset
    10
case class Bird(name: String) extends Animal {
7d983ee99fcc updated
Christian Urban <urbanc@in.tum.de>
parents: 247
diff changeset
    11
   override def toString = name
7d983ee99fcc updated
Christian Urban <urbanc@in.tum.de>
parents: 247
diff changeset
    12
}
7d983ee99fcc updated
Christian Urban <urbanc@in.tum.de>
parents: 247
diff changeset
    13
case class Mammal(name: String) extends Animal
7d983ee99fcc updated
Christian Urban <urbanc@in.tum.de>
parents: 247
diff changeset
    14
case class Reptile(name: String) extends Animal
7d983ee99fcc updated
Christian Urban <urbanc@in.tum.de>
parents: 247
diff changeset
    15
7d983ee99fcc updated
Christian Urban <urbanc@in.tum.de>
parents: 247
diff changeset
    16
Mammal("Zebra")
7d983ee99fcc updated
Christian Urban <urbanc@in.tum.de>
parents: 247
diff changeset
    17
println(Mammal("Zebra"))
7d983ee99fcc updated
Christian Urban <urbanc@in.tum.de>
parents: 247
diff changeset
    18
println(Mammal("Zebra").toString)
7d983ee99fcc updated
Christian Urban <urbanc@in.tum.de>
parents: 247
diff changeset
    19
238
25d896ada26c updated
updated
parents: 226
diff changeset
    20
326
7d983ee99fcc updated
Christian Urban <urbanc@in.tum.de>
parents: 247
diff changeset
    21
Bird("Sparrow")
7d983ee99fcc updated
Christian Urban <urbanc@in.tum.de>
parents: 247
diff changeset
    22
println(Bird("Sparrow"))
7d983ee99fcc updated
Christian Urban <urbanc@in.tum.de>
parents: 247
diff changeset
    23
println(Bird("Sparrow").toString)
7d983ee99fcc updated
Christian Urban <urbanc@in.tum.de>
parents: 247
diff changeset
    24
383
72d6a4af4b4a updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 380
diff changeset
    25
Bird("Sparrow").copy(name = "House Sparrow")
72d6a4af4b4a updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 380
diff changeset
    26
72d6a4af4b4a updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 380
diff changeset
    27
def group(a : Animal) = a match {
72d6a4af4b4a updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 380
diff changeset
    28
  case Bird(_) => "It's a bird"
72d6a4af4b4a updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 380
diff changeset
    29
  case Mammal(_) => "It's a mammal"
72d6a4af4b4a updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 380
diff changeset
    30
}
72d6a4af4b4a updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 380
diff changeset
    31
326
7d983ee99fcc updated
Christian Urban <urbanc@in.tum.de>
parents: 247
diff changeset
    32
7d983ee99fcc updated
Christian Urban <urbanc@in.tum.de>
parents: 247
diff changeset
    33
// There is a very convenient short-hand notation
7d983ee99fcc updated
Christian Urban <urbanc@in.tum.de>
parents: 247
diff changeset
    34
// for constructors:
7d983ee99fcc updated
Christian Urban <urbanc@in.tum.de>
parents: 247
diff changeset
    35
7d983ee99fcc updated
Christian Urban <urbanc@in.tum.de>
parents: 247
diff changeset
    36
class Fraction(x: Int, y: Int) {
7d983ee99fcc updated
Christian Urban <urbanc@in.tum.de>
parents: 247
diff changeset
    37
  def numer = x
7d983ee99fcc updated
Christian Urban <urbanc@in.tum.de>
parents: 247
diff changeset
    38
  def denom = y
238
25d896ada26c updated
updated
parents: 226
diff changeset
    39
}
25d896ada26c updated
updated
parents: 226
diff changeset
    40
326
7d983ee99fcc updated
Christian Urban <urbanc@in.tum.de>
parents: 247
diff changeset
    41
val half = new Fraction(1, 2)
383
72d6a4af4b4a updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 380
diff changeset
    42
half.numer
326
7d983ee99fcc updated
Christian Urban <urbanc@in.tum.de>
parents: 247
diff changeset
    43
7d983ee99fcc updated
Christian Urban <urbanc@in.tum.de>
parents: 247
diff changeset
    44
case class Fraction(numer: Int, denom: Int)
7d983ee99fcc updated
Christian Urban <urbanc@in.tum.de>
parents: 247
diff changeset
    45
7d983ee99fcc updated
Christian Urban <urbanc@in.tum.de>
parents: 247
diff changeset
    46
val half = Fraction(1, 2)
7d983ee99fcc updated
Christian Urban <urbanc@in.tum.de>
parents: 247
diff changeset
    47
383
72d6a4af4b4a updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 380
diff changeset
    48
half.numer
326
7d983ee99fcc updated
Christian Urban <urbanc@in.tum.de>
parents: 247
diff changeset
    49
half.denom
7d983ee99fcc updated
Christian Urban <urbanc@in.tum.de>
parents: 247
diff changeset
    50
7d983ee99fcc updated
Christian Urban <urbanc@in.tum.de>
parents: 247
diff changeset
    51
7d983ee99fcc updated
Christian Urban <urbanc@in.tum.de>
parents: 247
diff changeset
    52
// In mandelbrot.scala I used complex (imaginary) numbers 
7d983ee99fcc updated
Christian Urban <urbanc@in.tum.de>
parents: 247
diff changeset
    53
// and implemented the usual arithmetic operations for complex 
7d983ee99fcc updated
Christian Urban <urbanc@in.tum.de>
parents: 247
diff changeset
    54
// numbers.
7d983ee99fcc updated
Christian Urban <urbanc@in.tum.de>
parents: 247
diff changeset
    55
7d983ee99fcc updated
Christian Urban <urbanc@in.tum.de>
parents: 247
diff changeset
    56
case class Complex(re: Double, im: Double) { 
7d983ee99fcc updated
Christian Urban <urbanc@in.tum.de>
parents: 247
diff changeset
    57
  // represents the complex number re + im * i
452
ee348feb4c37 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 415
diff changeset
    58
  def foo(that: Complex) = Complex(this.re + that.re, this.im + that.im)
326
7d983ee99fcc updated
Christian Urban <urbanc@in.tum.de>
parents: 247
diff changeset
    59
  def -(that: Complex) = Complex(this.re - that.re, this.im - that.im)
7d983ee99fcc updated
Christian Urban <urbanc@in.tum.de>
parents: 247
diff changeset
    60
  def *(that: Complex) = Complex(this.re * that.re - this.im * that.im,
7d983ee99fcc updated
Christian Urban <urbanc@in.tum.de>
parents: 247
diff changeset
    61
                                 this.re * that.im + that.re * this.im)
7d983ee99fcc updated
Christian Urban <urbanc@in.tum.de>
parents: 247
diff changeset
    62
  def *(that: Double) = Complex(this.re * that, this.im * that)
7d983ee99fcc updated
Christian Urban <urbanc@in.tum.de>
parents: 247
diff changeset
    63
  def abs = Math.sqrt(this.re * this.re + this.im * this.im)
7d983ee99fcc updated
Christian Urban <urbanc@in.tum.de>
parents: 247
diff changeset
    64
}
7d983ee99fcc updated
Christian Urban <urbanc@in.tum.de>
parents: 247
diff changeset
    65
452
ee348feb4c37 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 415
diff changeset
    66
object.method(....)
ee348feb4c37 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 415
diff changeset
    67
326
7d983ee99fcc updated
Christian Urban <urbanc@in.tum.de>
parents: 247
diff changeset
    68
val test = Complex(1, 2) + Complex (3, 4)
7d983ee99fcc updated
Christian Urban <urbanc@in.tum.de>
parents: 247
diff changeset
    69
383
72d6a4af4b4a updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 380
diff changeset
    70
import scala.language.postfixOps
452
ee348feb4c37 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 415
diff changeset
    71
(List(5,4,3,2,1) sorted) reverse
383
72d6a4af4b4a updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 380
diff changeset
    72
326
7d983ee99fcc updated
Christian Urban <urbanc@in.tum.de>
parents: 247
diff changeset
    73
// this could have equally been written as
7d983ee99fcc updated
Christian Urban <urbanc@in.tum.de>
parents: 247
diff changeset
    74
val test = Complex(1, 2).+(Complex (3, 4))
7d983ee99fcc updated
Christian Urban <urbanc@in.tum.de>
parents: 247
diff changeset
    75
7d983ee99fcc updated
Christian Urban <urbanc@in.tum.de>
parents: 247
diff changeset
    76
// this applies to all methods, but requires
7d983ee99fcc updated
Christian Urban <urbanc@in.tum.de>
parents: 247
diff changeset
    77
import scala.language.postfixOps
7d983ee99fcc updated
Christian Urban <urbanc@in.tum.de>
parents: 247
diff changeset
    78
7d983ee99fcc updated
Christian Urban <urbanc@in.tum.de>
parents: 247
diff changeset
    79
List(5, 2, 3, 4).sorted
7d983ee99fcc updated
Christian Urban <urbanc@in.tum.de>
parents: 247
diff changeset
    80
List(5, 2, 3, 4) sorted
7d983ee99fcc updated
Christian Urban <urbanc@in.tum.de>
parents: 247
diff changeset
    81
7d983ee99fcc updated
Christian Urban <urbanc@in.tum.de>
parents: 247
diff changeset
    82
7d983ee99fcc updated
Christian Urban <urbanc@in.tum.de>
parents: 247
diff changeset
    83
// ...to allow the notation n + m * i
7d983ee99fcc updated
Christian Urban <urbanc@in.tum.de>
parents: 247
diff changeset
    84
import scala.language.implicitConversions   
7d983ee99fcc updated
Christian Urban <urbanc@in.tum.de>
parents: 247
diff changeset
    85
7d983ee99fcc updated
Christian Urban <urbanc@in.tum.de>
parents: 247
diff changeset
    86
val i = Complex(0, 1)
7d983ee99fcc updated
Christian Urban <urbanc@in.tum.de>
parents: 247
diff changeset
    87
implicit def double2complex(re: Double) = Complex(re, 0)
7d983ee99fcc updated
Christian Urban <urbanc@in.tum.de>
parents: 247
diff changeset
    88
238
25d896ada26c updated
updated
parents: 226
diff changeset
    89
326
7d983ee99fcc updated
Christian Urban <urbanc@in.tum.de>
parents: 247
diff changeset
    90
val inum1 = -2.0 + -1.5 * i
7d983ee99fcc updated
Christian Urban <urbanc@in.tum.de>
parents: 247
diff changeset
    91
val inum2 =  1.0 +  1.5 * i
7d983ee99fcc updated
Christian Urban <urbanc@in.tum.de>
parents: 247
diff changeset
    92
7d983ee99fcc updated
Christian Urban <urbanc@in.tum.de>
parents: 247
diff changeset
    93
7d983ee99fcc updated
Christian Urban <urbanc@in.tum.de>
parents: 247
diff changeset
    94
7d983ee99fcc updated
Christian Urban <urbanc@in.tum.de>
parents: 247
diff changeset
    95
// All is public by default....so no public is needed.
7d983ee99fcc updated
Christian Urban <urbanc@in.tum.de>
parents: 247
diff changeset
    96
// You can have the usual restrictions about private 
7d983ee99fcc updated
Christian Urban <urbanc@in.tum.de>
parents: 247
diff changeset
    97
// values and methods, if you are MUTABLE !!!
7d983ee99fcc updated
Christian Urban <urbanc@in.tum.de>
parents: 247
diff changeset
    98
7d983ee99fcc updated
Christian Urban <urbanc@in.tum.de>
parents: 247
diff changeset
    99
case class BankAccount(init: Int) {
7d983ee99fcc updated
Christian Urban <urbanc@in.tum.de>
parents: 247
diff changeset
   100
7d983ee99fcc updated
Christian Urban <urbanc@in.tum.de>
parents: 247
diff changeset
   101
  private var balance = init
7d983ee99fcc updated
Christian Urban <urbanc@in.tum.de>
parents: 247
diff changeset
   102
7d983ee99fcc updated
Christian Urban <urbanc@in.tum.de>
parents: 247
diff changeset
   103
  def deposit(amount: Int): Unit = {
7d983ee99fcc updated
Christian Urban <urbanc@in.tum.de>
parents: 247
diff changeset
   104
    if (amount > 0) balance = balance + amount
7d983ee99fcc updated
Christian Urban <urbanc@in.tum.de>
parents: 247
diff changeset
   105
  }
238
25d896ada26c updated
updated
parents: 226
diff changeset
   106
326
7d983ee99fcc updated
Christian Urban <urbanc@in.tum.de>
parents: 247
diff changeset
   107
  def withdraw(amount: Int): Int =
7d983ee99fcc updated
Christian Urban <urbanc@in.tum.de>
parents: 247
diff changeset
   108
    if (0 < amount && amount <= balance) {
7d983ee99fcc updated
Christian Urban <urbanc@in.tum.de>
parents: 247
diff changeset
   109
      balance = balance - amount
7d983ee99fcc updated
Christian Urban <urbanc@in.tum.de>
parents: 247
diff changeset
   110
      balance
7d983ee99fcc updated
Christian Urban <urbanc@in.tum.de>
parents: 247
diff changeset
   111
    } else throw new Error("insufficient funds")
238
25d896ada26c updated
updated
parents: 226
diff changeset
   112
}
25d896ada26c updated
updated
parents: 226
diff changeset
   113
326
7d983ee99fcc updated
Christian Urban <urbanc@in.tum.de>
parents: 247
diff changeset
   114
// BUT since we are completely IMMUTABLE, this is 
383
72d6a4af4b4a updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 380
diff changeset
   115
// virtually of no concern to us.
326
7d983ee99fcc updated
Christian Urban <urbanc@in.tum.de>
parents: 247
diff changeset
   116
7d983ee99fcc updated
Christian Urban <urbanc@in.tum.de>
parents: 247
diff changeset
   117
7d983ee99fcc updated
Christian Urban <urbanc@in.tum.de>
parents: 247
diff changeset
   118
7d983ee99fcc updated
Christian Urban <urbanc@in.tum.de>
parents: 247
diff changeset
   119
// another example about Fractions
7d983ee99fcc updated
Christian Urban <urbanc@in.tum.de>
parents: 247
diff changeset
   120
import scala.language.implicitConversions
7d983ee99fcc updated
Christian Urban <urbanc@in.tum.de>
parents: 247
diff changeset
   121
import scala.language.reflectiveCalls
7d983ee99fcc updated
Christian Urban <urbanc@in.tum.de>
parents: 247
diff changeset
   122
7d983ee99fcc updated
Christian Urban <urbanc@in.tum.de>
parents: 247
diff changeset
   123
case class Fraction(numer: Int, denom: Int) {
7d983ee99fcc updated
Christian Urban <urbanc@in.tum.de>
parents: 247
diff changeset
   124
  override def toString = numer.toString + "/" + denom.toString
7d983ee99fcc updated
Christian Urban <urbanc@in.tum.de>
parents: 247
diff changeset
   125
383
72d6a4af4b4a updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 380
diff changeset
   126
  def +(other: Fraction) = 
72d6a4af4b4a updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 380
diff changeset
   127
    Fraction(numer * other.denom + other.numer * denom, 
72d6a4af4b4a updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 380
diff changeset
   128
             denom * other.denom)
72d6a4af4b4a updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 380
diff changeset
   129
  def *(other: Fraction) = Fraction(numer * other.numer, denom * other.denom)
326
7d983ee99fcc updated
Christian Urban <urbanc@in.tum.de>
parents: 247
diff changeset
   130
 }
7d983ee99fcc updated
Christian Urban <urbanc@in.tum.de>
parents: 247
diff changeset
   131
7d983ee99fcc updated
Christian Urban <urbanc@in.tum.de>
parents: 247
diff changeset
   132
implicit def Int2Fraction(x: Int) = Fraction(x, 1)
7d983ee99fcc updated
Christian Urban <urbanc@in.tum.de>
parents: 247
diff changeset
   133
7d983ee99fcc updated
Christian Urban <urbanc@in.tum.de>
parents: 247
diff changeset
   134
val half = Fraction(1, 2)
7d983ee99fcc updated
Christian Urban <urbanc@in.tum.de>
parents: 247
diff changeset
   135
val third = Fraction (1, 3)
7d983ee99fcc updated
Christian Urban <urbanc@in.tum.de>
parents: 247
diff changeset
   136
7d983ee99fcc updated
Christian Urban <urbanc@in.tum.de>
parents: 247
diff changeset
   137
half + third
383
72d6a4af4b4a updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 380
diff changeset
   138
half * third
326
7d983ee99fcc updated
Christian Urban <urbanc@in.tum.de>
parents: 247
diff changeset
   139
383
72d6a4af4b4a updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 380
diff changeset
   140
1 + half
72d6a4af4b4a updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 380
diff changeset
   141
72d6a4af4b4a updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 380
diff changeset
   142
326
7d983ee99fcc updated
Christian Urban <urbanc@in.tum.de>
parents: 247
diff changeset
   143
7d983ee99fcc updated
Christian Urban <urbanc@in.tum.de>
parents: 247
diff changeset
   144
7d983ee99fcc updated
Christian Urban <urbanc@in.tum.de>
parents: 247
diff changeset
   145
// DFAs in Scala  
7d983ee99fcc updated
Christian Urban <urbanc@in.tum.de>
parents: 247
diff changeset
   146
//===============
7d983ee99fcc updated
Christian Urban <urbanc@in.tum.de>
parents: 247
diff changeset
   147
import scala.util.Try
238
25d896ada26c updated
updated
parents: 226
diff changeset
   148
326
7d983ee99fcc updated
Christian Urban <urbanc@in.tum.de>
parents: 247
diff changeset
   149
7d983ee99fcc updated
Christian Urban <urbanc@in.tum.de>
parents: 247
diff changeset
   150
// A is the state type
7d983ee99fcc updated
Christian Urban <urbanc@in.tum.de>
parents: 247
diff changeset
   151
// C is the input (usually characters)
7d983ee99fcc updated
Christian Urban <urbanc@in.tum.de>
parents: 247
diff changeset
   152
7d983ee99fcc updated
Christian Urban <urbanc@in.tum.de>
parents: 247
diff changeset
   153
case class DFA[A, C](start: A,              // starting state
7d983ee99fcc updated
Christian Urban <urbanc@in.tum.de>
parents: 247
diff changeset
   154
                     delta: (A, C) => A,    // transition function
7d983ee99fcc updated
Christian Urban <urbanc@in.tum.de>
parents: 247
diff changeset
   155
                     fins:  A => Boolean) { // final states (Set)
7d983ee99fcc updated
Christian Urban <urbanc@in.tum.de>
parents: 247
diff changeset
   156
7d983ee99fcc updated
Christian Urban <urbanc@in.tum.de>
parents: 247
diff changeset
   157
  def deltas(q: A, s: List[C]) : A = s match {
7d983ee99fcc updated
Christian Urban <urbanc@in.tum.de>
parents: 247
diff changeset
   158
    case Nil => q
7d983ee99fcc updated
Christian Urban <urbanc@in.tum.de>
parents: 247
diff changeset
   159
    case c::cs => deltas(delta(q, c), cs)
7d983ee99fcc updated
Christian Urban <urbanc@in.tum.de>
parents: 247
diff changeset
   160
  }
7d983ee99fcc updated
Christian Urban <urbanc@in.tum.de>
parents: 247
diff changeset
   161
7d983ee99fcc updated
Christian Urban <urbanc@in.tum.de>
parents: 247
diff changeset
   162
  def accepts(s: List[C]) : Boolean = 
383
72d6a4af4b4a updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 380
diff changeset
   163
    Try(fins(deltas(start, s))).getOrElse(false)
238
25d896ada26c updated
updated
parents: 226
diff changeset
   164
}
25d896ada26c updated
updated
parents: 226
diff changeset
   165
326
7d983ee99fcc updated
Christian Urban <urbanc@in.tum.de>
parents: 247
diff changeset
   166
// the example shown in the handout 
7d983ee99fcc updated
Christian Urban <urbanc@in.tum.de>
parents: 247
diff changeset
   167
abstract class State
7d983ee99fcc updated
Christian Urban <urbanc@in.tum.de>
parents: 247
diff changeset
   168
case object Q0 extends State
7d983ee99fcc updated
Christian Urban <urbanc@in.tum.de>
parents: 247
diff changeset
   169
case object Q1 extends State
7d983ee99fcc updated
Christian Urban <urbanc@in.tum.de>
parents: 247
diff changeset
   170
case object Q2 extends State
7d983ee99fcc updated
Christian Urban <urbanc@in.tum.de>
parents: 247
diff changeset
   171
case object Q3 extends State
7d983ee99fcc updated
Christian Urban <urbanc@in.tum.de>
parents: 247
diff changeset
   172
case object Q4 extends State
238
25d896ada26c updated
updated
parents: 226
diff changeset
   173
326
7d983ee99fcc updated
Christian Urban <urbanc@in.tum.de>
parents: 247
diff changeset
   174
val delta : (State, Char) => State = 
7d983ee99fcc updated
Christian Urban <urbanc@in.tum.de>
parents: 247
diff changeset
   175
  { case (Q0, 'a') => Q1
7d983ee99fcc updated
Christian Urban <urbanc@in.tum.de>
parents: 247
diff changeset
   176
    case (Q0, 'b') => Q2
7d983ee99fcc updated
Christian Urban <urbanc@in.tum.de>
parents: 247
diff changeset
   177
    case (Q1, 'a') => Q4
7d983ee99fcc updated
Christian Urban <urbanc@in.tum.de>
parents: 247
diff changeset
   178
    case (Q1, 'b') => Q2
7d983ee99fcc updated
Christian Urban <urbanc@in.tum.de>
parents: 247
diff changeset
   179
    case (Q2, 'a') => Q3
7d983ee99fcc updated
Christian Urban <urbanc@in.tum.de>
parents: 247
diff changeset
   180
    case (Q2, 'b') => Q2
7d983ee99fcc updated
Christian Urban <urbanc@in.tum.de>
parents: 247
diff changeset
   181
    case (Q3, 'a') => Q4
7d983ee99fcc updated
Christian Urban <urbanc@in.tum.de>
parents: 247
diff changeset
   182
    case (Q3, 'b') => Q0
7d983ee99fcc updated
Christian Urban <urbanc@in.tum.de>
parents: 247
diff changeset
   183
    case (Q4, 'a') => Q4
7d983ee99fcc updated
Christian Urban <urbanc@in.tum.de>
parents: 247
diff changeset
   184
    case (Q4, 'b') => Q4 
7d983ee99fcc updated
Christian Urban <urbanc@in.tum.de>
parents: 247
diff changeset
   185
    case _ => throw new Exception("Undefined") }
7d983ee99fcc updated
Christian Urban <urbanc@in.tum.de>
parents: 247
diff changeset
   186
7d983ee99fcc updated
Christian Urban <urbanc@in.tum.de>
parents: 247
diff changeset
   187
val dfa = DFA(Q0, delta, Set[State](Q4))
7d983ee99fcc updated
Christian Urban <urbanc@in.tum.de>
parents: 247
diff changeset
   188
7d983ee99fcc updated
Christian Urban <urbanc@in.tum.de>
parents: 247
diff changeset
   189
dfa.accepts("abaaa".toList)     // true
7d983ee99fcc updated
Christian Urban <urbanc@in.tum.de>
parents: 247
diff changeset
   190
dfa.accepts("bbabaab".toList)   // true
7d983ee99fcc updated
Christian Urban <urbanc@in.tum.de>
parents: 247
diff changeset
   191
dfa.accepts("baba".toList)      // false
7d983ee99fcc updated
Christian Urban <urbanc@in.tum.de>
parents: 247
diff changeset
   192
dfa.accepts("abc".toList)       // false
7d983ee99fcc updated
Christian Urban <urbanc@in.tum.de>
parents: 247
diff changeset
   193
238
25d896ada26c updated
updated
parents: 226
diff changeset
   194
326
7d983ee99fcc updated
Christian Urban <urbanc@in.tum.de>
parents: 247
diff changeset
   195
// NFAs (Nondeterministic Finite Automata)
7d983ee99fcc updated
Christian Urban <urbanc@in.tum.de>
parents: 247
diff changeset
   196
7d983ee99fcc updated
Christian Urban <urbanc@in.tum.de>
parents: 247
diff changeset
   197
7d983ee99fcc updated
Christian Urban <urbanc@in.tum.de>
parents: 247
diff changeset
   198
case class NFA[A, C](starts: Set[A],          // starting states
7d983ee99fcc updated
Christian Urban <urbanc@in.tum.de>
parents: 247
diff changeset
   199
                     delta: (A, C) => Set[A], // transition function
7d983ee99fcc updated
Christian Urban <urbanc@in.tum.de>
parents: 247
diff changeset
   200
                     fins:  A => Boolean) {   // final states 
7d983ee99fcc updated
Christian Urban <urbanc@in.tum.de>
parents: 247
diff changeset
   201
7d983ee99fcc updated
Christian Urban <urbanc@in.tum.de>
parents: 247
diff changeset
   202
  // given a state and a character, what is the set of 
7d983ee99fcc updated
Christian Urban <urbanc@in.tum.de>
parents: 247
diff changeset
   203
  // next states? if there is none => empty set
7d983ee99fcc updated
Christian Urban <urbanc@in.tum.de>
parents: 247
diff changeset
   204
  def next(q: A, c: C) : Set[A] = 
383
72d6a4af4b4a updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 380
diff changeset
   205
    Try(delta(q, c)).getOrElse(Set[A]()) 
326
7d983ee99fcc updated
Christian Urban <urbanc@in.tum.de>
parents: 247
diff changeset
   206
7d983ee99fcc updated
Christian Urban <urbanc@in.tum.de>
parents: 247
diff changeset
   207
  def nexts(qs: Set[A], c: C) : Set[A] =
7d983ee99fcc updated
Christian Urban <urbanc@in.tum.de>
parents: 247
diff changeset
   208
    qs.flatMap(next(_, c))
7d983ee99fcc updated
Christian Urban <urbanc@in.tum.de>
parents: 247
diff changeset
   209
7d983ee99fcc updated
Christian Urban <urbanc@in.tum.de>
parents: 247
diff changeset
   210
  // depth-first version of accepts
7d983ee99fcc updated
Christian Urban <urbanc@in.tum.de>
parents: 247
diff changeset
   211
  def search(q: A, s: List[C]) : Boolean = s match {
7d983ee99fcc updated
Christian Urban <urbanc@in.tum.de>
parents: 247
diff changeset
   212
    case Nil => fins(q)
7d983ee99fcc updated
Christian Urban <urbanc@in.tum.de>
parents: 247
diff changeset
   213
    case c::cs => next(q, c).exists(search(_, cs))
7d983ee99fcc updated
Christian Urban <urbanc@in.tum.de>
parents: 247
diff changeset
   214
  }
7d983ee99fcc updated
Christian Urban <urbanc@in.tum.de>
parents: 247
diff changeset
   215
7d983ee99fcc updated
Christian Urban <urbanc@in.tum.de>
parents: 247
diff changeset
   216
  def accepts(s: List[C]) : Boolean =
7d983ee99fcc updated
Christian Urban <urbanc@in.tum.de>
parents: 247
diff changeset
   217
    starts.exists(search(_, s))
238
25d896ada26c updated
updated
parents: 226
diff changeset
   218
}
25d896ada26c updated
updated
parents: 226
diff changeset
   219
25d896ada26c updated
updated
parents: 226
diff changeset
   220
326
7d983ee99fcc updated
Christian Urban <urbanc@in.tum.de>
parents: 247
diff changeset
   221
7d983ee99fcc updated
Christian Urban <urbanc@in.tum.de>
parents: 247
diff changeset
   222
// NFA examples
7d983ee99fcc updated
Christian Urban <urbanc@in.tum.de>
parents: 247
diff changeset
   223
7d983ee99fcc updated
Christian Urban <urbanc@in.tum.de>
parents: 247
diff changeset
   224
val nfa_trans1 : (State, Char) => Set[State] = 
7d983ee99fcc updated
Christian Urban <urbanc@in.tum.de>
parents: 247
diff changeset
   225
  { case (Q0, 'a') => Set(Q0, Q1) 
7d983ee99fcc updated
Christian Urban <urbanc@in.tum.de>
parents: 247
diff changeset
   226
    case (Q0, 'b') => Set(Q2) 
7d983ee99fcc updated
Christian Urban <urbanc@in.tum.de>
parents: 247
diff changeset
   227
    case (Q1, 'a') => Set(Q1) 
7d983ee99fcc updated
Christian Urban <urbanc@in.tum.de>
parents: 247
diff changeset
   228
    case (Q2, 'b') => Set(Q2) }
238
25d896ada26c updated
updated
parents: 226
diff changeset
   229
326
7d983ee99fcc updated
Christian Urban <urbanc@in.tum.de>
parents: 247
diff changeset
   230
val nfa = NFA(Set[State](Q0), nfa_trans1, Set[State](Q2))
238
25d896ada26c updated
updated
parents: 226
diff changeset
   231
326
7d983ee99fcc updated
Christian Urban <urbanc@in.tum.de>
parents: 247
diff changeset
   232
nfa.accepts("aa".toList)             // false
7d983ee99fcc updated
Christian Urban <urbanc@in.tum.de>
parents: 247
diff changeset
   233
nfa.accepts("aaaaa".toList)          // false
7d983ee99fcc updated
Christian Urban <urbanc@in.tum.de>
parents: 247
diff changeset
   234
nfa.accepts("aaaaab".toList)         // true
7d983ee99fcc updated
Christian Urban <urbanc@in.tum.de>
parents: 247
diff changeset
   235
nfa.accepts("aaaaabbb".toList)       // true
7d983ee99fcc updated
Christian Urban <urbanc@in.tum.de>
parents: 247
diff changeset
   236
nfa.accepts("aaaaabbbaaa".toList)    // false
7d983ee99fcc updated
Christian Urban <urbanc@in.tum.de>
parents: 247
diff changeset
   237
nfa.accepts("ac".toList)             // false
222
ec9cbf969edf updated
Christian Urban <urbanc@in.tum.de>
parents: 218
diff changeset
   238
238
25d896ada26c updated
updated
parents: 226
diff changeset
   239
326
7d983ee99fcc updated
Christian Urban <urbanc@in.tum.de>
parents: 247
diff changeset
   240
// Q: Why the kerfuffle about the polymorphic types in DFAs/NFAs?
7d983ee99fcc updated
Christian Urban <urbanc@in.tum.de>
parents: 247
diff changeset
   241
// A: Subset construction. Here the state type for the DFA is
7d983ee99fcc updated
Christian Urban <urbanc@in.tum.de>
parents: 247
diff changeset
   242
//    sets of states.
238
25d896ada26c updated
updated
parents: 226
diff changeset
   243
383
72d6a4af4b4a updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 380
diff changeset
   244
326
7d983ee99fcc updated
Christian Urban <urbanc@in.tum.de>
parents: 247
diff changeset
   245
def subset[A, C](nfa: NFA[A, C]) : DFA[Set[A], C] = {
7d983ee99fcc updated
Christian Urban <urbanc@in.tum.de>
parents: 247
diff changeset
   246
  DFA(nfa.starts, 
7d983ee99fcc updated
Christian Urban <urbanc@in.tum.de>
parents: 247
diff changeset
   247
      { case (qs, c) => nfa.nexts(qs, c) }, 
7d983ee99fcc updated
Christian Urban <urbanc@in.tum.de>
parents: 247
diff changeset
   248
      _.exists(nfa.fins))
238
25d896ada26c updated
updated
parents: 226
diff changeset
   249
}
25d896ada26c updated
updated
parents: 226
diff changeset
   250
326
7d983ee99fcc updated
Christian Urban <urbanc@in.tum.de>
parents: 247
diff changeset
   251
subset(nfa).accepts("aa".toList)             // false
7d983ee99fcc updated
Christian Urban <urbanc@in.tum.de>
parents: 247
diff changeset
   252
subset(nfa).accepts("aaaaa".toList)          // false
7d983ee99fcc updated
Christian Urban <urbanc@in.tum.de>
parents: 247
diff changeset
   253
subset(nfa).accepts("aaaaab".toList)         // true
7d983ee99fcc updated
Christian Urban <urbanc@in.tum.de>
parents: 247
diff changeset
   254
subset(nfa).accepts("aaaaabbb".toList)       // true
7d983ee99fcc updated
Christian Urban <urbanc@in.tum.de>
parents: 247
diff changeset
   255
subset(nfa).accepts("aaaaabbbaaa".toList)    // false
7d983ee99fcc updated
Christian Urban <urbanc@in.tum.de>
parents: 247
diff changeset
   256
subset(nfa).accepts("ac".toList)             // false
238
25d896ada26c updated
updated
parents: 226
diff changeset
   257
384
627a944c744b updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 383
diff changeset
   258
import scala.math.pow
627a944c744b updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 383
diff changeset
   259
627a944c744b updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 383
diff changeset
   260
452
ee348feb4c37 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 415
diff changeset
   261
// Laziness with style
ee348feb4c37 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 415
diff changeset
   262
//=====================
ee348feb4c37 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 415
diff changeset
   263
ee348feb4c37 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 415
diff changeset
   264
// The concept of lazy evaluation doesn’t really 
ee348feb4c37 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 415
diff changeset
   265
// exist in non-functional languages. C-like languages
ee348feb4c37 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 415
diff changeset
   266
// are (sort of) strict. To see the difference, consider
ee348feb4c37 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 415
diff changeset
   267
ee348feb4c37 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 415
diff changeset
   268
def square(x: Int) = x * x
ee348feb4c37 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 415
diff changeset
   269
ee348feb4c37 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 415
diff changeset
   270
square(42 + 8)
ee348feb4c37 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 415
diff changeset
   271
ee348feb4c37 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 415
diff changeset
   272
// This is called "strict evaluation".
ee348feb4c37 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 415
diff changeset
   273
467
1b879b3e704e updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 452
diff changeset
   274
// In contrast say we have a pretty expensive operation:
452
ee348feb4c37 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 415
diff changeset
   275
ee348feb4c37 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 415
diff changeset
   276
def peop(n: BigInt): Boolean = peop(n + 1) 
ee348feb4c37 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 415
diff changeset
   277
ee348feb4c37 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 415
diff changeset
   278
val a = "foo"
ee348feb4c37 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 415
diff changeset
   279
val b = "foo"
ee348feb4c37 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 415
diff changeset
   280
ee348feb4c37 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 415
diff changeset
   281
if (a == b || peop(0)) println("true") else println("false")
ee348feb4c37 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 415
diff changeset
   282
ee348feb4c37 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 415
diff changeset
   283
// This is called "lazy evaluation":
ee348feb4c37 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 415
diff changeset
   284
// you delay compuation until it is really 
ee348feb4c37 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 415
diff changeset
   285
// needed. Once calculated though, the result
ee348feb4c37 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 415
diff changeset
   286
// does not need to be re-calculated.
ee348feb4c37 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 415
diff changeset
   287
ee348feb4c37 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 415
diff changeset
   288
// A useful example is
ee348feb4c37 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 415
diff changeset
   289
ee348feb4c37 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 415
diff changeset
   290
def time_needed[T](i: Int, code: => T) = {
ee348feb4c37 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 415
diff changeset
   291
  val start = System.nanoTime()
ee348feb4c37 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 415
diff changeset
   292
  for (j <- 1 to i) code
ee348feb4c37 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 415
diff changeset
   293
  val end = System.nanoTime()
ee348feb4c37 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 415
diff changeset
   294
  f"${(end - start) / (i * 1.0e9)}%.6f secs"
ee348feb4c37 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 415
diff changeset
   295
}
ee348feb4c37 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 415
diff changeset
   296
ee348feb4c37 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 415
diff changeset
   297
// A slightly less obvious example: Prime Numbers.
ee348feb4c37 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 415
diff changeset
   298
// (I do not care how many) primes: 2, 3, 5, 7, 9, 11, 13 ....
ee348feb4c37 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 415
diff changeset
   299
ee348feb4c37 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 415
diff changeset
   300
def generatePrimes (s: LazyList[Int]): LazyList[Int] =
ee348feb4c37 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 415
diff changeset
   301
  s.head #:: generatePrimes(s.tail.filter(_ % s.head != 0))
ee348feb4c37 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 415
diff changeset
   302
ee348feb4c37 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 415
diff changeset
   303
val primes = generatePrimes(LazyList.from(2))
ee348feb4c37 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 415
diff changeset
   304
ee348feb4c37 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 415
diff changeset
   305
// the first 10 primes
ee348feb4c37 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 415
diff changeset
   306
primes.take(100).toList
ee348feb4c37 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 415
diff changeset
   307
ee348feb4c37 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 415
diff changeset
   308
time_needed(1, primes.filter(_ > 100).take(3000).toList)
ee348feb4c37 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 415
diff changeset
   309
time_needed(1, primes.filter(_ > 100).take(3000).toList)
ee348feb4c37 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 415
diff changeset
   310
ee348feb4c37 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 415
diff changeset
   311
// A Stream (LazyList) of successive numbers:
ee348feb4c37 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 415
diff changeset
   312
ee348feb4c37 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 415
diff changeset
   313
LazyList.from(2).take(10)
ee348feb4c37 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 415
diff changeset
   314
LazyList.from(2).take(10).force
ee348feb4c37 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 415
diff changeset
   315
ee348feb4c37 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 415
diff changeset
   316
// An Iterative version of the Fibonacci numbers
ee348feb4c37 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 415
diff changeset
   317
def fibIter(a: BigInt, b: BigInt): LazyList[BigInt] =
ee348feb4c37 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 415
diff changeset
   318
  a #:: fibIter(b, a + b)
ee348feb4c37 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 415
diff changeset
   319
ee348feb4c37 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 415
diff changeset
   320
ee348feb4c37 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 415
diff changeset
   321
fibIter(1, 1).take(10).force
ee348feb4c37 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 415
diff changeset
   322
fibIter(8, 13).take(10).force
ee348feb4c37 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 415
diff changeset
   323
ee348feb4c37 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 415
diff changeset
   324
fibIter(1, 1).drop(10000).take(1)
ee348feb4c37 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 415
diff changeset
   325
fibIter(1, 1).drop(10000).take(1).force
ee348feb4c37 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 415
diff changeset
   326
ee348feb4c37 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 415
diff changeset
   327
ee348feb4c37 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 415
diff changeset
   328
// LazyLists are good for testing
ee348feb4c37 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 415
diff changeset
   329
ee348feb4c37 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 415
diff changeset
   330
ee348feb4c37 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 415
diff changeset
   331
// Regular expressions - the power of DSLs in Scala
ee348feb4c37 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 415
diff changeset
   332
//                                     and Laziness
ee348feb4c37 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 415
diff changeset
   333
//==================================================
ee348feb4c37 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 415
diff changeset
   334
ee348feb4c37 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 415
diff changeset
   335
abstract class Rexp
ee348feb4c37 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 415
diff changeset
   336
case object ZERO extends Rexp                     // nothing
ee348feb4c37 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 415
diff changeset
   337
case object ONE extends Rexp                      // the empty string
ee348feb4c37 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 415
diff changeset
   338
case class CHAR(c: Char) extends Rexp             // a character c
ee348feb4c37 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 415
diff changeset
   339
case class ALT(r1: Rexp, r2: Rexp) extends Rexp   // alternative  r1 + r2
ee348feb4c37 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 415
diff changeset
   340
case class SEQ(r1: Rexp, r2: Rexp) extends Rexp   // sequence     r1 . r2  
ee348feb4c37 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 415
diff changeset
   341
case class STAR(r: Rexp) extends Rexp             // star         r*
ee348feb4c37 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 415
diff changeset
   342
ee348feb4c37 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 415
diff changeset
   343
ee348feb4c37 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 415
diff changeset
   344
// some convenience for typing in regular expressions
ee348feb4c37 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 415
diff changeset
   345
import scala.language.implicitConversions    
ee348feb4c37 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 415
diff changeset
   346
import scala.language.reflectiveCalls 
ee348feb4c37 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 415
diff changeset
   347
ee348feb4c37 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 415
diff changeset
   348
def charlist2rexp(s: List[Char]): Rexp = s match {
ee348feb4c37 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 415
diff changeset
   349
  case Nil => ONE
ee348feb4c37 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 415
diff changeset
   350
  case c::Nil => CHAR(c)
ee348feb4c37 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 415
diff changeset
   351
  case c::s => SEQ(CHAR(c), charlist2rexp(s))
ee348feb4c37 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 415
diff changeset
   352
}
ee348feb4c37 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 415
diff changeset
   353
implicit def string2rexp(s: String): Rexp = 
ee348feb4c37 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 415
diff changeset
   354
  charlist2rexp(s.toList)
ee348feb4c37 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 415
diff changeset
   355
ee348feb4c37 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 415
diff changeset
   356
implicit def RexpOps (r: Rexp) = new {
ee348feb4c37 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 415
diff changeset
   357
  def | (s: Rexp) = ALT(r, s)
ee348feb4c37 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 415
diff changeset
   358
  def % = STAR(r)
ee348feb4c37 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 415
diff changeset
   359
  def ~ (s: Rexp) = SEQ(r, s)
ee348feb4c37 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 415
diff changeset
   360
}
ee348feb4c37 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 415
diff changeset
   361
ee348feb4c37 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 415
diff changeset
   362
implicit def stringOps (s: String) = new {
ee348feb4c37 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 415
diff changeset
   363
  def | (r: Rexp) = ALT(s, r)
ee348feb4c37 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 415
diff changeset
   364
  def | (r: String) = ALT(s, r)
ee348feb4c37 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 415
diff changeset
   365
  def % = STAR(s)
ee348feb4c37 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 415
diff changeset
   366
  def ~ (r: Rexp) = SEQ(s, r)
ee348feb4c37 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 415
diff changeset
   367
  def ~ (r: String) = SEQ(s, r)
ee348feb4c37 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 415
diff changeset
   368
}
ee348feb4c37 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 415
diff changeset
   369
ee348feb4c37 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 415
diff changeset
   370
ee348feb4c37 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 415
diff changeset
   371
ee348feb4c37 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 415
diff changeset
   372
ee348feb4c37 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 415
diff changeset
   373
//example regular expressions
ee348feb4c37 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 415
diff changeset
   374
val digit = "0" | "1" | "2" | "3" | "4" | "5" | "6" | "7" | "8" | "9"
ee348feb4c37 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 415
diff changeset
   375
val sign = "+" | "-" | ""
ee348feb4c37 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 415
diff changeset
   376
val number = sign ~ digit ~ digit.% 
ee348feb4c37 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 415
diff changeset
   377
ee348feb4c37 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 415
diff changeset
   378
// Task: enumerate exhaustively regular expressions
ee348feb4c37 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 415
diff changeset
   379
// starting from small ones towards bigger ones.
ee348feb4c37 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 415
diff changeset
   380
ee348feb4c37 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 415
diff changeset
   381
// 1st idea: enumerate them all in a Set
ee348feb4c37 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 415
diff changeset
   382
// up to a level
ee348feb4c37 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 415
diff changeset
   383
ee348feb4c37 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 415
diff changeset
   384
def enuml(l: Int, s: String) : Set[Rexp] = l match {
ee348feb4c37 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 415
diff changeset
   385
  case 0 => Set(ZERO, ONE) ++ s.map(CHAR).toSet
ee348feb4c37 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 415
diff changeset
   386
  case n =>  
ee348feb4c37 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 415
diff changeset
   387
    val rs = enuml(n - 1, s)
ee348feb4c37 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 415
diff changeset
   388
    rs ++
ee348feb4c37 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 415
diff changeset
   389
    (for (r1 <- rs; r2 <- rs) yield ALT(r1, r2)) ++
ee348feb4c37 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 415
diff changeset
   390
    (for (r1 <- rs; r2 <- rs) yield SEQ(r1, r2)) ++
ee348feb4c37 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 415
diff changeset
   391
    (for (r1 <- rs) yield STAR(r1))
ee348feb4c37 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 415
diff changeset
   392
}
ee348feb4c37 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 415
diff changeset
   393
ee348feb4c37 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 415
diff changeset
   394
enuml(1, "a")
ee348feb4c37 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 415
diff changeset
   395
enuml(1, "a").size
ee348feb4c37 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 415
diff changeset
   396
enuml(2, "a").size
467
1b879b3e704e updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 452
diff changeset
   397
enuml(3, "a").size 
1b879b3e704e updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 452
diff changeset
   398
enuml(4, "a").size // out of heap space
452
ee348feb4c37 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 415
diff changeset
   399
ee348feb4c37 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 415
diff changeset
   400
ee348feb4c37 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 415
diff changeset
   401
def enum(rs: LazyList[Rexp]) : LazyList[Rexp] = 
ee348feb4c37 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 415
diff changeset
   402
  rs #::: enum( (for (r1 <- rs; r2 <- rs) yield ALT(r1, r2)) #:::
ee348feb4c37 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 415
diff changeset
   403
                (for (r1 <- rs; r2 <- rs) yield SEQ(r1, r2)) #:::
ee348feb4c37 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 415
diff changeset
   404
                (for (r1 <- rs) yield STAR(r1)) )
ee348feb4c37 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 415
diff changeset
   405
ee348feb4c37 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 415
diff changeset
   406
ee348feb4c37 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 415
diff changeset
   407
enum(LazyList(ZERO, ONE, CHAR('a'), CHAR('b'))).take(200).force
467
1b879b3e704e updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 452
diff changeset
   408
enum(LazyList(ZERO, ONE, CHAR('a'), CHAR('b'))).take(5_000_000).force // out of memory
452
ee348feb4c37 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 415
diff changeset
   409
ee348feb4c37 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 415
diff changeset
   410
ee348feb4c37 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 415
diff changeset
   411
def depth(r: Rexp) : Int = r match {
ee348feb4c37 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 415
diff changeset
   412
  case ZERO => 0
ee348feb4c37 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 415
diff changeset
   413
  case ONE => 0
ee348feb4c37 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 415
diff changeset
   414
  case CHAR(_) => 0
ee348feb4c37 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 415
diff changeset
   415
  case ALT(r1, r2) => Math.max(depth(r1), depth(r2)) + 1
ee348feb4c37 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 415
diff changeset
   416
  case SEQ(r1, r2) => Math.max(depth(r1), depth(r2)) + 1 
ee348feb4c37 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 415
diff changeset
   417
  case STAR(r1) => depth(r1) + 1
ee348feb4c37 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 415
diff changeset
   418
}
ee348feb4c37 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 415
diff changeset
   419
ee348feb4c37 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 415
diff changeset
   420
ee348feb4c37 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 415
diff changeset
   421
val is = 
ee348feb4c37 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 415
diff changeset
   422
  (enum(LazyList(ZERO, ONE, CHAR('a'), CHAR('b')))
ee348feb4c37 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 415
diff changeset
   423
    .dropWhile(depth(_) < 3)
ee348feb4c37 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 415
diff changeset
   424
    .take(10).foreach(println))
ee348feb4c37 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 415
diff changeset
   425
ee348feb4c37 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 415
diff changeset
   426
384
627a944c744b updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 383
diff changeset
   427
627a944c744b updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 383
diff changeset
   428
627a944c744b updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 383
diff changeset
   429
627a944c744b updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 383
diff changeset
   430
627a944c744b updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 383
diff changeset
   431
627a944c744b updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 383
diff changeset
   432
627a944c744b updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 383
diff changeset
   433
627a944c744b updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 383
diff changeset
   434
627a944c744b updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 383
diff changeset
   435
238
25d896ada26c updated
updated
parents: 226
diff changeset
   436
222
ec9cbf969edf updated
Christian Urban <urbanc@in.tum.de>
parents: 218
diff changeset
   437
240
2d8d198360c8 updated
Christian Urban <urbanc@in.tum.de>
parents: 238
diff changeset
   438
// The End ... Almost Christmas
238
25d896ada26c updated
updated
parents: 226
diff changeset
   439
//===============================
25d896ada26c updated
updated
parents: 226
diff changeset
   440
25d896ada26c updated
updated
parents: 226
diff changeset
   441
// I hope you had fun!
25d896ada26c updated
updated
parents: 226
diff changeset
   442
25d896ada26c updated
updated
parents: 226
diff changeset
   443
// A function should do one thing, and only one thing.
25d896ada26c updated
updated
parents: 226
diff changeset
   444
25d896ada26c updated
updated
parents: 226
diff changeset
   445
// Make your variables immutable, unless there's a good 
326
7d983ee99fcc updated
Christian Urban <urbanc@in.tum.de>
parents: 247
diff changeset
   446
// reason not to. Usually there is not.
238
25d896ada26c updated
updated
parents: 226
diff changeset
   447
326
7d983ee99fcc updated
Christian Urban <urbanc@in.tum.de>
parents: 247
diff changeset
   448
// I did it once, but this is actually not a good reason:
240
2d8d198360c8 updated
Christian Urban <urbanc@in.tum.de>
parents: 238
diff changeset
   449
// generating new labels:
2d8d198360c8 updated
Christian Urban <urbanc@in.tum.de>
parents: 238
diff changeset
   450
238
25d896ada26c updated
updated
parents: 226
diff changeset
   451
var counter = -1
222
ec9cbf969edf updated
Christian Urban <urbanc@in.tum.de>
parents: 218
diff changeset
   452
238
25d896ada26c updated
updated
parents: 226
diff changeset
   453
def Fresh(x: String) = {
25d896ada26c updated
updated
parents: 226
diff changeset
   454
  counter += 1
25d896ada26c updated
updated
parents: 226
diff changeset
   455
  x ++ "_" ++ counter.toString()
25d896ada26c updated
updated
parents: 226
diff changeset
   456
}
25d896ada26c updated
updated
parents: 226
diff changeset
   457
25d896ada26c updated
updated
parents: 226
diff changeset
   458
Fresh("x")
25d896ada26c updated
updated
parents: 226
diff changeset
   459
Fresh("x")
25d896ada26c updated
updated
parents: 226
diff changeset
   460
25d896ada26c updated
updated
parents: 226
diff changeset
   461
25d896ada26c updated
updated
parents: 226
diff changeset
   462
326
7d983ee99fcc updated
Christian Urban <urbanc@in.tum.de>
parents: 247
diff changeset
   463
// I think you can be productive on Day 1, but the 
7d983ee99fcc updated
Christian Urban <urbanc@in.tum.de>
parents: 247
diff changeset
   464
// language is deep.
238
25d896ada26c updated
updated
parents: 226
diff changeset
   465
//
25d896ada26c updated
updated
parents: 226
diff changeset
   466
// http://scalapuzzlers.com
25d896ada26c updated
updated
parents: 226
diff changeset
   467
//
25d896ada26c updated
updated
parents: 226
diff changeset
   468
// http://www.latkin.org/blog/2017/05/02/when-the-scala-compiler-doesnt-help/
25d896ada26c updated
updated
parents: 226
diff changeset
   469
328
b217232e9246 updated
Christian Urban <urbanc@in.tum.de>
parents: 326
diff changeset
   470
val two   = 0.2
b217232e9246 updated
Christian Urban <urbanc@in.tum.de>
parents: 326
diff changeset
   471
val one   = 0.1
b217232e9246 updated
Christian Urban <urbanc@in.tum.de>
parents: 326
diff changeset
   472
val eight = 0.8
b217232e9246 updated
Christian Urban <urbanc@in.tum.de>
parents: 326
diff changeset
   473
val six   = 0.6
b217232e9246 updated
Christian Urban <urbanc@in.tum.de>
parents: 326
diff changeset
   474
b217232e9246 updated
Christian Urban <urbanc@in.tum.de>
parents: 326
diff changeset
   475
two - one == one
b217232e9246 updated
Christian Urban <urbanc@in.tum.de>
parents: 326
diff changeset
   476
eight - six == two
329
828326d1b3b2 updated
Christian Urban <urbanc@in.tum.de>
parents: 328
diff changeset
   477
eight - six
328
b217232e9246 updated
Christian Urban <urbanc@in.tum.de>
parents: 326
diff changeset
   478
b217232e9246 updated
Christian Urban <urbanc@in.tum.de>
parents: 326
diff changeset
   479
329
828326d1b3b2 updated
Christian Urban <urbanc@in.tum.de>
parents: 328
diff changeset
   480
// problems about equality and type-errors
328
b217232e9246 updated
Christian Urban <urbanc@in.tum.de>
parents: 326
diff changeset
   481
329
828326d1b3b2 updated
Christian Urban <urbanc@in.tum.de>
parents: 328
diff changeset
   482
List(1, 2, 3).contains("your cup")   // should not compile, but retruns false
828326d1b3b2 updated
Christian Urban <urbanc@in.tum.de>
parents: 328
diff changeset
   483
828326d1b3b2 updated
Christian Urban <urbanc@in.tum.de>
parents: 328
diff changeset
   484
List(1, 2, 3) == Vector(1, 2, 3)     // again should not compile, but returns true
326
7d983ee99fcc updated
Christian Urban <urbanc@in.tum.de>
parents: 247
diff changeset
   485
238
25d896ada26c updated
updated
parents: 226
diff changeset
   486
326
7d983ee99fcc updated
Christian Urban <urbanc@in.tum.de>
parents: 247
diff changeset
   487