خرائط إلى

الرمز ↦ هو سهم متجه لليمين يبرز من خط عمودي. ويُستخدم في الرياضيات وعلوم الحاسوب [ 1 ] للدلالة على الدوال .

  • في تدوين Z ، وهي لغة مواصفات تستخدم في تطوير البرمجيات، [ 2 ] يسمى هذا الرمز سهم القيقب ويسمى التعبير x ↦ y قيقبًا .
  • في منطق الفصل، يشير إلى محتويات خلية معينة من الذاكرة.

في مجموعة أحرف يونيكود ، الرمز هو نقطة الترميز U+21A6. [ 3 ]

استخدامات أخرى

يُعد عامل التشغيل "Maps to" مفيدًا عندما يكون من المرغوب فيه تجنب تعيين أسماء للوظائف.

يمكن لهذا أن يتجنب سوء التفسير المحتمل بسبب اصطلاحات التسمية الضعيفة، [ 4 ] مثل تجنب تعارض الأسماء التالي الناتج عن وجود هاتين الدالتين في نفس الملف أو في نفس البرهان الرياضي:

  • func sqr: xx*x{\displaystyle x\mapsto x*x}
    • مربع قيمة الإدخال
  • func sqr: x(2*x)+(2*x){\displaystyle x\mapsto (2*x)+(2*x)}.
    • يحسب محيط المربع عند إدخال طول ضلع معين.

انظر أيضاً

  • تدوين الأسهم - على سبيل المثال،xx+1{\displaystyle x\mapsto x+1}، والمعروفة أيضًا باسم الخريطة

مراجع

  1. البرمجة الوظيفية على وجه التحديد
  2. ميكوشياك، لوبوش؛ ميروسلاف أدامي؛ توماس سيدمان (1997). "نشر المواصفات الرسمية باستخدام تدوين Z على شبكة الإنترنت العالمية". TAPSOFT '97: نظرية وممارسة تطوير البرمجيات . سلسلة محاضرات في علوم الحاسوب. المجلد 1214. الصفحات 871-874 . doi : 10.1007/BFb0030650 . ISBN   978-3-540-62781-4.
  3. حرف يونيكود 'سهم متجه لليمين من الشريط' (U+21A6)
  4. انظر إلى دوال لامدا في بايثون (لغة برمجة)