Test-driven development
2.1. Writing functions 2.2. Function evaluation (order of parameters in function call matters !)
⇒
to delay evaluation2.3. Conditionals
def f(x : Int) = if (x >= 0) x else -x
true
, false
, !b
, &&
, ||
)val
Newton square root estimation
f : Int ⇒ Int
)(x: Int, y: Int) ⇒ x + y
, x ⇒ x+x
)def f(x: Int, y: Int)(z: Int):Int = x+y+z
)class Rational(x: Int, y: Int) { // creates a Type as well as a constructor for the new type def a = x def b = y } val r = new Rational(1,2)
toString
and @override
require
(a precondition on the caller of a function) (equivalent to) and assert
(check the code is right)class ... { def this(x: Int) = this(x,1) }
r add s /*same as*/ r.add(s) def < (param : Rational) /* symbolic identifiers may contain operator symbols */ def unary_- (...) /* to overload negation. Careful, white spaces can be interpreted as identifiers */ /* the precedence of an operator is determined by its first character */ /* precedence cannot be overridden by the programmer */
object Empty extends IntSet
@main def birthday
- can be called directly from compilation scala birthday …
println(s“Hello ”)
import pack.Obj
class Cons (val head: Int, val tail: List) extends…
- value parametersdef singleton[T] (elem: T) …
* Scala is a pure OO language (unlike Java)!!
trait Function1 [A,B]: def apply(x: A): B f = new Function1[Int,Int]: //anonymous class def apply(x: Int) = x * x /* anonymous classes are equivalent to blocks that evaluate to an object*/ { class () extends Function1[Int,Int]: def apply(x: Int) = x * x () def f(x: Int): Boolean = ... /* the above is not itself a function value. However, if it is used where a Function type is expected it is converted automatically to the function value: */ (x: Int) => f(x) // or expanded to new Function[Int, Boolean]: def apply(x: Int) = f(x)
Object-Oriented decomposition (the classical TDAs vs OO)
Functional decompositions (case classes)
def eval(e: Expr): Int = e match case Number(n) => n case Sum(e1,e2) => eval(e1) + eval(e2)
val l = 1 :: 2 :: 3 :: Nil
Enums (TDAs)
enum Expr: case Var (s: String) case Number (n: Int) case Sum(e1: Expr, e2: Expr) case Prod(e1: Expr, e2: Expr)
Type bounds in generics
def asseertAllPos [S <: IntSet] (r: S): S = ...