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