Data type (source code)

= Data type

A classification of program values together with the operations permitted on them. An <algebraic data type> describes values by <data constructors>; a <function type> describes acceptable arguments and produced results.