04-26 类型系统 | Existential Type | Scala ++ Java ++ Haskell Functional Programming Functional ProgrammingHaskellJavaScalaType System