Maps to
| Maps to |
|---|
The maps to symbol, ↦, is a rightward arrow protruding from a vertical bar. It is used in mathematics and in computer science[1] to denote functions.
- In Z notation, a specification language used in software development,[2] this symbol is called the maplet arrow and the expression x ↦ y is called a maplet.
- In separation logic it denotes the contents of a specific cell of memory.
In the Unicode character set, the symbol is code point U+21A6.[3]
Other uses#edit
The "Maps to" operator is useful when it is desirable to avoid assigning names to functions.
This can avoid possible misinterpretations due to poor naming conventions,[4] such as avoiding the following name conflict from these two functions existing in the same file or in the same mathematical proof:
func sqr:- Squares the input value
func sqr:.
- Calculates the perimeter of a square when given an input side length.
See also#edit
- Arrow notation – e.g.,
, also known as map
References#edit
- ^ Specifically Functional Programming
- ^ Mikušiak, Luboš; Miroslav Adámy; Thomas Seidmann (1997). "Publishing formal specifications in Z notation on world wide web". TAPSOFT '97: Theory and Practice of Software Development. Lecture Notes in Computer Science. Vol. 1214. pp. 871–874. doi:10.1007/BFb0030650. ISBN 978-3-540-62781-4.
- ^ Unicode Character 'RIGHTWARDS ARROW FROM BAR' (U+21A6)
- ^ See Lambda Functions in Python (programming language)
This article is mirrored from “Maps to” on English Wikipedia, revision 1363518715, written by Wikipedia's contributors and licensed CC BY-SA 4.0. Editing it here creates a Quire copy with its own history.
Synced with Wikipedia revision 1363518715 · just now