البيانات :: الأبعاد
التحميل الان

البيانات :: الأبعاد الترتيب والملخص

البيانات :: الأبعاد العلامات

الوحدة النمطية بيرل وحدات القيم بدني نوع القيم الوحدات المادية

البيانات :: الأبعاد وصف

البيانات :: الأبعاد هي وحدة نمطية للمستخدمين تكتب بقوة مع الوحدات الفيزيائية. البيانات :: الأبعاد هي وحدة من بيرل مع قيم تكتب بقوة مع الوحدات الفعلية. استخدام بيانات الاستخدام :: الأبعاد QW (الوحدات الموسعة)؛ بلدي الطاقة = البيانات :: الأبعاد-> جديد ({{{{joule => 1})؛ # أو، أكثر من ذلك ببساطة ... My $ MAST = الوحدات ({kg => 1})؛ بلدي $ C = الوحدات ({m => 1، s => - 1})؛ $ mass-> set = 10؛ $ c-> set = 299_792_458؛ # يتحقق تلك الوحدات من MC ^ 2 نفس الطاقة، استخدم بناء جملة غير مباشر ... تعيين $ الطاقة = $ MASS * $ C ** 2؛ # ارتكبت خطأ في اليمين، لذلك يموت مع الخطأ تعيين الطاقة $ = $ Mass * $ C ** 3؛ حذر مع تلك المعادلة، Eugenein ستعمل التحقق من العديد من أنواع التطبيقات التعليمات البرمجية أكثر قوة مثل الخوارزمية (بدلا من بناء الجملة) يمكن العثور عليها تلقائيا. معظم اللغات التي تنفذ نظام النوع (على سبيل المثال. ج) تذهب فقط بقدر منح كل متغير أو وظيفة خاصية نوع واحد (مثل int fropnicate (int x، float y)) والتي يمكن أن تكون نوعا يعرف المستخدم (a typedef c ). هذا النظام مفيد ولكنه أقل من الكتابة المطلوبة في العديد من التطبيقات، على سبيل المثال، لا يمكنه التقاط الخطأ التالي (مرة أخرى، في ج): Pence_per_gallon Unit_Price؛ حجم الصوت سعر بنس السعر = حجم / وحدة unit_price؛ بدلا من ذلك، نحن نريد Unit_Price أن يكون لديك نوع من Pence Per Gallon، وحجم نوع من غالون وسعر من Pence. نريد أيضا أن تدافع هذه الأنواع من خلال التعبيرات بحيث يكون النوع الناتج من وحدة التخزين / Unit_Price جالونات / (Pence / Gallons) == Gallons ** 2 / PenceWhich ليس من الواضح أن النوع من النوع الذي يمكننا اكتشافه، وبالتالي رسالة خطأ مناسبة.ماني التطبيقات العلمية تتطلب أيضا كتابة قوية لهذا النموذج، على سبيل المثال المعادلة الشهيرة E == M * C ** 2 هي مثل هذا النوع (أو الوحدات) للطاقة (Joule) مطابق لوحدات كتلة (كجم) أضعاف وحدات سرعة الضوء (م / ث) التربيعي، وهذا يوفر إشارة إلى أن المعادلة صحيحة، وإذا كنا نستفيدها كجزء من حساب في البرنامج، يمكننا استخدام الوحدات من الكميات اللازمة لضمان أن ندخل برنامجنا بشكل صحيح. من المهم أيضا أن نلاحظ أنه في كثير من الحالات سيكون لديك كم كم من وحدات مختلفة ولكن يتم استخدامها لقياس نفس الممتلكات الأساسية لشيء ما. على سبيل المثال، قياس متر متري والقدم الإمبراطورية طول كائن. كمثال، يمكن احتساب حجم الخشب في لوح رفيع على قدمه: طول $ في الساحات التي يتم عرضها باليد في القدمين عمق دولار في بوصة $ يمكن أن يحسب حجم حجمنا من خلال تحويل جميع القياسات بعناية للحصول على نفس الوحدات ( بوصة، قل) ولكن هذا يدخل كميات كبيرة من التعليمات البرمجية في تطبيقنا الذي ليس أمرا حاسما للمشكلة التي نحاول حلها (وهذا شيء سيء، تذكر). بدلا من ذلك، إذا تم كتابة جميع متغيراتنا، فيمكننا الحصول عليها لإجراء التحويل التلقائي بين الوحدات المختلفة، بحيث تكون حجم $ = طول $ * عرض $ * $ عمق؛ هو كل ما نحتاجه ليقوله. متطلبات: perl.

البيانات :: الأبعاد برامج ذات صلة