هل Spec# مستقر بدرجة كافية للاستخدام؟[مغلق]
-
22-07-2019 - |
سؤال
هل يستخدم أي شخص هنا Spec# بانتظام؟أود أن أعرف ما إذا كان مستقرًا وقويًا بدرجة كافية قبل أن أبدأ في استخدامه في كل مكان.يبدو أن بناء الجملة يؤثر على الإصدار c# 4.0، والذي نأمل أن يسهل عملية الترقية بمجرد إصدار الإصدار 4.0.أفكار؟
المحلول
أعتقد أن ذلك يعتمد على ما تعنيه بكلمة "مستقر".هناك تفسيران محتملان:
- "لا تحطم"
- "لا تغيير"
لا أعلم بشأن رقم 1، لكن إذا كنت تقصد رقم 2، حسنًا، المواصفات # تم التخلي عنها ولم تعد قيد التطوير، لذلك من المحتمل أن تكون مستقرة كما ستحصل عليها.
التقنيات والأدوات التي تم استخدامها في المواصفات# (تسمى أداة التحليل الثابت الرقصة ومثبت النظرية / حل القيد Z3) أصبحت الآن جزءًا من مكتبة جديدة تسمى عقود التعليمات البرمجية لـ .NET.إن النتيجة النهائية لكونك مكتبة هي أن عقود التعليمات البرمجية ستعمل من أجلها أي لغة صافية:C#، VB.NET، F#، Ruby، Python، JavaScript، Lisp، Smalltalk، Boo، سمها ما شئت.الجانب السلبي هو أنك لا تحصل على تكامل اللغة، لذلك لا يوجد بناء جملة لطيف للعقود.
ستكون عقود التعليمات البرمجية لـ .NET جزءًا من .NET 4.0 / Visual Studio 2010، ولكن لسوء الحظ لن يكون هناك دعم DbC بأي من لغات Microsoft.