Wikidata

(Q7860899)

English

type constructor

feature of a typed formal language that builds new types from old ones

  • type operator
In more languages

Statements

subclass of
operator
0 references
has use
composite data type
0 references
generic programming
0 references
studied in
type theory
0 references
codomain
data type
0 references
has characteristic
kind
0 references

Identifiers

Freebase ID
/m/07k6_jy
0 references
 
edit
edit
    edit
      edit
        edit
          edit
            edit
              edit
                edit
                  Retrieved from "https://www.wikidata.org/w/index.php?title=Q7860899&oldid=1928661974"