PEMROGRAMAN FUNCTIONAL
Dalam prakteknya, perbedaan antara fungsi matematika dan pengertian tentang sebuah "fungsi" yang digunakan dalam pemrograman adalah fungsi-fungsi penting yang dapat memiliki efek samping, mengubah nilai yang sudah dihitung perhitungan. Karena mereka tidak memiliki transparansi referensial, yaitu ekspresi bahasa yang sama dapat menghasilkan nilai yang berbeda pada waktu yang berbeda tergantung pada keadaan program pelaksana. Sebaliknya, dalam kode fungsional, nilai output dari suatu fungsi hanya bergantung pada argumen-argumen yang masukan ke fungsi, maka fungsi f memanggil dua kali dengan nilai yang sama untuk argumen x akan menghasilkan hasil yang sama f (x) kedua kali. Menghilangkan efek samping dapat membuat lebih mudah untuk memahami dan memprediksi perilaku dari suatu program, yang merupakan salah satu motivasi kunci bagi pengembangan pemrograman fungsional. [1]
Bahasa pemrograman fungsional, terutama yang murni fungsional, sebagian besar telah ditekankan dalam dunia akademis bukan dalam pengembangan perangkat lunak komersial. Namun, bahasa pemrograman fungsional menonjol seperti Scheme, [2] [3] [4] [5] Erlang, [6] [7] [8] OCaml, [9] [10], dan Haskell, [11] [12 ] telah digunakan dalam industri dan aplikasi komersial oleh berbagai organisasi. Pemrograman fungsional juga menemukan industri digunakan dalam domain spesifik melalui bahasa pemrograman seperti R (statistik), [13] [14] Mathematica (simbolik matematika), [15] J dan K (analisis keuangan) [rujukan?], Dan XSLT (XML ). [16] [17] Meluasnya deklaratif domain bahasa tertentu seperti SQL dan Lex / Yacc, menggunakan beberapa unsur pemrograman fungsional, terutama dalam menghindari nilai-nilai bisa berubah. [18] Spreadsheets juga dapat dilihat sebagai bahasa pemrograman fungsional. [19].
Pemrograman dalam gaya fungsional juga dapat dicapai dalam bahasa yang tidak secara khusus dirancang untuk pemrograman fungsional. Sebagai contoh, bahasa pemrograman Perl imperatif telah menjadi subjek dari sebuah buku yang menjelaskan bagaimana menerapkan konsep-konsep pemrograman fungsional. [20] Javascript, salah satu bahasa paling banyak digunakan saat ini, menggabungkan kemampuan pemrograman fungsional [21].
Sejarah
Kalkulus lambda menyediakan kerangka teoretis untuk menjelaskan fungsi dan evaluasi mereka. Walaupun merupakan abstraksi matematis, bukan bahasa pemrograman, membentuk dasar dari hampir semua bahasa pemrograman fungsional hari ini. Perumusan teoritis yang setara, combinatory logika, secara umum dianggap lebih abstrak daripada kalkulus lambda dan mendahuluinya dalam penemuan. Ini digunakan dalam beberapa bahasa termasuk Unlambda esoteris. Combinatory logika dan kalkulus lambda berdua awalnya dikembangkan untuk mencapai pendekatan yang lebih jelas dasar matematika. [22]
Rasa fungsional awal bahasa LISP, dikembangkan oleh John McCarthy sementara di MIT untuk IBM seri 700/7000 komputer ilmiah pada akhir tahun 1950-an. [23] LISP memperkenalkan banyak fitur yang sekarang ditemukan dalam bahasa-bahasa fungsional, meskipun secara teknis LISP multi-paradigma bahasa. Skema dan Dylan kemudian mencoba untuk menyederhanakan dan meningkatkan LISP.
Pengolahan Informasi Language (IPL) kadang-kadang disebut sebagai komputer pertama yang berbasis bahasa pemrograman fungsional. Ini adalah gaya bahasa assembly untuk memanipulasi daftar simbol. Memang ada suatu pengertian tentang "generator", yang berarti menerima suatu fungsi fungsi sebagai argumen, dan, karena itu adalah bahasa tingkat perakitan, kode dapat digunakan sebagai data, sehingga IPL dapat dianggap sebagai memiliki tingkat tinggi fungsi. Namun, hal itu sangat bergantung pada daftar bermutasi struktur dan fitur-fitur penting serupa.
Kenneth E. Iverson mengembangkan bahasa pemrograman APL pada awal tahun 1960-an, yang dijelaskan dalam buku 1962 A Programming Language (ISBN 9780471430148). APL adalah pengaruh utama John Backus's FP bahasa pemrograman. Pada awal 1990-an, Iverson dan Roger Hui menciptakan penerus APL, bahasa pemrograman J. Pada pertengahan 1990-an, Arthur Whitney, yang sebelumnya bekerja dengan Iverson, menciptakan bahasa pemrograman K, yang digunakan secara komersial dalam industri keuangan.
John Backus disajikan FP bahasa pemrograman dalam kuliah Turing Award 1977 Pemrograman Dapatkah Jadilah Dibebaskan Dari von Neumann Gaya? Sebuah Fungsional Gaya dan Program Aljabar. Dia mendefinisikan program fungsional seperti yang sedang dibangun dalam suatu cara hirarkis dengan cara "menggabungkan bentuk-bentuk" yang memungkinkan sebuah "aljabar program"; dalam bahasa modern, ini berarti bahwa program-program fungsional mengikuti prinsip compositionality. Koran Backus penelitian dipopulerkan pemrograman fungsional, meskipun fungsi menekankan pemrograman tingkat daripada kalkulus lambda-gaya yang telah datang untuk berhubungan dengan pemrograman fungsional.
Pada tahun 1970-an ML bahasa pemrograman ini diciptakan oleh Robin Milner di University of Edinburgh, dan David Turner bahasa awalnya dikembangkan SASL di University of St Andrews dan kemudian bahasa Miranda di University of Kent. ML akhirnya berkembang menjadi beberapa dialek, yang paling umum yang sekarang Objektif Caml dan Standar ML. Juga di tahun 1970-an, perkembangan bahasa pemrograman Scheme (-fungsional yang sebagian dialek Lisp), seperti yang dijelaskan dalam Lambda berpengaruh Kertas dan buku teks tahun 1985 Struktur dan Interpretasi of Computer Program, membawa kesadaran akan kekuatan pemrograman fungsional dengan -bahasa pemrograman yang lebih luas masyarakat.
Pada tahun 1980-an, Per Martin-LOF Intuitionistic mengembangkan teori tipe (juga disebut teori tipe konstruktif), program fungsional yang terkait dengan bukti konstruktif sewenang-wenang kompleks dinyatakan sebagai proposisi matematika tergantung jenis. Hal ini menyebabkan pendekatan baru yang kuat untuk membuktikan teorema interaktif dan telah mempengaruhi perkembangan selanjutnya dari banyak bahasa pemrograman fungsional.
Bahasa pemrograman yang Haskell, dimulai dengan konsensus pada tahun 1987, untuk membentuk standar terbuka untuk pemrograman fungsional penelitian; pelaksanaan rilis telah berlangsung sejak 1990.
Konsep
Sejumlah konsep dan paradigma yang khusus untuk pemrograman fungsional, dan umumnya pemrograman yang asing (termasuk pemrograman berorientasi objek). Namun, bahasa pemrograman sering hibrida dari beberapa paradigma pemrograman jadi programer menggunakan "kebanyakan imperatif" bahasa mungkin telah memanfaatkan beberapa konsep-konsep ini. [24]
Orde yang lebih tinggi fungsi
Orde yang lebih tinggi fungsi fungsi yang dapat mengambil fungsi-fungsi lain sebagai argumen atau kembali mereka sebagai hasil (operator diferensial d / dx yang menghasilkan turunan dari fungsi f adalah contoh ini dalam kalkulus).
Fungsi orde yang lebih tinggi berhubungan erat dengan kelas satu fungsi, dalam tatanan yang lebih tinggi-fungsi dan kelas pertama fungsi kedua memungkinkan fungsi sebagai argumen dan hasil dari fungsi lainnya. Perbedaan antara keduanya adalah halus: "tingkat tinggi" menggambarkan suatu konsep matematika fungsi yang beroperasi pada fungsi lainnya, sedangkan "kelas satu" adalah istilah ilmu komputer bahasa pemrograman yang menjelaskan entitas yang tidak memiliki batasan penggunaan mereka (dengan demikian kelas satu fungsi dapat muncul di manapun dalam program yang pertama-kelas lain seperti bilangan yang dapat entitas, termasuk sebagai argumen untuk fungsi lain dan ketika mereka kembali nilai-nilai).
Orde yang lebih tinggi memungkinkan fungsi currying, suatu teknik di mana suatu fungsi diterapkan pada argumen satu per satu waktu, dengan masing-masing aplikasi kembali fungsi baru yang menerima argumen berikutnya.
Pure fungsi
Fungsi fungsional murni (atau ekspresi) tidak memiliki memori atau I / O efek samping (kecuali jika hasil perhitungan itu sendiri adalah dihitung sebagai efek samping). Ini berarti bahwa fungsi murni memiliki beberapa sifat yang berguna, banyak yang dapat digunakan untuk mengoptimalkan kode:
* Jika hasil dari ekspresi murni tidak digunakan, dapat dihilangkan tanpa mempengaruhi ekspresi lain.
* Jika fungsi murni disebut dengan parameter yang tidak menimbulkan efek samping, hasilnya konstan sehubungan dengan daftar parameter (kadang-kadang disebut referensial transparansi), yaitu jika fungsi murni lagi dipanggil dengan parameter yang sama, hasil yang sama akan dikembalikan (hal ini dapat menghidupkan cache optimisations seperti memoization).
* Jika tidak ada data yang ketergantungan antara dua ekspresi murni, kemudian pesanan mereka dapat dibalikkan, atau mereka dapat dilakukan secara paralel dan mereka tidak dapat mengganggu satu sama lain (dalam istilah lain, evaluasi dari setiap ekspresi murni adalah thread-safe).
* Jika seluruh bahasa yang tidak memungkinkan efek samping, maka setiap strategi evaluasi dapat digunakan; kompiler ini memberikan kebebasan untuk menyusun ulang atau menggabungkan evaluasi ekspresi dalam program (misalnya, menggunakan deforestasi).
Sementara sebagian besar kompiler untuk bahasa pemrograman yang murni mendeteksi fungsi, dan Common-subexpression melakukan penghapusan untuk pemanggilan fungsi murni, mereka tidak selalu dapat melakukan hal ini untuk pre-compiled perpustakaan, yang biasanya tidak mengungkapkan informasi ini, sehingga dapat mencegah optimisations yang melibatkan fungsi-fungsi eksternal. Beberapa compiler, seperti gcc, menambahkan kata kunci untuk seorang programmer untuk secara eksplisit menandai fungsi eksternal sebagai murni, untuk mengaktifkan optimisations tersebut. Fortran 95 memungkinkan difungsikan "murni".
Rekursi
Artikel utama: Rekursi (ilmu komputer)
Iterasi (looping) dalam bahasa fungsional biasanya dicapai melalui rekursi. Fungsi rekursif memanggil diri mereka sendiri, memungkinkan suatu operasi harus dilakukan berulang-ulang. Rekursi mungkin memerlukan setumpuk mempertahankan, tapi ekor rekursi dapat diakui dan dioptimalkan oleh kompilator ke kode yang sama digunakan untuk mengimplementasikan iterasi dalam bahasa imperatif. Skema memerlukan standar bahasa pemrograman implementasi untuk mengenali dan mengoptimalkan rekursi ekor. Optimasi rekursi ekor dapat dilaksanakan dengan mengubah program tersebut menjadi kelanjutan gaya lewat selama kompilasi, di antara pendekatan-pendekatan lain.
Pola umum rekursi dapat diperhitungkan dengan menggunakan fungsi tatanan yang lebih tinggi, catamorphisms dan anamorphisms (atau "lipatan" dan "tersingkap") menjadi contoh yang paling jelas. Seperti lebih tinggi memainkan peran fungsi analog dengan built-in kontrol struktur seperti loop dalam bahasa-bahasa imperatif.
Sebagian besar tujuan umum bahasa pemrograman fungsional memungkinkan tak terbatas Turing rekursi dan lengkap, yang membuat masalah terputus-putus diputuskan, dapat menyebabkan unsoundness dari equational penalaran, dan biasanya memerlukan pengenalan inkonsistensi kedalam logika bahasa yang diungkapkan oleh sistem tipe. Beberapa tujuan khusus bahasa seperti Coq hanya memperbolehkan beralasan rekursi dan sangat normalisasi (nonterminating perhitungan hanya dapat dinyatakan dengan nilai yang tak terhingga disebut aliran codata). Akibatnya, bahasa-bahasa ini gagal menjadi Turing lengkap dan mengekspresikan fungsi-fungsi tertentu di dalamnya adalah mustahil, tapi mereka masih bisa mengekspresikan berbagai perhitungan kelas yang menarik sambil menghindari masalah-masalah yang diperkenalkan oleh rekursi tidak dibatasi. Terbatas pada pemrograman fungsional beralasan rekursi dengan beberapa kendala lain yang disebut total pemrograman fungsional. Lihat Turner 2004 untuk lebih banyak diskusi. [25]
Ketat ketat versus non-evaluasi
Artikel utama: Evaluasi strategi
Bahasa fungsional dapat dikategorikan dengan apakah mereka menggunakan ketat (bersemangat) atau non-ketat (malas) evaluasi, konsep-konsep yang merujuk kepada bagaimana argumen fungsi diproses ketika ekspresi sedang dievaluasi. Perbedaan teknis dalam ungkapan semantik denotational mengandung kegagalan atau perhitungan berbeda. Dalam evaluasi yang ketat, evaluasi setiap istilah yang mengandung subterm yang gagal itu sendiri akan gagal. Sebagai contoh, ekspresi
print panjang ([2 +1, 3 * 2, 1 / 0, 5-4])
akan gagal dalam evaluasi ketat karena pembagian dengan nol pada elemen ketiga dari daftar. Bawah nonstrict evaluasi, fungsi panjang akan mengembalikan nilai 4, karena evaluasi itu tidak akan berusaha untuk mengevaluasi istilah yang membentuk daftar. Singkatnya, evaluasi yang ketat selalu penuh fungsi mengevaluasi argumen sebelum memohon fungsi. Non-evaluasi ketat tidak mengevaluasi argumen berfungsi kecuali nilai-nilai mereka diminta untuk mengevaluasi fungsi panggil itu sendiri.
Strategi pelaksanaan yang biasa untuk non-evaluasi yang ketat dalam bahasa fungsional adalah pengurangan grafik. Non-ketat evaluasi digunakan secara default dalam beberapa bahasa fungsional murni, termasuk Miranda, Bersih dan Haskell.
1984 Hughes berpendapat untuk non-evaluasi yang ketat sebagai sebuah mekanisme untuk memperbaiki modularitas program melalui pemisahan keprihatinan, dengan mengurangi pelaksanaan independen produsen dan konsumen data stream. [26] Launchbury 1993 menjelaskan beberapa kesulitan yang malas memperkenalkan evaluasi, khususnya dalam menganalisis program persyaratan penyimpanan, dan mengusulkan semantik operasional untuk membantu dalam analisis seperti itu. [27] Harper 2009 mengusulkan termasuk nonstrict ketat dan evaluasi dalam bahasa yang sama, menggunakan bahasa sistem tipe untuk membedakan mereka. [28]
Jenis pencocokan pola sistem dan
Terutama sejak berkembangnya jenis Milner Hindley-kesimpulan pada 1970-an, bahasa pemrograman fungsional cenderung menggunakan kalkulus lambda diketik, sebagai lawan dari kalkulus lambda untyped digunakan dalam Lips dan variannya (seperti Scheme). Penggunaan aljabar datatypes dan pencocokan pola manipulasi membuat struktur data yang kompleks lebih nyaman dan ekspresif; kehadiran waktu kompilasi yang kuat memeriksa jenis program membuat lebih dapat diandalkan, sedangkan tipe inferensi membebaskan programmer dari kebutuhan untuk menyatakan secara manual tipe compiler.
Beberapa penelitian yang berorientasi pada bahasa-bahasa fungsional seperti Coq, Agda, Cayenne, dan epigram Intuitionistic didasarkan pada teori tipe, yang memungkinkan untuk tergantung pada jenis istilah. Seperti disebut tergantung jenis tipe. Sistem jenis ini tidak memiliki jenis decidable inferensi dan sulit untuk memahami dan program dengan. Tapi tergantung jenis sewenang-wenang dapat mengekspresikan proposisi dalam logika predikat. Melalui Curry-Howard isomorphism, lalu, baik program yang diketik dalam bahasa-bahasa ini menjadi sarana untuk menulis bukti matematika formal dari mana kompilator dapat menghasilkan kode bersertifikat. Meskipun bahasa ini terutama tertarik pada penelitian akademis (termasuk dalam matematika formal), mereka telah mulai digunakan dalam rekayasa juga. Compcert adalah sebuah kompiler untuk subset dari bahasa pemrograman C yang tertulis di Coq dan diverifikasi secara resmi. [29]
Bentuk terbatas yang disebut umum tergantung jenis tipe data aljabar (GADT's) dapat dilaksanakan dengan cara yang memberikan beberapa manfaat dari program dependently-diketik sambil menghindari ketidaknyamanan sebagian besar. [30] GADT yang tersedia di Glasgow Haskell Compiler dan di Scala (sebagai "kasus kelas"), dan telah diusulkan sebagai tambahan ke bahasa lain termasuk Java dan C #. [31]
Pemrograman fungsional dalam bahasa-bahasa non-fungsional
Dimungkinkan untuk menggunakan gaya fungsional dalam bahasa-bahasa pemrograman yang tidak secara tradisional dianggap sebagai bahasa fungsional. [32] Beberapa bahasa non-fungsional meminjam fitur-fitur seperti fungsi orde yang lebih tinggi, dan daftar comprehensions dari bahasa pemrograman fungsional. Hal ini membuat lebih mudah untuk mengadopsi gaya fungsional ketika menggunakan bahasa tersebut. Fungsional konstruksi seperti orde yang lebih tinggi daftar fungsi dan malas dapat diperoleh di C + + melalui perpustakaan. [33] Di C, pointer fungsi dapat digunakan untuk mendapatkan beberapa efek orde yang lebih tinggi fungsi. Misalnya peta fungsi umum dapat diimplementasikan dengan menggunakan pointer fungsi. Dalam C # versi 3.0 dan yang lebih tinggi, lambda fungsi dapat digunakan untuk menulis program dalam gaya fungsional. [Rujukan?] Di Jawa, kelas anonim terkadang dapat digunakan untuk mensimulasikan penutupan, [rujukan?] Namun kelas anonim tidak selalu tepat pengganti untuk penutupan karena mereka memiliki kemampuan lebih terbatas.
Banyak desain berorientasi objek pola dinyatakan dalam istilah-istilah pemrograman fungsional: misalnya, hanya pola Strategi penggunaan perintah-perintah yang lebih tinggi fungsi, dan pola Pengunjung kira-kira berkaitan dengan suatu Catamorphism, atau lipat.
Manfaat data yang kekal dapat dilihat bahkan dalam program-program penting, jadi programmer sering berusaha untuk membuat beberapa data yang berubah bahkan dalam program-program penting. [Rujukan?]
Perbandingan antara pemrograman fungsional dan
Pemrograman fungsional sangat berbeda dengan pemrograman imperatif. Perbedaan yang paling signifikan berasal dari fakta bahwa pemrograman fungsional menghindari efek samping, yang digunakan dalam pemrograman negara menerapkan dan I / O. Pemrograman fungsional murni melarang efek samping sama sekali. Disallowing efek samping menyediakan transparansi referensial, yang membuatnya lebih mudah untuk memverifikasi, mengoptimalkan, dan program parallelize, dan lebih mudah untuk menulis alat otomatis untuk melakukan tugas-tugas.
Fungsi tatanan yang lebih tinggi jarang digunakan dalam pemrograman yang lebih tua. Di mana program imperatif tradisional dapat menggunakan loop untuk melewati daftar, gaya yang fungsional akan sering menggunakan fungsi orde lebih tinggi, peta, itu perlu sebagai argumen fungsi dan daftar, fungsi berlaku untuk setiap elemen dari daftar, dan kembali daftar hasil.
Negara simulasi
Ada tugas (misalnya, mempertahankan saldo rekening bank) yang sering tampak paling alami dilaksanakan dengan negara. Pemrograman fungsional murni melakukan tugas ini, dan I / O tugas-tugas seperti menerima input pengguna dan mencetak ke layar, dalam cara yang berbeda.
Murni bahasa pemrograman fungsional dengan menggunakan alat Haskell monads, berasal dari teori kategori. Monads sangat kuat dan menawarkan cara untuk abstrak jenis tertentu pola komputasi, termasuk (namun tidak terbatas pada) pemodelan perhitungan dengan negara yg mungkin berubah (dan efek samping lain seperti I / O) dalam suatu perintah dengan cara tanpa kehilangan kemurnian. Sementara yang sudah ada monads mungkin mudah untuk menerapkannya dalam sebuah program, mengingat template yang sesuai dan contoh, banyak menemukan mereka sulit untuk mengerti secara konseptual, misalnya, ketika diminta untuk mendefinisikan monads baru (yang kadang-kadang diperlukan untuk jenis perpustakaan tertentu). [34]
Metode alternatif seperti logika Hoare dan keunikan telah dikembangkan untuk melacak efek samping dalam program. Beberapa penelitian modern bahasa menggunakan sistem efek untuk membuat eksplisit adanya efek samping.
Efisiensi isu
Bahasa pemrograman fungsional telah dianggap kurang efisien dalam penggunaan CPU dan memori dari bahasa imperatif seperti C dan Pascal. [35] Untuk bahasa-bahasa fungsional murni, yang terburuk adalah logaritmik penurunan jumlah sel-sel memori yang digunakan, karena bisa berubah memori dapat diwakili oleh sebuah struktur data fungsional murni dengan logaritma waktu akses (seperti pohon seimbang). [rujukan?] Namun demikian, slowdowns terjadi sangat jarang dalam prakteknya. Untuk program yang melakukan perhitungan numerik yang intensif, seperti bahasa-bahasa fungsional dan Bersih OCaml biasanya serupa dalam hal kecepatan untuk C. [36] Untuk program yang menangani matriks besar dan multidimensi database, array bahasa fungsional (seperti J dan K) yang dirancang dengan kecepatan optimasi.
Lebih lanjut, kekekalan data dapat, dalam banyak kasus, menyebabkan efisiensi pelaksanaan dalam membiarkan compiler untuk membuat asumsi yang tidak aman dalam bahasa imperatif, sangat jauh meningkatkan peluang untuk inlining. [Rujukan?]
Malas evaluasi dapat juga mempercepat program, bahkan asimtotik, sedangkan hal itu mungkin lambat turun di sebagian besar oleh faktor konstan (Namun, hal itu mungkin memperkenalkan kebocoran memori bila digunakan dengan tidak semestinya) [rujukan?].
Coding gaya
Program imperatif cenderung untuk menekankan serangkaian langkah-langkah yang diambil oleh sebuah program dalam melaksanakan suatu tindakan, sementara program fungsional cenderung menekankan komposisi dan susunan fungsi, seringkali tanpa menentukan langkah-langkah eksplisit. Contoh sederhana dari dua solusi untuk tujuan program yang sama (menggunakan multi-paradigma yang sama bahasa Python) menggambarkan hal ini.
# Keharusan gaya
target = [] # membuat daftar kosong
untuk item dalam source_list: # iterate atas setiap hal dalam sumber
trans1 = G (item) # mengubah item dengan G () function
trans2 = F (trans1) # kedua mengubah dengan F () function
target.append (trans2) # menambahkan item ke target berubah
Sebuah versi fungsi memiliki rasa yang berbeda untuk itu:
# Fungsional gaya
# FP-bahasa berorientasi sering punya standar menenangkan ()
compose2 = lambda A, B: lambda x: A (B (x)) # Tentukan bagaimana menerapkan dua generik transformasi
target = peta (compose2 (F, G), source_list) # Oleskan dua fungsi spesifik F dan G untuk setiap item dalam sumber
Berbeda dengan gaya imperatif yang menjelaskan langkah-langkah yang terlibat dalam membangun sasaran, gaya fungsional menggambarkan hubungan matematis antara source_list dan sasaran. Kode python, dalam praktiknya, sering ditulis dengan daftar pemahaman, suatu bentuk sintaksis gula untuk untuk loop dengan implisit append:
target = [F (G (item)) untuk item dalam source_list]
Penggunaan di industri
Pemrograman fungsional memiliki reputasi untuk menjadi murni kepentingan akademis [rujukan?]. Namun, beberapa bahasa pemrograman fungsional menonjol telah digunakan dalam aplikasi komersial atau industri. Sebagai contoh, bahasa pemrograman Erlang, yang dikembangkan oleh perusahaan Swedia Ericsson pada akhir tahun 1980-an, pada awalnya digunakan untuk menerapkan toleransi kegagalan sistem telekomunikasi. [7] Sejak itu menjadi populer untuk membangun berbagai aplikasi di perusahaan-perusahaan seperti T-Mobile, Nortel, dan Facebook. [6] [8] [37] The Skema dialek Lisp digunakan sebagai dasar untuk beberapa aplikasi pada komputer Apple Macintosh awal [2] [3], dan memiliki lebih baru-baru ini telah diterapkan untuk masalah seperti perangkat lunak simulasi pelatihan [4] dan kontrol teleskop. [5] OCaml, yang diperkenalkan pada pertengahan tahun 1990-an, telah melihat penggunaan komersial di bidang-bidang seperti analisis keuangan [9], sopir verifikasi, pemrograman robot industri, dan analisis statis dari perangkat lunak tertanam. [10] Haskell, walaupun pada awalnya dimaksudkan sebagai sebuah bahasa, [12] juga telah diterapkan oleh berbagai perusahaan, dalam bidang-bidang seperti sistem dirgantara, desain hardware, dan web programming.
Tidak ada komentar:
Posting Komentar