خرائط إلى
الرمز ↦ هو سهم متجه لليمين يبرز من خط عمودي. ويُستخدم في الرياضيات وعلوم الحاسوب [ 1 ] للدلالة على الدوال .
- في تدوين Z ، وهي لغة مواصفات تستخدم في تطوير البرمجيات، [ 2 ] يسمى هذا الرمز سهم القيقب ويسمى التعبير x ↦ y قيقبًا .
- في منطق الفصل، يشير إلى محتويات خلية معينة من الذاكرة.
في مجموعة أحرف يونيكود ، الرمز هو نقطة الترميز U+21A6. [ 3 ]
استخدامات أخرى
يُعد عامل التشغيل "Maps to" مفيدًا عندما يكون من المرغوب فيه تجنب تعيين أسماء للوظائف.
يمكن لهذا أن يتجنب سوء التفسير المحتمل بسبب اصطلاحات التسمية الضعيفة، [ 4 ] مثل تجنب تعارض الأسماء التالي الناتج عن وجود هاتين الدالتين في نفس الملف أو في نفس البرهان الرياضي:
func sqr:- مربع قيمة الإدخال
func sqr:.- يحسب محيط المربع عند إدخال طول ضلع معين.
انظر أيضاً
- تدوين الأسهم - على سبيل المثال،، والمعروفة أيضًا باسم الخريطة
مراجع
- ↑ البرمجة الوظيفية على وجه التحديد
- ↑ ميكوشياك، لوبوش؛ ميروسلاف أدامي؛ توماس سيدمان (1997). "نشر المواصفات الرسمية باستخدام تدوين Z على شبكة الإنترنت العالمية". TAPSOFT '97: نظرية وممارسة تطوير البرمجيات . سلسلة محاضرات في علوم الحاسوب. المجلد 1214. الصفحات 871-874 . doi : 10.1007/BFb0030650 . ISBN 978-3-540-62781-4.
- ↑ حرف يونيكود 'سهم متجه لليمين من الشريط' (U+21A6)
- ↑ انظر إلى دوال لامدا في بايثون (لغة برمجة)
فئات :
- الرموز الرياضية
- مقالات قصيرة في الرياضيات
