Li-Fan Chen
says to
YSITD
明天是邏輯跟lambda