El símbolo de mapeo , ↦, es una flecha hacia la derecha que sobresale de una barra vertical. Se utiliza en matemáticas y en ciencias de la computación [ 1 ] para denotar funciones .
- En la notación Z , un lenguaje de especificación utilizado en el desarrollo de software, [ 2 ] este símbolo se llama flecha maplet y la expresión x ↦ y se llama maplet .
- En lógica de separación, denota el contenido de una celda de memoria específica.
En el conjunto de caracteres Unicode , el símbolo es el punto de código U+21A6. [ 3 ]
Otros usos
El operador "Asigna a" resulta útil cuando se desea evitar asignar nombres a las funciones.
Esto puede evitar posibles interpretaciones erróneas debido a convenciones de nomenclatura deficientes, [ 4 ] como evitar el siguiente conflicto de nombres de estas dos funciones que existen en el mismo archivo o en la misma prueba matemática:
func sqr:- Eleva al cuadrado el valor de entrada.
func sqr:.- Calcula el perímetro de un cuadrado a partir de la longitud de un lado.
Véase también
- Notación de flechas – p. ej.,, también conocido como mapa
Referencias
- ↑ Programación funcional específica
- ↑ Mikušiak, Luboš; Miroslav Adámy; Thomas Seidmann (1997). "Publicación de especificaciones formales en notación Z en la World Wide Web". TAPSOFT '97: Teoría y práctica del desarrollo de software . Lecture Notes in Computer Science. Vol. 1214. pp. 871–874 . doi : 10.1007/BFb0030650 . ISBN 978-3-540-62781-4.
- ↑ Carácter Unicode 'FLECHA HACIA LA DERECHA DESDE LA BARRA' (U+21A6)
- ↑ Ver funciones Lambda en Python (lenguaje de programación)
- Símbolos matemáticos
- Fragmentos de matemáticas