למד תכנות האסל: התחל עם שפת תכנות פונקציונלית זו

גילוי נאות: התמיכה שלך עוזרת להפעיל את האתר! אנו מרוויחים דמי הפניה עבור חלק מהשירותים שאנו ממליצים עליהם בדף זה.


שפת התכנות Haskell נקראה על שם הלוגיקן Haskell Brooks Curry, שעבודתו על לוגיקה מתמטית משמשת כבסיס לשפות תכנות פונקציונאליות..

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

מה זה האסל?

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

להיות שפה פונקציונלית גרידא פירושו שלפונקציות בהאסקל אין תופעות לוואי, כאשר מבנה נפרד מספק לייצוג תופעות לוואי – אורתוגונליות.

להסקל מפרט פתוח ומפורסם ויישומי רבים של האסקל קיימים תחת רישיונות קוד פתוח שונים. מהדר המכללות גלאזגו (GHC) הוא היישום העיקרי של האסקל והוא הפך לדיאלקט הרגיל של הסקל..

Haskell נמצא בשימוש נרחב בקורסי תכנות חינוכיים ותעשייה. לדוגמה, כל הדברים הבאים מיושמים ב- Haskell:

  • מנהל חלונות Xmonad

  • מערכת בקרת התיקון של דרקס

  • פיתוח כלי מערכת של Linspire

  • כלי תכנון מוליכים למחצה של Bluespec SystemVerilog

  • הגנה מפני פייסבוק נגד דואר זבל

  • אימות אלגוריתמים קריפטוליים.

היסטוריה קצרה

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

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

גרסת 1.0 של הסקל הוגדרה בשנת 1990, על סמך סמנטיקה של מירנדה, אך עם תחביר שונה.

המשך עבודתה של הוועדה הביאה למגוון הגדרות שפה נוספות, בין 1.0 ל- 1.4. Haskell 98, שיצא בסוף 1997, הגדיר גרסה מינימלית ויציבה של השפה, עם ספרייה נלווית כבסיס חזק להמשך פיתוח.

Haskell 2010, שפורסם ביולי 2010, הוא המהדורה היציבה האחרונה. מהדורה זו של Haskell מציגה תמיכה בממשק הפונקציות הזרות (FFI), המאפשר כריכה לשפות תכנות אחרות.

תכונות

Haskell היא שפת תכנות שהוקלדה באופן סטטי, ועושה שימוש במערכת מסוג Hindley-Milner כדי להבטיח את בטיחות הסוג. השפה הציגה גם שיעורי טיפוסים – החידוש העיקרי שלה.

האסל הוא פונקציונלי גרידא, ולכן כל פונקציה בהאסקל היא פונקציה במובן המתמטי הטהור; אין הצהרות או הוראות.

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

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

בדומה לשפות תכנות פונקציונליות אחרות, Haskell כולל מערכת ניהול זיכרון אוטומטית באמצעות איסוף זבל, שבה הזיכרון מוקצה ומשוחרר אוטומטית על ידי אספן האשפה..

תחילת העבודה עם האסל

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

סביבת הפיתוח שלך

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

כרגע הוא זמין בשלוש מערכות ההפעלה הגדולות: Mac OS X, Linux ו- Windows.

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

משאבים

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

קורסים והדרכות בהסל

כדי לראות מה יכול Haskell לעשות, אתה צריך לנסות את זה באופן ידני. הדרכות וקורסים אלה מספקים נקודת התחלה טובה:

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

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

  • נסה את Haskell הוא IDE מקוון שיכול להריץ את קוד Haskell, עם הדרכה קצרה משובצת גם כן. זהו מקום טוב לנסות במהירות קוד כלשהו של Haskell.

  • בבית הספר להאסקל ישנם כמה חומרי למידה, מאמרים ומדריכים טובים, הן למתחילים והן למתכנתים של האסל..

  • ל- Haskell.org יש קטע תיעוד טוב מאוד, בו תוכלו למצוא ספרים, קורסים, הדרכות ומשאבים אחרים לתכנות Haskell..

משאבים נוספים

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

  • דוח השפה של Haskell 2010 (pdf) מגדיר את התחביר לתוכניות Haskell והפניה לספריות Haskell..

  • המדריך למשתמש של מערכת ההדרכה של גלזגו הסקלול המפוארת הוא מדריך למשתמש מלא עבור המהדר של גלזגו

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

ספרים

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

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

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

  • דרך ההסל לוגיקה, מתמטיקה ותכנות של Doets ו- Van Eijck תציג בפניכם הלוגיקה והנמקה מתמטית בפועל, ותחבר בין הנמקות לוגיות לתכנות של הסקל..

סיכום

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

Jeffrey Wilson Administrator
Sorry! The Author has not filled his profile.
follow me
    Like this post? Please share to your friends:
    Adblock
    detector
    map