zypeh
says to
YSITD
Kotlin, Scala, 连二代目Haskell, Idris 什么都严格求值，加多一个 Lazy 类型