Li-Fan Chen
says to
YSITD
他就是直接用JAVA的OOP自幹了一套type system啊(吧)