Fish Wang says to YSITD
kotlin 的型別系統沒 scala 那麼複雜是 by design