Perbincangan terkini mengenai pelaksanaan algoritma pemampatan dalam Ada telah mencetuskan perdebatan komuniti yang penuh ghairah tentang mengapa bahasa pengaturcaraan yang pernah menjanjikan ini gagal mencapai penerimaan arus perdana, walaupun mempunyai merit teknikal dan penggunaan berterusan dalam sistem kritikal.
Perbualan bermula dengan jangkaan butiran pelaksanaan teknikal tetapi dengan cepat berkembang menjadi pemeriksaan yang lebih luas tentang sejarah Ada dan relevan semasa. Ahli komuniti mendapati diri mereka terbahagi antara mereka yang melihat Ada sebagai bahasa yang gagal dan yang lain yang berhujah ia berjaya cemerlang dalam domain yang dimaksudkan.
Perdebatan Kegagalan Besar
Perkara paling kontroversial berpusat pada sama ada Ada sebenarnya gagal sama sekali. Pengkritik menunjukkan penerimaan terhad di luar domain khusus, dengan seorang ahli komuniti menyatakan mereka akan mendapati menulis aplikasi Ada pada tahun 2025 agak anakronistik. Walau bagaimanapun, pembela dengan cepat menentang naratif ini, menonjolkan kejayaan berterusan Ada dalam aeroangkasa, pertahanan, dan sistem kritikal misi di mana kebolehpercayaan mengatasi populariti.
Rekod prestasi bahasa ini banyak berkata tentang kejayaan khususnya. Ada menggerakkan sistem dalam avionik Airbus , Stesen Angkasa Antarabangsa, dan pelbagai aplikasi ketenteraan termasuk sistem pertahanan Phalanx dan jet pejuang F-15 / F-16 . Ini bukan resume teknologi yang gagal, tetapi satu yang menemui nichenya dalam persekitaran berisiko tinggi di mana pepijat perisian boleh bermakna perbezaan antara hidup dan mati.
Aplikasi Ada Semasa:
- Aeroangkasa: Sistem avionik Airbus , International Space Station
- Pertahanan: Sistem pertahanan Phalanx , jet pejuang F-15/F-16
- Automotif: Pembangunan kenderaan pandu sendiri Nvidia
- Pematuhan Piawaian: DO-178C (aeroangkasa), ISO 26262 (automotif)
- Pensijilan: Rust mempunyai pengkompil yang layak ISO 26262 , Ada mempunyai ekosistem pensijilan yang lebih luas
Mandat Jabatan Pertahanan Menjadi Bumerang
Sebahagian besar perjuangan arus perdana Ada dapat dikesan kembali kepada mandat kerajaan yang berniat baik tetapi akhirnya menjadi kontraproduktif. Pada tahun 1980-an, Jabatan Pertahanan Amerika Syarikat memerlukan Ada untuk projek perisian ketenteraan, berharap untuk menyeragamkan pembangunan merentas kontraktor pertahanan. Sebaliknya daripada mendorong penerimaan, mandat ini mencipta kebencian di kalangan pengaturcara yang merasakan bahasa itu dipaksa ke atas mereka.
Penentangan begitu kuat sehingga kontraktor secara rutin mencari pengecualian untuk menggunakan bahasa lain, melemahkan keseluruhan usaha penyeragaman. Menjelang 1997, DoD meninggalkan mandat, mengakui bahawa penerimaan paksa telah menjadi bumerang dengan spektakular. Kerosakan kepada reputasi Ada , bagaimanapun, terbukti berpanjangan.
Garis Masa Bahasa Ada dan Fakta Utama:
- 1980: Ada mula diperkenalkan oleh U.S. Department of Defense
- 1983: Menjadi piawaian seluruh tentera dengan penggunaan mandatori
- 1997: DoD meninggalkan mandat Ada disebabkan tentangan meluas
- 2002: Pengkompil GNU Ada disepadukan ke dalam GCC
- 2012: SPARK 2012 memperkenalkan integrasi yang lebih baik dan pengesahan formal
- 2014: SPARK 2014 menambah keupayaan pembuktian matematik
Relevan Moden dan Aplikasi Kritikal Keselamatan
Walaupun menghadapi perjuangan masa lalu, Ada mengalami minat yang diperbaharui dalam aplikasi kritikal keselamatan. Syarikat seperti Nvidia menggunakan Ada dan SPARK untuk pembangunan kenderaan memandu sendiri, mengiktiraf keupayaan pengesahan formal bahasa. Sistem bukti matematik SPARK 2014 boleh mengesahkan ketiadaan ralat masa jalan, menjadikannya tidak ternilai untuk aplikasi di mana keselamatan manusia adalah yang terpenting.
Untuk perisian automasi kritikal keselamatan saya untuk mesin yang akan beroperasi di sekitar orang dan di atas kepala, saya memilih Ada / SPARK2014 . Rekod prestasinya selama beberapa dekad dalam domain integriti tinggi seperti aeroangkasa, pertahanan, dan sistem perubatan memastikan kebolehpercayaan untuk aplikasi di mana keselamatan manusia adalah yang terpenting.
Sintaks berstruktur bahasa dan ciri keselamatan terbina dalam menjadikannya sangat menarik untuk sistem terbenam dan aplikasi yang memerlukan pensijilan di bawah piawaian seperti DO-178C dan ISO 26262 .
Perbandingan Rust
Subplot menarik muncul membandingkan Ada dengan Rust , bahasa pengaturcaraan sistem Mozilla yang menekankan keselamatan memori. Walaupun kedua-dua bahasa mengutamakan keselamatan, mereka mengambil pendekatan yang berbeza. Ada melakukan lebih banyak pemeriksaan masa jalan dan telah wujud lebih lama dengan peralatan matang, manakala Rust memberi tumpuan kepada jaminan masa kompilasi dan telah memperoleh momentum yang ketara dalam tahun-tahun kebelakangan ini.
Perbincangan mendedahkan bahawa alat pengesahan formal Ada lebih matang dan sedia untuk pengeluaran berbanding dengan ekosistem pengesahan formal Rust yang sedang berkembang. Walau bagaimanapun, Rust mendapat manfaat daripada reka bentuk bahasa moden dan komuniti pembangun yang berkembang yang tidak dimiliki Ada .
Perbandingan Ada vs. Rust:
- Kelebihan Ada: Alat pengesahan formal yang matang, rekod prestasi kritikal keselamatan selama beberapa dekad, proses pensijilan yang mantap
- Kelebihan Rust: Reka bentuk bahasa moden, komuniti pembangun yang berkembang, jaminan keselamatan memori pada masa kompilasi
- Pendekatan Runtime: Ada melakukan lebih banyak pemeriksaan runtime, Rust menekankan jaminan pada masa kompilasi
- Ekosistem: Ada mempunyai perkakas khusus tetapi terhad, Rust mempunyai ekosistem pembangunan moden yang lebih luas
Kesimpulan
Perdebatan Ada mendedahkan ketegangan asas dalam penerimaan bahasa pengaturcaraan antara merit teknikal dan kuasa pasaran. Walaupun Ada mungkin tidak akan mencapai populariti C++ atau Python , evolusi berterusan dan aplikasi khususnya menunjukkan laporan kematiannya telah sangat dibesar-besarkan. Dalam domain di mana kegagalan perisian bukan sahaja menyusahkan tetapi berpotensi bencana, penekanan Ada terhadap ketepatan dan keselamatan terus menemui pengguna khusus yang menghargai kebolehpercayaan berbanding trend.
Rujukan: Writing a competitive blog post/article in 45min from keyword research to a finished draft