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

How this entity was disambiguated

Statements (32)

Predicate Object
instanceOf experimental programming language ⓘ
programming language ⓘ
basedOn Java (programming language) ⓘ
linked to: Java
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 (programming language) ⓘ
linked to: Scala
influencedBy Haskell ⓘ
ML (programming language family) ⓘ
linked to: ML
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 ⓘ

How these facts were elicited

Referenced by (2)

Full triples — surface form annotated when it differs from this entity's canonical label.

Scala → influencedBy → Pizza programming language ⓘ
Martin Odersky → workedOn → Pizza programming language ⓘ