ML: Metaproqramlama ilə başlayın

Açıqlama: Dəstəyiniz saytın işini davam etdirməyə kömək edir! Bu səhifədə tövsiyə etdiyimiz bəzi xidmətlər üçün bir müraciət haqqı qazanırıq.


ML “meta dil” mənasını verir və ML ümumi məqsədli proqramlaşdırma dilləri ailəsinin üzvüdür.

Bir çox erkən proqramlaşdırma dilləri kimi, ML də akademik ictimaiyyət tərəfindən tədqiqat məqsədi ilə yaradıldı və xüsusiyyətləri onun izi ilə gələn bir çox proqramlaşdırma dillərinə təsir etdi..

ML nədir?

ML çox paradiqma, genişləndirilmiş funksional proqramlaşdırma dilidir. Yan təsirlərə yol verdiyinə görə tez-tez “murdar” funksional bir dil kimi qeyd olunur. ML-nin imperativ xüsusiyyətləri funksional bir əsas üzərində qurulmuşdur.

Digər proqramları manipulyasiya edən və ML-nin orijinal məqsədi olan yazı proqramları üçün xüsusilə faydalıdır. ML, açıq ifadələr olmadan ən çox ifadələrin növlərini avtomatik təyin edə bilən Hindley-Milner tipli sistemdən istifadə ilə məşhurdur..

ML müxtəlif proqramlaşdırma üçün istifadə olunur:

  • Elmi tətbiqetmələr;
  • Teorem tərtibçiləri;
  • Analizatorlar, tərtibçilər, proqramlaşdırma dilləri;
  • Maliyyə sistemləri tətbiqetmələri;
  • Bioinformatika və şəcərə məlumat bazaları.

ML də təhsildə, əsas proqramlaşdırma məntiqi və metodlarını nümayiş etdirmək üçün giriş proqramlaşdırma kurslarında istifadə olunur.

ML-nin qısa tarixi

ML proqramlaşdırma dili 1970-ci illərdə Robin Milner və Edinburq Universitetindəki həmkarları tərəfindən hesablanmış funksiyalar üçün məntiq (LCF) – interaktiv avtomatlaşdırılmış teorem proveri üzərində işlədikləri müddətdə inkişaf etdirilmişdir. LCF ML-də tətbiq edildi və 1972-ci ildə tətbiq olundu. ML-nin sintaksisi ISWIM proqramlaşdırma dili ilə ilhamlandı.

ML, daha çox ML ailəsinin bir hissəsi olan bir neçə proqramlaşdırma dilinə çevrildi. Bu gün ən vacib iki dialekt Standard ML (SML) və OCaml. ML’in xüsusiyyətləri və fikirləri Cyclone, Elm, Nemerle, Haskell, C ++ və digərləri kimi bir çox digər dillərə təsir etdi..

Xüsusiyyətləri

Bu tip təhlükəsizliyi təmin etmək üçün Hindley-Milner tipli sistemdən istifadə edərək ciddi yazılmış bir dildir. Nəticədə yaxşı yazılmış ML proqramı iş vaxtı tipli səhvlərə səbəb olmur. Onun sintaksisi və axınına nəzarət C tipli dillərdən köklü şəkildə fərqlənir, buna görə C və ML kodu arasında mənasız xəritə çəkməyə rast gəlməyəcəksiniz.

ML, zibil toplama vasitəsi ilə avtomatik yaddaş idarəetmə sisteminə sahibdir, burada yaddaş avtomatik tərtibçi tərəfindən ayrılır və sərbəst buraxılır. Parametrik polimorfizm dəstəklənir, yəni istənilən uyğun bir parametr götürə bilən tək bir polimorfik funksiya yaza bilərsiniz.

ML, birinci dərəcəli funksiyalara və leksik bağlanmalara malikdir, bu da bir çox funksiya, imperativ proqramlaşdırma dillərində çox mürəkkəb ola biləcək bir vəzifə hazırlamağı çox asanlaşdırır..

ML də nümunə uyğunluğu ilə polimorf recursive datatypes-i dəstəkləyir və struktur və imza ətrafında mərkəzləşmiş mükəmməl bir modul sisteminə malikdir. Əvvəlcə həvəsləndirici qiymətləndirmədən istifadə olunur, yəni bütün alt ifadələrin daima qiymətləndirildiyi, tənbəl qiymətləndirmənin bağlanmalardan istifadə etməklə əldə edilə biləcəyi deməkdir.

ML ilə başlamaq

Proqramlaşdırma metodları və məntiqlə bağlı əvvəlki təcrübəniz varsa, ML proqramlaşdırma ilə başlamağınız bir çox problem yaratmamalıdır. Ancaq ML proqramlaşdırma üçün ilk girişinizdirsə, daha tələbkarlara keçməzdən əvvəl əsas dərslər və kurslardan başlamalısınız.

ML inkişaf mühitiniz

Öz şəxsi ML inkişaf mühitinizi açıq şəkildə qurmalı olacaqsınız. Nyu-Cersi standart ML (SML / NJ) törəmə və tərtibatçıdan istifadə etməyi təklif edirik, çünki bu ML proqramlaşdırma dili üçün ilk və ən populyar kompilyatordur..

