Li-Fan Chen
says to
YSITD
喔對了 OOP 也算是某種類型系統