麻省理工的 Picture 语言:代码瘦身的秘诀