發送短信 : Incremental semantic evaluation in language-based editors

  ______   __   __   __   __    _____      _____  
 /_____//  \ \\/ //  \ \\/ //  |  ___||   / ___// 
 `____ `    \ ` //    \   //   | ||__     \___ \\ 
 /___//      | ||     / . \\   | ||__     /    // 
 `__ `       |_||    /_//\_\\  |_____||  /____//  
 /_//        `-`'    `-`  --`  `-----`  `-----`   
 `-`