Edge Rewrite
everything Source code View original
// HTMLRewriter · presentation

This page was redesigned at the edge.

Cloudflare fetched the original article and streamed it through HTMLRewriter to apply an entirely new visual system without rebuilding the source page.

// request.cf · coarse context

A page that knows where it met you.

Only coarse request metadata is shown. This demo does not display or persist visitor IP addresses.

Country
US
Cloudflare location
CMH
Connection
HTTP/2
Language
Not provided

Ray ID: a222df3b6aa5addf

Jump to content

Inductive data type

Add links
From Wikipedia, the free encyclopedia

Inductive data type may refer to:

  • Algebraic data type, a datatype each of whose values is data from other datatypes wrapped in one of the constructors of the datatype
  • Inductive family, a family of inductive data types indexed by another type or value
  • Recursive data type, a data type for values that may contain other values of the same type

See also

[edit]
Disambiguation icon
This disambiguation page lists articles associated with the title Inductive data type.
If an internal link incorrectly led you here, you may wish to change the link to point directly to the intended article.
Retrieved from "https://en.wikipedia.org/w/index.php?title=Inductive_data_type&oldid=926634634"