F7 typechecker משופר עבור שפת תכנות F #
הורד עכשיו

F7 דירוג וסיכום

F7 תגים

ביאור F # typechecker. בודק FSI. ליצור fsi typecheckecker

F7 תיאור

F7 פותחה להיות typechecker משופר עבור שפת התכנות F #. F7 תומך בדיקה סטטית של נכסים לידי ביטוי סוגי חידוד. המוטיבציה שלנו היא לבדוק מאפייני אבטחה שונים של קוד יישום F על ידי הקלדה. ה- F7 Typechecker מאפשר למתכנתים סוגים לבטאים ולבדוק סטטיסטית של תוכניות שנכתבו ב- F #. היישום הנוכחי של Typechecker תומך רק subset של F # ועובד הטוב ביותר כאשר סוג ההערות מסופקים על פי ניבים מסוימים. כדי להשתמש ב- Typechecker, המתכנת חייבת לממשקים F7 F7 עבור כל מודול F # בתוכנית THIX. F7 ממשקים יש את su ffi x .fs7 כדי להבדיל אותם מ FRES F # ממשקים (כי יש ffi x .fsi); הם עשויים להכיל סוגים שנמצאים מחוץ למערכת F # #. F # מודולים יש סו Ffi x. בגישה הנוכחית שלנו, כל סוגי סוג ההערות חייבים להינתן בממשק F7. בהתחשב F # מודול M.Fs עם ממשק F7 M.FS7, ניתן להפעיל את typechecker בשתי דרכים. ראשית, זה יכול להיות מופעל עם GONFSI FL AG לייצר F # ממשק M.FSI על ידי מחיקת כל rears: f7.exe -GenFSI M.FS7. שנית, זה יכול להיות מופעל כדי dipecheck m.fs נגד הסוגים שהוכרז M.FS7. f7.exe m.fs7 m.fs. באופן כללי, שורות פקודה אלה יכילו סדרה של F # Modules ו- F7 ממשקים, כולל ממשקים עבור כל מודולי הספרייה. ממשק ספריה מיוחד, שנקרא פרסים ניתן להרחיב ספריה זו כדי לכלול כל מפעיל F # כי התוכנית צריכה להשתמש.

F7 תוכנה קשורה