בית התפתחות מה זה צ'י? - הגדרה מטכנולוגיה

מה זה צ'י? - הגדרה מטכנולוגיה

תוכן עניינים:

Anonim

הגדרה - מה המשמעות של צ'י?

צ'י היא שפת תכנות פונקציונלית שמתאימה היטב להערכות מתמטיות ולתכנות של משוואות ופונקציות מתמטיות. צ'י מציע את היתרונות של התאמת דפוסים, עקביות בחישוב למבדה, בדיקת סוג סטטי והערכה עצלנית אופציונלית.

Qi כתוב ב- Common Lisp ומייצר תוכניות אבטחה מסוגים יעילים העשויים לפעול בכל מחשב. זה פותח על ידי ד"ר מארק טרוור ושוחרר לראשונה תחת GPL בשנת 2005, אך הדבר נחשב לא מתאים ליישומים מסחריים. Qi II זמין תחת שני רישיונות קנייניים: האחד לפיתוח קוד סגור, תוכנה קניינית והשני לשימוש חינוכי ואישי.

Techopedia מסביר את צ'י

צ'י שוחרר לראשונה באפריל 2005. צ'י מגדיר סוגים תוך שימוש בסימון לוגי של חישוב ברצף ותחת פרשנותו של צ'י, סימון סוג זה יכול להיחשב כשפה Turing שלמה. באמצעות סימון זה, צ'י יכול להקצות מערכות מסוג הרחבה לספריות Common Lisp, שהיא תכונה די חזקה בשפה.


פרויקט L21 נועד למודרניזציה של ליס, כך שיוכל לעמוד בקצב הצרכים המשתנה של המחשוב במאה ה 21; מכאן השם. הפרויקט הושק מכיוון שליספ היו כמה אתגרים שאסרו את דרכו לאימוץ רחב יותר. ד"ר טרבר זיהה אתגרים אלה באופן ספציפי כחוסר התאמה דפוסית של ליספס, זיהום פרוצדורלי, חוסר עקביות ביחס לחישוב למבדה וחוסר הקלדה סטטית.

מה זה צ'י? - הגדרה מטכנולוגיה