Maps to
(Redirected from Maplet)
| ↦ | |
|---|---|
Maps to | |
| U+21A6 ↦ RIGHTWARDS ARROW FROM BAR |
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 mathematics-related article is a stub. You can help Wikipedia by adding missing information. |