פרטי תוכנה:
בשלב זה תומך בשפה Haskell 98 כולו ומגוון רחב של הרחבות שפה
מאפיינים :.
- יש GHC תמיכה טובה במיוחד למקביליות והקבלה, כוללים תמיכה בתוכנת זיכרון Transactional (STM).
- GHC מייצר קוד מהיר, במיוחד לתוכניות במקביל. תסתכל על הביצועים של GHC על מחשב שפת Benchmarks המשחק, וכמה הערות על Haskell ידי המארגן הנוכחי של קרב היריות, ברנט Fulgham.
- GHC עובד בכמה פלטפורמות, כולל Windows ורוב הזנים של יוניקס, וכמה ארכיטקטורות מעבד שונות. יש הוראות מפורטות לporting GHC לפלטפורמה חדשה.
- יש GHC יכולות אופטימיזציה נרחבות, כולל בין-מודול אופטימיזציה.
- GHC הידור קוד Haskell או באמצעות מהדר C ביניים (GCC), או על ידי יצירת קוד ילידים בכמה פלטפורמות. הסביבה האינטראקטיבית הידור Haskell לbytecode, ותומכת בביצוע המעורב bytecode תוכניות מלוקט /.
- פרופיל נתמך,. הן על ידי זמן / הקצאה וסוגים שונים של פרופיל ערימה
- GHC מגיע עם מגוון רחב של ספריות.
מה חדש בהודעה זו:
- כברירת מחדל, GHC יש אזהרה חדשה אפשרה, -fwarn -typed-חורים, מה שגורם למהדר להגיב עם הסוגים של משתנים מאוגד הוא נתקל בקוד המקור.
- עכשיו זה אפשרי להכריז משפחת סוג 'סגורה' בעת שימוש בסיומת TypeFamilies.
- GHC תומך כעת עומס יתר literals רשימה באמצעות הארכת OverloadedLists החדשה.
- GHC תומך כעת מילים נרדפות דפוס, מופעל על ידי הארכת -XPatternSynonyms.
מה חדש בגרסת 7.6.2:
- ארוך שנתי באג typechecker שאיפשר unsafeCoerce ל ייכתב תוקן.
- תיקון הבאג שגרם לGHC לפעמים לא מבין שהידור מחדש היה צורך.
- אם שני -H וx3c -M & #; x3e גודל & #; הדגל ניתנים, אז GHC כבר לא יעלה על גודל הערימה המרבי.
- שגיאת off-על אחד, אשר עלול לגרום segfaults, בניתוח דגל RTS תוקנה.
- באגים שונים שעלול לגרום לGHC להיכנס לפאניקה כאשר הקומפילציה קבצי מקור מסוימים תוקנו.
- כמה באגים בסוג בדיקת הרחבות DataKinds וPolyKinds תוקנו.
- ביצועים של תוכניות מלוקט שופרו במקרים מסוימים.
מה חדש בגרסת 7.6.1 :
- וסוגי Polymorphic וקידום הנתונים עכשיו מיושמים במלואו תכונות נתמכות:. סעיף 7.8, & quot; סוג פולימורפיזם & quot;
- 64bit Windows הוא כעת פלטפורמה נתמכת.
- עכשיו זה אפשרי לדחות שגיאות סוג עד זמן ריצה באמצעות דגל -fdefer סוג-שגיאות:. סעיף 7.13, & quot; דחיית שגיאות סוג לריצה & quot;
- RTS תומך כעת לשנות את מספר היכולות בזמן ריצה עם Control.Concurrent.setNumCapabilities:. סעיף 4.15.2, & quot; אפשרויות RTS לSMP הקבלה & quot;
מה חדש בגרסת 7.4.2:.
- hp2ps יכול כעת להתמודד עם לוכסנים במזהים נכון
מה חדש בגרסת 7.4.1:
- יש תכונה חדשה הבטוח Haskell (-XSafe , -XTrustworthy, -XUnsafe): סעיף 7.23, & quot; הבטוח Haskell & quot ;. העיצוב השתנה מאז 7.2.
יישומים
מה חדש בגרסת 7.0.4: x86
- רגרסיה נקודה צפה ב7.0.3 משפיעה תוקן.
מה חדש בגרסת 7.0.2:
- Compiler:
- הישן [foo $ | ... |]. תחביר עובד שוב, אבל לא מומלץ לשימוש
- יש כבר improvments המשמעותי לבודק הסוג החדש.
- GHCi:
- Loading .א ספריות עכשיו זה אפשרי בכל הפלטפורמות. ספריית .o עדיין תהיה בשימוש על ידי העדפה אם שני קיימים. GHCi כבר לא להתריע על חסר .o ספריות.
- עכשיו אנחנו סוגרים .ghci קבצים אחרי שקראתי אותם, שעל מכונות Windows מאפשר להם לשנות תוך GHCi פועל.
- עכשיו זה אפשרי ל:. Unset משתני ghci (args, פרוג, הפקודה, עורך ולהפסיק)
- Runtime:
- DTrace נתמך כעת על Solaris, בנוסף לX OS.
- לבנות מערכת:
- X OS בונה על 10.6 עכשיו לעבוד על שניהם 10.5 ו -10.6.
- התקנות של Windows כוללות כעת libstdc DLL ++.
- הדוק:
- GHC עכשיו מגיע עם חמור ים 2.9.0.
- GHC כולל כעת מאגרי מידע hoogle לספריות.
מערכת
מה חדש בגרסת 7.0.1:
- בפלטפורמות POSIX, יש לי חדש / מנהל O מבוסס על epoll / KQUEUE / סקר, המאפשר קוד I / O מרובה הליכי בקנה המידה למספר גדול בהרבה (100k +) של אשכולות.
- GHC כולל כעת מחולל קוד LLVM. לקוד מסוים, קוד כבד במיוחד חשבון, באמצעות מחולל קוד LLVM יכול להביא כמה שיפורי ביצועים נחמדים.
- . בודק הסוג כבר שופץ, מה שאומר שכעת היא יכולה להתמודד בצורה נכונה אינטראקציות בין הרחבות מערכת הסוג
- inliner כבר שופץ, שאמור באופן כללי לתת ביצועים טובים יותר תוך הפחתת פיצוץ קוד בגודל מיותר.
- חלקים גדולים של מערכת זמן הריצה כבר שיפצו, בפרט המכונות הקשורים לחסימה והתעוררות של נושאים וזריקה יוצא מן הכלל (throwTo). כמה מקרים של ביצועי פתולוגי תוקנו, במיוחד שבו מספר גדול של נושאים מעורבים.
- עקב שינויים במערכת זמן הריצה, אם אתה משתמש בControl.Parallel.Strategies מהחבילה המקבילה, שדרג לגרסה 2 לפחות (רצוי גרסה 3). יישום אסטרטגיות במקביל-1.x יאבד הקבלה עם GHC 7.0.1.
תגובות לא נמצא