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

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

举个简单的例子:

假设, 只有 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 ?

转自：http://blog.csdn.net/featuresoft/article/details/53446382