אנחנו עובדים על שחזור אפליקציית Unionpedia ב-Google Play Store
יוֹצֵאנִכנָס
🌟פישטנו את העיצוב שלנו לניווט טוב יותר!
Instagram Facebook X LinkedIn

ML (שפת תכנות)

מַדָד ML (שפת תכנות)

ML היא שפת תכנות פונקציונלית לשימוש כללי, שפותחה בתחילת שנות השבעים על ידי רובין מילנר ואחרים באוניברסיטת אדינבורו. [1]

תוכן עניינים

  1. 24 יחסים: C++, Haskell, מערכת טיפוסים, מפרש (תוכנה), מתמטיקה, מחסנית קריאות, מדעי המחשב, מהדר, מיקרוסופט, אוניברסיטת אדינבורו, איסוף זבל (מדעי המחשב), עצרת (מתמטיקה), פונקציה (תכנות), ראשי תיבות, רקורסיה, שנות ה-70 של המאה ה-20, שפת תכנות, תנאי עצירה, תכנות אימפרטיבי, תכנות פונקציונלי, טענה, טיפול בחריגות (תכנות), ביואינפורמטיקה, .NET.

  2. שפות תכנות פונקציונליות

C++

היא שפת תכנות מרובת פרדיגמות המבוססת על שפת התכנות C, שפותחה בשנות ה־80. מיישמת עקרונות של תכנות פרוצדורלי, תכנות מונחה־עצמים ותכנות גנרי. שפה זו היא מהשפות הפופולריות בקרב מתכנתים בעולם, ושפות פופולריות אחרות (כגון Java ו־#C) הושפעו ממנה במידה רבה.

לִרְאוֹת ML (שפת תכנות) וC++

Haskell

Haskell (הסקל) היא שפת תכנות פונקציונלית טהורה, ובעלת טיפוסיות חזקה.

לִרְאוֹת ML (שפת תכנות) וHaskell

מערכת טיפוסים

בשפות תכנות, מערכת טיפוסים (או מנגנון הטיפוסים) של שפה הוא אוסף הכללים התחביריים המסווגים משתנים או ביטויים, לפי הערכים אותם הם יכולים לקבל.

לִרְאוֹת ML (שפת תכנות) ומערכת טיפוסים

מפרש (תוכנה)

מפרש (אנגלית: Interpreter) הוא תוכנה הקוראת תוכנית מחשב הכתובה בשפת תכנות ומבצעת אותה ישירות, פקודה אחר פקודה.

לִרְאוֹת ML (שפת תכנות) ומפרש (תוכנה)

מתמטיקה

שיעור באלגברה ליניארית באוניברסיטת הלסינקי ילדות פותרות תרגיל במתמטיקה מָתֵמָטִיקָה היא תחום דעת העוסק במושגים כגון כמות, מבנה, מרחב ושינוי.

לִרְאוֹת ML (שפת תכנות) ומתמטיקה

מחסנית קריאות

שגרות רצות. כל מסגרת מתאימה לקריאה לשגרה שעדיין לא סיימה לרוץ. לדוגמה, אם כרגע רצה שגרה בשם DrawLine, לאחר שהיא נקראה מתוך שגרה בשם DrawSquare, החלק העליון של מחסנית הקריאות יכול להראות כמודגם בתרשים זה.

לִרְאוֹת ML (שפת תכנות) ומחסנית קריאות

מדעי המחשב

מדְעי המחשב הם ענף מדעי העוסק בלימוד הבסיס התאורטי והמעשי של השימוש במערכות מחשב, ובמידה מסוימת, גם בשאלה של תכנון ובנייה של מערכות מחשב.

לִרְאוֹת ML (שפת תכנות) ומדעי המחשב

מהדר

תרשים המתאר פעולת מהדר בעל מספר שפות ומספר יעדים מְהַדֵּר (באנגלית: Compiler) הוא תוכנית מחשב המתרגמת משפת מחשב אחת לשפת מחשב אחרת.

לִרְאוֹת ML (שפת תכנות) ומהדר

מיקרוסופט

תאגיד מיקרוסופט (באנגלית: Microsoft Corporation) היא חברת תוכנה, מחשבים ומוצרי אלקטרוניקה אמריקאית רב-לאומית, שבסיסה ברדמונד, ליד העיר סיאטל שבמדינת וושינגטון, ארצות הברית.

לִרְאוֹת ML (שפת תכנות) ומיקרוסופט

אוניברסיטת אדינבורו

הקולג' החדש" באוניברסיטת אדינבורו אוניברסיטת אדינבורו (באנגלית: University of Edinburgh), אשר נוסדה בשנת 1583, היא אוניברסיטת מחקר ציבורית סקוטית הממוקמת בעיר אדינבורו, בירת סקוטלנד.

לִרְאוֹת ML (שפת תכנות) ואוניברסיטת אדינבורו

איסוף זבל (מדעי המחשב)

איסוף זבל (באנגלית: Garbage collection) הוא תהליך שבו סביבת הריצה של תוכנית מחשב משחררת באופן אוטומטי זיכרון שהוקצה דינאמית ואין בו עוד צורך.

לִרְאוֹת ML (שפת תכנות) ואיסוף זבל (מדעי המחשב)

עצרת (מתמטיקה)

במתמטיקה, עֲצֶרֶת (באנגלית: Factorial) היא מכפלת כל המספרים הטבעיים מ־1 ועד למספר נתון.

לִרְאוֹת ML (שפת תכנות) ועצרת (מתמטיקה)

פונקציה (תכנות)

#הפניה שגרה (תכנות).

לִרְאוֹת ML (שפת תכנות) ופונקציה (תכנות)

ראשי תיבות

International Research Association for Talent Development and Excellence ראשי תיבות (ר"ת; מכונה לעיתים בלשון חז"ל גם: נוטריקון - מלטינית: "לכתוב", "לסמן באותיות") הם טכניקה של כתיב מקוצר שבה נכתב ביטוי נפוץ רק באמצעות האות הראשונה של כל מילה המרכיבה אותו.

לִרְאוֹת ML (שפת תכנות) וראשי תיבות

רקורסיה

משולש שרפינסקי – רקורסיה של משולשים אשר יוצרת סריג פרקטלי רקורסיה הנוצרת בעזרת תוכנה ללכידת מסך המצלמת את עצמה בפעולה רֵקוּרְסִיָּה (בעברית: נסיגה) היא תופעה שכל מופע שלה מכיל מופע נוסף שלה, כך שהיא מתרחשת ומשתקפת בשלמותה בתוך עצמה שוב ושוב.

לִרְאוֹת ML (שפת תכנות) ורקורסיה

שנות ה-70 של המאה ה-20

סימן הניצחון לאחר התפטרותו מתפקידו בעקבות פרשת ווטרגייט בשנת 1974, תצלום של פליטים וייטנאמים לאחר כיבוש בירת וייטנאם סייגון - אירוע שהוביל בהמשך לסיומה של מלחמת וייטנאם ב-1975, במסגרת משבר האנרגיה של 1973 ארצות ערב גרמו לנזק כלכלי במדינות המערב כאשר הם צימצמו את אספקת הנפט לעולם המערבי והעלו באופן חד את מחיר הנפט, תצלום של מנהיגי ישראל ומצרים לוחצים ידיים לאחר החתימה על הסכמי קמפ-דייוויד בשנת 1978, תצלום של ציקלון בולה, סופת הציקלון הקטלנית ביותר שתועדה בהיסטוריה - גרמה בשנת 1970 למותם של כ-500 אלף אנשים באזור שפך נהר הגנגס, במסגרת המהפכה האיראנית שמתחוללת באיראן ב-1979 הופכת איראן ממדינה אוטוקרטית, מערבית, ומונארכית תחת שלטונו של מוחמאד רזה שאה פהלאבי, לרפובליקה איסלאמית-תיאוקרטית בהנהגת האייתולה חומייני, הפופולריות של ז'אנר הדיסקו מגיע לשיאה ברחבי העולם במהלך החצי השני של העשור שנות ה-70 של המאה ה-20 (העשור מכונה גם בקיצור שנות השבעים, או בסלנג הסבנטיז) היו העשור השמיני של המאה ה-20, החלו ב-1 בינואר 1970 והסתיימו ב-31 בדצמבר 1979.

לִרְאוֹת ML (שפת תכנות) ושנות ה-70 של המאה ה-20

שפת תכנות

המונח שפת תכנות אוגד בתוכו מספר שפות מחשב שהן תמיד לוגיות, ומשמשות לבניית תוכנה.

לִרְאוֹת ML (שפת תכנות) ושפת תכנות

תנאי עצירה

תנאי עצירה (באנגלית: stopping condition) הוא סוג פקודת תנאי, אשר מטרתו היא לעצור פעולה מסוימת באלגוריתם.

לִרְאוֹת ML (שפת תכנות) ותנאי עצירה

תכנות אימפרטיבי

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

לִרְאוֹת ML (שפת תכנות) ותכנות אימפרטיבי

תכנות פונקציונלי

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

לִרְאוֹת ML (שפת תכנות) ותכנות פונקציונלי

טענה

טַעֲנָה (בלועזית: פְּרוֹפּוֹזִיציה) היא מושג מרכזי בפילוסופיה של הלשון ובתחומים דומים.

לִרְאוֹת ML (שפת תכנות) וטענה

טיפול בחריגות (תכנות)

#הפניה טיפול בחריגות.

לִרְאוֹת ML (שפת תכנות) וטיפול בחריגות (תכנות)

ביואינפורמטיקה

מפת כרומוזום X אנושי (מתוך אתר NCBI). מיפוי גנום האדם הוא אחד מהישגי הביואינפורמטיקה. ביואינפורמטיקה (באנגלית: Bioinformatics), (ביולוגיה חישובית) עוסקת בחקר המידע הביולוגי באמצעות מחשב.

לִרְאוֹת ML (שפת תכנות) וביואינפורמטיקה

.NET

.NET (דוט נט, בעבר נקראה NET Core.) היא פלטפורמה חופשית מבית חברת התוכנה מיקרוסופט, מבוססת קוד פתוח וחוצה-פלטפורמות, המאפשרת פיתוח והרצת תוכנה.

לִרְאוֹת ML (שפת תכנות) ו.NET

ראה גם

שפות תכנות פונקציונליות

אזכור

[1] https://he.wikipedia.org/wiki/ML_(שפת_תכנות)