Bahasa pemrograman MLMengenal Bahasa Pemrograman ML

Pengertian Bahasa Pemrograman ML

ML (Meta Language) adalah bahasa pemrograman fungsional serba guna. Ini berakar pada Lisp, dan telah ditandai sebagai “Lisp dengan tipe”. Hal ini dikenal karena penggunaan sistem tipe Hindley-Milner polimorfik, yang secara otomatis menetapkan jenis ekspresi paling tanpa memerlukan penjelasan jenis eksplisit, dan memastikan keamanan jenis – ada bukti formal bahwa program ML yang diketik dengan baik tidak menyebabkan runtime ketik kesalahan. ML menyediakan pencocokan pola untuk argumen fungsi, pengumpulan sampah, pemrograman imperatif, nilai-panggilan dan kari. Ini banyak digunakan dalam penelitian bahasa pemrograman dan merupakan salah satu dari sedikit bahasa yang harus ditentukan dan diverifikasi sepenuhnya menggunakan semantik formal. Jenis dan pencocokan pola membuatnya sangat cocok dan umumnya digunakan untuk beroperasi pada bahasa formal lainnya, seperti dalam penulisan kompiler, pembuktian teorema otomatis dan verifikasi formal.

Sejarah Bahasa Pemrograman ML

ML dikembangkan oleh Robin Milner dan yang lainnya pada awal 1970-an di Universitas Edinburgh, yang sintaksisnya diinspirasi oleh ISWIM. Secara historis, ML disusun untuk mengembangkan taktik pembuktian dalam pepatah teorema LCF (yang bahasanya, pplambda, kombinasi dari kalkulus predikat orde pertama dan kalkulus lambda polimorfik sederhana, memiliki ML sebagai bahasa metalnya). Hari ini ada beberapa bahasa dalam keluarga ML; tiga yang paling menonjol adalah Standard ML (SML), OCaml dan F #. Gagasan dari ML telah memengaruhi banyak bahasa lain, seperti Haskell, Cyclone, Nemerle, ATS, dan Elm.

Contoh Kode Bahasa Pemrograman ML

Compiler Bahasa Pemrograman ML

  • SML/NJ

LEAVE A REPLY

Please enter your comment!
Please enter your name here