Pizza programming language
E355652
Pizza is an experimental extension of Java that introduced advanced type system features like generics, higher-order functions, and algebraic data types, influencing later languages such as Scala.
All labels observed (1)
| Label | Occurrences |
|---|---|
| Pizza programming language canonical | 2 |
Statements (32)
| Predicate | Object |
|---|---|
| instanceOf |
experimental programming language
ⓘ
programming language ⓘ |
| basedOn |
Java
ⓘ
surface form:
Java (programming language)
|
| category | Java-like language ⓘ |
| designedBy |
Martin Odersky
ⓘ
Philip Wadler ⓘ others ⓘ |
| designGoal |
to experiment with adding functional features to Java
ⓘ
to explore advanced type systems for mainstream languages ⓘ |
| executionModel | compiled to Java bytecode ⓘ |
| extends | Java type system ⓘ |
| feature |
first-class functions
ⓘ
parametric polymorphism ⓘ pattern matching on algebraic data types ⓘ |
| goal | to add advanced type system features to Java ⓘ |
| influenced |
Java generics design
ⓘ
Scala ⓘ
surface form:
Scala (programming language)
|
| influencedBy |
Haskell
ⓘ
ML ⓘ
surface form:
ML (programming language family)
|
| introducedFeature |
algebraic data types
ⓘ
generics ⓘ higher-order functions ⓘ |
| notableFor |
combining Java syntax with functional constructs
ⓘ
early adoption of generics on the JVM ⓘ |
| paradigm |
functional programming
ⓘ
object-oriented programming ⓘ |
| relationshipToJava | source language translated into Java ⓘ |
| runsOn | Java Virtual Machine ⓘ |
| status |
not widely used in production
ⓘ
research language ⓘ |
| typingDiscipline |
static typing
ⓘ
strong typing ⓘ |
Referenced by (2)
Full triples — surface form annotated when it differs from this entity's canonical label.