Scala 函数响应式编程: 静态类型 (Static Types)

2016.12.3,  北京, Ken Fang

函数响应式编程为使函数内的代码更加的强壮, 便需在代码编译的阶段时, 就要能确定传入函数的参数类型, 是符合领域模型中的商业规则。也就是说, 藉由编译器形成一过滤器; 只让符合领域模型中商业规则的参数类型, 能传入到函数中。

举个简单的例子:

假设, 只有 saving account 能有利息的收入, 而checking account 便没有利息的收入。

Scala 藉由静态类型 (Static Types) 的实现的方式, 使得编译器形成一过滤器; 只让 saving account 的参数类型, 能传入到函数中, 进行利息的计算, checking account 的参数类型, 便会被过滤掉。

trait Account {

  def number: String

  def name : String

  //...

}

case class CheckingAccount(...) extends Account

 

trait InterestBearingAccount extends Account {

  def rateOfInterest: BigDecimal

}

case class SavingsAccount(...) extends InterestBearingAccount

case class MoneyMarketAccount(...)extends InterestBearingAccount

 

def calculateInterest[A <: InterestBearingAccount](account: A, period: DataRange) = {

 

}

参数类型 A 必需是 InterestBearingAccount 的 subtype; 所以, 只要不是 InterestBearingAccount 的 subtype 的 account, 便不能传入到函数 calculateInterest 中, 去计算利息。 

也就是说, 函数 calculateInterest 便只需专注在如何实现利息的计算。而将商业规则的校验; 只有 saving account 才能有利息的收入; 交由编译器去处理。所以, 我们便也不需给函数 calculateInterest 写测试代码; 为了校验所传入的 account 是否为 saving account ?