Rosetta Code:Village Pump/Task organization: Difference between revisions

==Type algebra==

'''Further restructuring'''. I propose to group the tasks related to the language ''types algebra'' under this category, like it was done with control flow statements. A types algebra is a set of predefined types and the operations constructing new types out of given ones. For example, the array type is produced by such an operation. It takes the type of the index, the type of the element and produces a new container type called array. Here is an incomplete list of algebraic operations most common to higher-level typed languages: