释义 |
WadlerCOCA¹⁰¹⁹⁰⁹ 基本例句 瓦德勒¹⁰⁰ The Expression Problem: Read Philip Wadler's paper. 表达式问题:阅读 Philip Wadler的文章。 ibm But they only solve half of the Expression Problem, the “ new columns” of Wadler's table. 但是它们只解决一半的表达式问题,即 Wadler表的“新列”。 ibm Coined by Philip Wadler, the expression problem defines a program’s data as a set of cases types and a set of operations over those cases. 表达式问题这个词是由 Philip Wadler定义的,它将一个程序的数据定义为一组用例类型和对于这些用例的一组操作。 ibm To illustrate the Expression Problem, Wadler's paper uses the idea of a table that has types as rows and functions as columns. 为说明表达式问题, Wadler的文章使用了表的概念,其中类型为行,函数为列。 ibm |