Bosque: Bahasa Pemrograman Baru Microsoft Tanpa Loop untuk Kualitas Kode
- Bahasa Bosque bertujuan untuk meningkatkan kualitas perangkat lunak dan produktivitas programmer.
- Ia menghilangkan sumber kompleksitas seperti status dapat diubah, kesetaraan referensi, dan loop.
- Ia terinspirasi dari bahasa pemrograman TypeScript dan JavaScript.
Pemrograman Terstruktur dan Tipe Data Abstrakt menjadi populer pada tahun 1970-an, dan sejak saat itu, kita telah menggunakannya dalam hampir semua bahasa pemrograman. Metodologi ini memungkinkan programmer untuk fokus pada maksud dan perilaku inti kode mereka tanpa khawatir tentang arsitektur perangkat keras. Segera ini menyebabkan era emas dari kompiler dan Integrated Development Environment.
Untuk meningkatkan produktivitas lebih lanjut, meningkatkan kualitas perangkat lunak, dan mengaktifkan beberapa kompiler baru serta pengalaman alat pengembang, insinyur di Microsoft baru-baru ini datang dengan bahasa pemrograman baru bernama Bosque.
Bosque dirancang untuk menulis kode yang sederhana dan mudah dipahami baik untuk mesin maupun manusia. Ini menawarkan sejumlah cara untuk menghindari ‘kompleksitas akidental’ dalam proses pengkodean dan pengembangan.
Pemrograman Terregulasi
Kontrol aliran dalam model pemrograman terstruktur dikelola oleh kondisi, subrutin, dan loop. Bahasa pemrograman baru, sebaliknya, menghilangkan sumber kompleksitas seperti status dapat diubah, kesetaraan referensi, dan loop. Itulah mengapa pengembang menggambarkan paradigma ini sebagai ‘pemrograman terregulasi’.
Bosque berasal dari kombinasi sintaksis terinspirasi TypeScript dan tipe plus ML, serta semantik terinspirasi JavaScript/Node. Ini mendukung sistem tipe yang tidak menilai yang memungkinkan programmer untuk menggunakan tipe nominal, struktural, dan kombinasi untuk mengenkode fitur relevan dari domain masalah dengan fleksibel.
Referensi: Microsoft | Moving Beyond Structured Programming
Bahasa ini tidak menggunakan loop ‘while’, ‘do while’, dan ‘for’ dan memiliki pendekatan yang sepenuhnya berbeda ketika datang ke penerapan kondisi. Mark Marron, ilmuwan komputer di Microsoft, memperkenalkan konsep ‘Functors’ untuk mengganti loop terstruktur sambil meningkatkan kualitas perangkat lunak.
Functors dengan Symbolic Transformers
Bosque menyediakan operasi data aljabar massal khusus dan dukungan terintegrasi untuk pemrosesan none (atau data opsi). Ini juga mendukung pipeline untuk pemrosesan koleksi, dan if dan match sebagai ekspresi.
Ada kurang kebutuhan untuk himpunan besar kombinator pernyataan karena himpunan primitif ekspresi yang kaya dalam Bosque. Bahasa ini menyediakan assert (diaktifkan hanya untuk build debug) dan check (diaktifkan untuk semua build) sebagai fitur kelas pertama, selain kondisi pasca/prasyarat dan invariant kelas. Juga, tidak ada konstruksi loop dalam Bosque.
Bosque dapat sangat berguna dalam proyek pengembangan berbasis cloud yang arsitekturnya bergantung pada microservices, fungsi serverless, dan RESTful API. Ini dapat mengaktifkan pemuatan tanpa biaya untuk startup cepat, pelacakan overhead ultrarendah, dan runtime dengan variabilitas performa minimal.
Apa Selanjutnya?
Bahasa baru ini masih dalam tahap pengembangan, dan jika Anda ingin mengujinya, kode tersedia di GitHub.
Eksperimen awal menunjukkan bahwa ia dapat memberdayakan beberapa pengalaman generasi mendatang, seperti API auto-marshaling, fuzzing yang ditingkatkan, pengujian simbolik, dan kompilasi realtime dengan dukungan GC yang stabil.
Bosque tunduk pada revisi, ada beberapa bug dan fungsionalitas yang hilang, dan performa masih dapat ditingkatkan banyak. Marron dan timnya akan fokus pada pengalaman alat pengembang yang lebih canggih, seperti menetapkan batas untuk penggunaan memori seiring waktu dan memverifikasi aplikasi bebas kesalahan runtime tanpa upaya tambahan.
