Pattern Matching for Java
(cr.openjdk.java.net)
其實 pattern matching 除了可以寫 parser 外還真不曉得要放在哪...
用 pattern matching 就是 type 都消失了
public void foo(Object noTypeAnyMore) {
switch (noTypeAnyMore)
case String ->
case int ->
case Tuple(x, y) ->
case _ ->
}
Object noTypeAnyMore
這裡不是很討厭嗎?都沒有 type 保護可以隨便亂傳,也沒辦法放心 refactor。Java 又沒有 union type…