Pizza into Java: translating theory into practice
Pizza into Java: translating theory into practice
复制标题
Pizza 到 Java：将理论转化为实践
DOI：
10.1145/263699.263715
复制
发表时间：
1997
期刊：
影响因子：
--
通讯作者：
Philip Wadler
中科院分区：
文献类型：
--
作者：
Martin Odersky;Philip Wadler
Pizza 是 Java 的严格超集，它融合了学术界的三个思想：参数多态性、高阶函数和代数数据类型。 Pizza 是通过翻译成 Java 来定义的，并编译成 Java 虚拟机，这些要求强烈限制了设计空间。尽管如此，Pizza 仍然很适合 Java，只有一些粗糙的地方。
Pizza is a strict superset of Java that incorporates three ideas from the academic community: parametric polymorphism, higher-order functions, and algebraic data types. Pizza is defined by translation into Java and compiles into the Java Virtual Machine, requirements which strongly constrain the design space. Nonetheless, Pizza fits smoothly to Java, with only a few rough edges.