汉英词典(图标) 面向正确性的程序设计