Everyone's talking about AI adoption. Almost nobody has the real numbers. Help us change that — and get the full report 👉 Engineers | Leaders

Inductive Type

A custom data type defined by listing its possible forms (constructors), allowing the programmer to create precise categories that the compiler can check exhaustively.