Li-Fan Chen
says to
OKTW Network
你是不是看成 lambda calculus