SML / NJ hazırda üç böyük əməliyyat sistemi platformasında dəstəklənir: Mac OS X, Linux və Windows. Başqa sözlə, yalnız bir kompüterdə ML inkişaf mühitini işlətməkdə çətinlik çəkməməlisiniz.

Bu platformalarda ML-nin quraşdırılması sadə və yaxşı sənədləşdirilmişdir. SML / NJ yükləmə səhifəsində platformanız üçün düzgün yükləməni seçin və quraşdırma təlimatlarına əməl edin.

Resurslar

ML illərdir ki, müxtəlif mənbələrin çatışmazlığı yoxdur. Dil öyrənməyə gəldikdə, bu həmişə yaxşı bir şeydir. Ancaq unutmayın ki, bir çox ML mənbələri olduqca köhnədir və köhnəlmiş ola bilər.

Axtarışımızı müvafiq və nisbətən yaxınlarda hazırlanan dərsliklərə, elektron kitablara və interaktiv kurslara yönəltdik. Ancaq yeni başlamış olsanız, köhnə mənbələr də kömək edə bilər.

ML kursları və dərs vəsaitləri

Nəzəri mənbələrə diqqət yetirmək ML proqramlaşdırmasında ilk addımlarınızı atmaq üçün yaxşı bir yoldur, ancaq əsasları mənimsədikdən sonra praktik nümunələrə keçməlisiniz..

ML-nin bütün potensialını həqiqətən qiymətləndirmək üçün bunu hərəkətdə görmək məcburiyyətində qalacaqsınız. Əsas sintaksis ilə rahat olduqdan sonra təliminizi növbəti pilləyə keçirə və praktiki təlimatlar və dərs vəsaitləri ilə tanış ola bilərsiniz:

  • Standard ML ’97-də proqramlaşdırma: Stephen Gilmore tərəfindən təqdim olunan On-line Təlim: bu, ML dilində vacib anlayışları təqdim edən və qısa nümunələrlə izah edən pulsuz bir ML təlimidir. Müxtəlif formatlarda mövcuddur.
  • Robert Harper tərəfindən Standard ML (pdf) -də proqramlaşdırma: bu Carnegie Mellon Universitetinin “Kompüter Elmləri 12-212: Proqramlaşdırma Prinsipləri” kursu üçün yaradılmış pulsuz ML təlimidir.
  • Andrew Cumming tərəfindən ML-yə zərif bir giriş: bu bir çox digər faydalı qaynaqları olan ML-yə giriş və yeddi dərs olan pulsuz bir kursdur..
  • Mads Tofte tərəfindən standart ML (düzəliş edilmiş) (pdf) üzrə kompüter alimləri üçün göstərişlər: bu pulsuz kitabdır, ML proqramlaşdırmasına dair çoxsaylı faydalı məsləhətlər.

Əlavə mənbələr

Növbəti addım nümunə kodu çox olan praktik dərslər kimi daha mürəkkəb mənbələrə diqqət yetirməkdir. Bu real həyat nümunələri ML proqramlaşdırma anlayışınıza kömək edəcəkdir. Ən çox müraciət olunanlardan bir neçəsini ayırd etdik:

  • New Jersey İstifadəçi Bələdçisinin Standard ML: bu SML / NJ quraşdırılmasından başlayaraq FAQ, xüsusi xüsusiyyətlər, tərtibatçı quruluşu və kitabxanalara qədər olan hər şeyi əhatə edən SML / NJ istifadə edərək Standard ML-də proqramlaşdırma üçün onlayn təlimatdır..
  • Standard ML Əsas Kitabxanası, Standard ML Əsas Kitabxanası üçün bir onlayn istinaddır.

Kitablar

ML proqramlaşdırmasına dair bir neçə kitab da daxil etdik. Bu elektron kitabların çoxu ML müəllimləri tərəfindən tövsiyə olunur və praktiki təlimatlar və dərs vəsaitləri üzərində işləyərkən istinad olaraq lazımlı olacaq:

  • İşləyən Proqramçı üçün ML, L C Paulson tərəfindən 2-ci Edition: bu, ML dilində proqramın necə izah olunmasına və funksional proqramlaşdırmanın əsaslarını öyrətməyə yönəlmişdir..
  • Jeffrey D Ullman tərəfindən ML Proqramlaşdırma elementləri, ML97 Edition (2-ci Edition): bu kitab, ML proqramlaşdırma mövzusunda çox əlçatan, addım-addım giriş təlimatı və inkişaf etmiş xüsusiyyətlərə tam istinad və izahat verir. Əvvəlcədən ML və ya funksional proqramlaşdırma barədə bilik tələb olunmur.
  • Felleisen və Friedman tərəfindən hazırlanan Little MLer: bu kitab, proqramlaşdırma üçün yeni olanları, digər proqramlaşdırma dillərində təcrübəli olanları, tip, hesablama və proqram quruluşu prinsipləri ilə tanış edir..

İrəli hərəkət

Bütün proqramlaşdırma dillərində olduğu kimi, ML də nəticədə öyrəniləcəkdir. Beləliklə, inkişaf mühitinizi qurun və bu mənbələrin köməyi ilə kodlaşdırmağa başlayın. Uğurlar!

Digər maraqlı proqramlaşdırma dilləri haqqında məlumat əldə edin.

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