بصفتي شخصا لديه خلفية في علوم الحاسب، شعرت بحيرة شديدة عندما واجهت أول مرة أشخاص رياضيين يصرون على أن الموتر ليس مصفوفة. لأنهما واضحان أنهما مصفوفات متعددة الأبعاد. لكن بعد ذلك أدركت... دائما ما يستخدم علماء الرياضيات لغات ذات نوع قوي في رؤوسهم!

بالنسبة لعالم الحاسوب، فإن الهيكل، والوظائف، والواجهة، والقيود كلها منفصلة بوضوح وقابلة للتحويل. الموتر هو مصفوفة تعاملها كموتر. يمكنك صنع مزجها، الفئة هي مجموعة من الأربعة جميعا، لكنها ليست إلزامية.

عندما يقولون لك إن المتجهات ليست قوائم أرقام، فذلك لأنهم دربوا أنفسهم على أن يكونوا مدققين أنواع للغات المنطقية ذات التصنيف القوي بحماس. الرياضيون يديرون شيئا في أذهانهم يشبه أداة فحص أنواع تعلمها السحر.

معظم خبراء علوم الحاسب يستخدمون لغة Lisp و/أو C ذهنيا، حسب ما إذا كنا نريد أن يكون المترجم أو الكمبيوتر. إذا استخدمنا محاكي ذهني قوي النوع، فهو فوق النوع. حتى هاسكل يفصل إعلانات الأنواع عن التنفيذ.

لكن الرياضيات تتم فقط باستخدام توقيعات النوع! هم يفعلون كل شيء باستخدام ماكروز قوية النوع! إنه مثل حالة الحد لأنواع هندلي-ميلنر، إذا تم التوسع التكهني لإيجاد ضغطات أفضل. وهذا يسمح للرياضيين بعمل تجميع محسن للبرامج، بشكل مجرد.

الآن بعد أن بدأت أعمل على حسابات حقيقية، أرى قوة هذا النهج. لكن أعتقد أن قوة نهج علوم الحاسب لا تقدر من قبل الرياضيات. لأن حكمة علوم الحاسب هي أن الموتر هو مصفوفة، لكن المصفوفة ليست موترا. المتغيرات هي أي شيء يمكنك إلقاء الإشارة إليه.

الرياضيون يعرفون عن القوالب الصغيرة، لكنهم يسمونها أسماء مضحكة مثل "التحويلات". ويعترفون، تحت الضغط، أنه إذا كان لديك التمثيل المناسب يمكنك استخدام متجه كدوران ببعد مقابل.

لكنهم سيقولون، أنت لا تستخدم المتجه كدوران، بل اشتقت متجه ثنائي تحت وهلم جرا. هذا صحيح إذا كنت من محبي الفحص الخارق في HM. هذا غير صحيح إذا كنت مترجما، أو متداخلا، أو كمبيوتر.

على أي حال، ما زلت أبحث عن المشاكل مع الرياضيين بسبب ذلك لأنه من السخيف جدا أن نرفض أن التصنيف بالبط يعمل، لكنهم على حق، لا يزال يتطلب توحيد الأنواع.

@St_Rev ولا، الموتر هو نوع فرعي من المصفوفة، وليس العكس. المصفوفة هي الكائن الأكثر عمومية، ويجب على الموترات أن تلتزم بمزيد من القيود.

@SokobanHero بما أن الخريطة متعددة الخطوط يمكن دائما تحقيقها كمصفوفة (حسنا، تقنيا مصفوفة فائقة، لأن الناس يستخدمون المصفوفة فقط لتعني مصفوفة n-dim من الرتبة 2) والعكس في بعض المساحات، أعتقد أنه من المنطقي بنفس القدر الذهاب في أي اتجاه.