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 ?

本文参与腾讯云自媒体分享计划,欢迎正在阅读的你也加入,一起分享。

发表于

我来说两句

0 条评论
登录 后参与评论

相关文章

来自专栏吴裕超

js中三目运算符和&& || 符的个人浅见

这两天看到别人写的代码,感觉很牛逼,如下,大神请忽视 $(".lgn").on("click", function() { var a = {}...

5007
来自专栏iKcamp

翻译连载 | 第 11 章:融会贯通 -《JavaScript轻量级函数式编程》 |《你不知道的JS》姊妹篇

原文地址:Functional-Light-JS 原文作者:Kyle Simpson-《You-Dont-Know-JS》作者 JavaScript 轻量级函数...

2095
来自专栏十月梦想

vue列表渲染(数组和对象)

我们知道这个vue是mvvm模型,数据改变,视图层就改变但是通过实例改变app.list[3]="新设置",发现数据改变了视图层无法改变,那么如何保持数据和视图...

1321
来自专栏封碎

Python的三元操作 博客分类: Python Python

    我写程序很喜欢用三元运算符,但是在python中居然不支持,有点郁闷,查了下资料,发现还是有解决方案的。

783
来自专栏带你撸出一手好代码

JavaScript消除游戏实现思路讲解

之前讲解过一款JavaScript贪食蛇游戏详细的设计与实现,但是以那种方式进行描述 , 整篇文章会显得复杂冗长,除非深入细致的阅读和思考,否则文中内容并不容易...

3655
来自专栏互联网杂技

基础JavaScript装逼指南

本文秉承着 你看不懂是你sb,我写的代码就要牛逼 的理念来介绍一些js的装逼技巧。 下面的技巧,后三个,请谨慎用于团队项目中(主要考虑到可读性的问题),不然,l...

3235
来自专栏C语言及其他语言

[每日一题]数据的插入与重排

炎炎夏日,热浪滚滚,动都不想动的时候不妨来一道C语言的题冷静冷静 题目描述 已有一个已排好的9个元素的数组,今输入一个数要求按原来排序的规律将它插入数组中。 ...

3455
来自专栏WindCoder

Java设计模式学习笔记—抽象工厂模式

文章最后“Java设计模式笔记示例代码整合”为本系列代码整合,所有代码均为个人手打并运行测试,不定期更新。本节内容位于其AbstractFactory包(pac...

781
来自专栏数据结构与算法

1512 转向游戏

1512 转向游戏 时间限制: 1 s 空间限制: 1000 KB 题目等级 : 白银 Silver 题目描述 Description 小明自认为...

2796
来自专栏菜鸟前端工程师

JavaScript学习笔记007-js的执行

986

扫码关注云+社区