scala functional

functional.scala

def sum(li: List[Int]): Int = {
  var total = 0
  for (i <- li) {
    total = total + i
  }
  total

  
 //只能加Int?

functional1.scala

trait Append[A] {
  def add(a: A, b: A): A
}


def sum[A](l: List[A], abs: Append[A]): A = {
  //拿第一個當作起始點
  var total = l.head
  for (a <- l.tail) {
    total = abs.add(total, a)
  }
  total
}

//如果list是空的怎麼辦？

functional2.scala

trait Append[A] {
  def add(a: A, b: A): A
  def zero(): A //加一個default值
}


def sum[A](l: List[A], abs: Append[A]): A = {
  
  var total = abs.zero
  for (a <- l) {
    total = abs.add(total, a)
  }
  total
}

//我只能在list上面做加總？Map可以嗎？Array可以嗎？

functional3.scala

trait Append[A] {
  def add(a: A, b: A): A
  def zero(): A //加一個default值
}

//整個動作抽象出來叫做fold: 把一堆東西(A)壓縮成一個(A)
//F[_] == List[A]
//可以為List, Array, Map, Set, 任何合理的東西都可以實作一個
trait Foldable[F[_]] {

  def fold[A](l: F[A])(M: Append[A]): A
}

//List的實作
class ListFoldable extends Foldable[List] {
  def fold[A](l: List[A])(M: Append[A]): A = {
    var r = M.zero
    for (a <- l) {
      r = M.add(r, a)
    }
    r
  }
}

def sum[F[_]: Foldable, A](l: F[A], abs: Append[A]): A = {
  Foldable[F].fold(l,abs)
}