lambda1@tg
says to
YSITD
某程度上PL 是獨立於implementation 的