OCaml

צילום מסך תוכנה:
OCaml
פרטי תוכנה:
גרסה: 4.02.3 מעודכן
טען תאריך: 1 Oct 15
מפתחים: INRIA
רשיון: ללא תשלום
פופולריות: 70

Rating: 2.5/5 (Total Votes: 2)

זה יישום של שפת ML, המבוסס על דיאלקט CAML האור מורחב עם מערכת מודול חזקה בסגנון של התקן ML מערכת אובייקט שלמה מעמדית ו.
CAML האובייקטיבי כולל שני מהדרים. אחד מייצר bytecode אשר מתפרש לאחר מכן על ידי תכנית C.
מהדר זה פועל במהירות, הוא נייד למהות כל פלטפורמת יוניקס 32 או 64 ביט ומייצר קוד קומפקטי עם דרישות זיכרון מתונות.
ביצועים של תוכניות שנוצרו הוא די טוב ליישום bytecoded.
ניתן להשתמש במהדר זה או כעצמאי, מהדר אוריינטציה אצווה המייצרת תוכניות עצמאיות, או כמערכת אינטראקטיבית, המבוסס על צומת עליונה.
מהדר האחר מייצר קוד יליד ביצועים גבוהים עבור מספר
של מעבדים.
האוסף לוקח יותר זמן ומייצר קוד גדול יותר, אבל תוכניות שנוצרו לספק ביצועים מעולים, תוך שמירה על דרישות זיכרון המתונות של מהדר bytecode.
CAML מטרה הוא הגרסה הפופולרית ביותר של שפת CAML.
מבחינה שפה, זה מרחיב את שפת ליבת CAML בשכבה מונחה עצמים באופן מלא לכל דבר, כמו גם מערכת מודול חזקה, כולם קשורה במערכת צורות סוג צליל, כולל היקש סוג.
מערכת CAML המטרה היא יישום תעשייתי-כוחה של שפה זו, הכוללת מהדר ביצועים גבוהים ילידים-קוד (ocamlopt) ל9 ארכיטקטורות מעבד (IA32, PowerPC, AMD64, אלפא, ספארק, MIPS, IA64, HPPA, Strongarm), כמו גם מהדר bytecode (ocamlc) ולולאה לקריאה eval-הדפסה אינטראקטיבית (OCaml) לפיתוח וניידות מהירים.
 הפצת CAML המטרה כוללת ספרייה מקיפה סטנדרטית, הבאגים שידור חוזר (ocamldebug), לקסר (ocamllex) ומנתח גנרטורים (ocamlyacc), מראש מעבד די-מדפסת (camlp4) וגנרטור תיעוד (ocamldoc).

מה חדש בהודעה זו:

  • עדכון לTcl / טק 8.6.
  • דחיית הצהרות מרובות של אותה השיטה או משתנים למשל באובייקט.
  • הפץ סוג כלפי דפוס-התאמה, אפילו בנוכחות של גרסאות צורות.

מה חדש בגרסה 4.02.1:

  • עדכון לTcl / טק 8.6.
  • דחיית הצהרות מרובות של אותה השיטה או משתנים למשל באובייקט.
  • הפץ סוג כלפי דפוס-התאמה, אפילו בנוכחות של גרסאות צורות.

מה חדש בגרסת 3.12.1:

  • ניצנים קבועים:
  • משתנים שאינם בשימוש לא זוהו ב" כוללים (struct .. סוף) "
  • באג camlp4 מתוקן הדפסת תחביר בצומת העליונה (דיווח על רשימת CAML)
  • להגדיר: לא מגדיר _WIN32 תחת Cygwin
  • מוקשה השוואה גנריות במקרה שבו שני רחובות מותאמים אישית הם בהשוואה ויש לי קבוצות שונות של פעולות מותאמות אישית.
  • מוקשה השוואה בין bigarrays במקרה שבו יש שני bigarrays סוגים שונים.
  • זיהוי אוטומטי שגוי קבוע של expm1 () וlog1p ().
  • אל תוסיף סיומת .exe בעת התקנת תסריט פגז ocamlmktop
  • ocamldoc: תיקונים קלים הקשורות לתצוגה של אפשרויות ocamldoc
  • באג קבוע עם ערכים ענק בOCAMLRUNPARAM
  • חוסר התאמה בין ההצהרה והגדרה של caml_major_collection_slice
  • משאלות תכונה:
  • '-ml-המילה הנרדפת' נוסף ואפשרויות "-mli-מילה נרדפת 'לocamldep
  • '-ocamldoc' נוספו אפשרות לocamlbuild
  • אפשרות נוסף להוספת אפשרויות לocamlbuild
  • גישה נוסף למנתחי camlp4 הנוכחיים ומדפסות
  • בחירת הוראה משופרת עבור פעולות לצוף על amd64
  • הוסיף פונקציה 'usage_string' לArg
  • אפשר עם אילוצים להוסיף משוואת סוג להגדרת סוג הנתונים
  • אפשר למזג 'before' תגים כמו האחרים
  • אפשר תלות ב" _oasis "קובץ
  • שינויים אחרים:
  • גודל ברירת מחדל השתנה קטין ערימה מ32k 256k למילים.
  • 'compare_ext' פעולה חדשה נוסף ללוקים מותאמים אישית, הנקראים כאשר משווים ערך בלוק מותאם אישית עם מספר שלם ללא קופסה.

מה חדש בגרסה 3.12.0:

  • שיא דפוסים של הטופס {LBL = הטפיחה; _} כדי לסמן שלא כל התוויות רשומות, בכוונה.
  • אזהרות כעת ממוספרות וניתן להדליק ולכבות באופן אינדיבידואלי. המערכת הישנה עם אותיות המתייחסות לקבוצות של אזהרות עדיין נתמך.
  • אפשרות נוסף '-strict-רצף "לכופף את יד חלק השמאלי של רצף יש יחידת סוג.
  • מפה:. ליישם פונקציות מסט שהגיונית למפה
  • להוסיף תמיכה לdynlink ילידים.
  • הסמנטיקה של אזהרת 7 (קוד "M", לעקוף שיטה) השתנתה (זה עכשיו מזהה את כל עוקף, לא רק הגדרות חוזרות ונשנות בתוך אותו הגוף בכיתה), ועכשיו זה לא פעיל כברירת מחדל.

מה חדש בגרסת 3.11.2:

  • תיעוד טוב יותר דקות וw.r.t. המקסימום NaN
  • ocamlbuild משתמש מהדר הלא נכון עבור קבצי C
  • ocamlbuild אינו משתמש כראוי תצורת מידע
  • תחת כמה התקנות של Windows, פעמים הזנק גבוהות לlib יוניקס
  • בעיה עם scanf וCRLF
  • הבעיה ocamlmklib תחת Windows
  • BSD בעיה עם כתובות שקע, למשל, בUnix.getnameinfo
  • גיליון עם ניתוח של literals לצוף על ידי האסמבלר של גנו
  • בעיה עם מודולים וסוגים פרטיים

דרישות :

  • C של גני מהדר - gcc

תוכנה דומה

Rust
Rust

9 Apr 16

Skulpt
Skulpt

12 Apr 15

JPype
JPype

12 May 15

תוכנות אחרות של יזם INRIA

LDPC/LDGM
LDPC/LDGM

2 Jun 15

CardioViz3D
CardioViz3D

11 Jul 15

תגובות ל OCaml

תגובות לא נמצא
להוסיף הערה
הפעל את התמונות!
חיפוש לפי קטגוריות