Wikifunctions:Type proposals

This page is to discuss and decide on proposals for new Types.

Types are currently being created by Wikifunctions staff. Over time these rights will be handed over to the community.

Proposals

Drafted

Being prepared

Something to think about

(No doubt we shall want non-SI units as well, or simply units, but SI units should have their own Type.)

Stalled

Wikifunctions:Type proposals/Typed string
Symbol and expression (as in a computer algebra system) - currently no idea yet

"Heavy" data

Heavy data is those that can be more than 1.5MB (where medium data are between 60KB and 1.5MB). This includes most real-world files (jpg, mp3, pdf, zip, exe) and raw forms of data containing in such files (e.g. 1024*768 RGB image has 2359296 bytes in raw form). Wikifunctions currently have limited support for medium data and little support for heavy data (and neither support file uploading for computation). See Wikifunctions:Type_proposals/bytes#Uses for more information.

Image (raster): basically, a 2D or 3D array of number (though we do need a type to represent both the array and image mode)
Audio and signal: basically, one number (sampling rate) and one or more (1D) arrays of number, one per channel (though we do need a type to represent all of them)
Video: audio plus series of image

Unclear necessity / probably unnecessary

Multidimensional array: can be represented as list of lists, but a dedicated edit interface would be nice (and way to enforce an array not to be jagged)
Typed tuple: can be represented as nested Typed pair (Z882)
Set: use list instead
Multiset: use list instead
Multimap: use list of Typed pair (Z882) instead (see also simple map Typed Map (Z883))

New (template)

Wikifunctions:Type proposals/(unnamed – new)

Implemented

Wikifunctions:Type proposals/Natural number