02-26 Scala | 利用 Curry-Howard Isomorphism 实现 union type Scala Functional ProgrammingMathematical LogicScala