Scala 函数响应式编程: 静态类型 (Static Types)
来源:互联网 发布:2016淘宝店铺装修教程 编辑:程序博客网 时间:2024/04/29 07:20
函数响应式编程为使函数内的代码更加的强壮, 便需在代码编译的阶段时, 就要能确定传入函数的参数类型, 是符合领域模型中的商业规则。也就是说, 藉由编译器形成一过滤器; 只让符合领域模型中商业规则的参数类型, 能传入到函数中。
举个简单的例子:
假设, 只有 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 InterestBearingAccountcase 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 ?
阅读全文
1 0
- Scala 函数响应式编程: 静态类型 (Static Types)
- Scala 函数响应式编程: 静态类型 (Static Types)
- 【Scala】响应式编程思想
- Scala 函数式编程
- Scala函数式编程
- Scala函数式编程
- Scala 函数式编程
- scala-函数式编程
- Scala函数式编程
- Scala函数式程序设计原理 week4 Types and Pattern Matching
- 响应式编程 Reactive programming-- 2. Scala
- 函数响应式编程
- 响应式函数编程
- 【Scala】Scala函数式编程初探
- scala学习五:scala函数式编程
- static-静态类型
- Scala函数式编程原理
- 函数式编程与Scala
- 使用FormData对象ajax异步方式上传图片,文件
- Java并发编程 之 阻塞队列和CountDownLatch
- 基于CH568芯片加密SD卡方案
- vue中虚拟dom,无法实时更新的解决方案
- 前端面试问题(持续更新)
- Scala 函数响应式编程: 静态类型 (Static Types)
- Spring mvc ContextLoaderListener 原理解析
- HDU 1015 Safecracker (DFS)
- 免费快递查询接口不限量对接
- 2017年中秋前记录
- SpringMVC与Struts2区别与比较总结
- 生成数据文件直接路径数据存储;excel表格
- 指针 *p++与(*p)++的区别
- 互斥锁及条件变量