Source: wikibot/arrow-types
= Arrow types
{wiki=Category:Arrow_types}
Arrow types are a concept in programming, particularly in functional programming and type theory. They can be thought of as a way to generalize functions and represent computations. An arrow is often used to describe computations that have an input-output relation but can also include additional structure, such as the ability to combine or sequence computations.