Bosque:Bahasa Pemrograman Baru Microsoft Tanpa Loop

• Bahasa Bosque bertujuan untuk meningkatkan kualitas perangkat lunak dan meningkatkan produktivitas programmer.
• Ini menghilangkan sumber kerumitan seperti status yang dapat diubah, kesetaraan referensi, dan loop.
• Ini terinspirasi oleh bahasa pemrograman TypeScript dan JavaScript.

Pemrograman Terstruktur dan Tipe Data Abstrak menjadi populer pada tahun 1970-an, dan sejak itu, kami telah menggunakannya di hampir semua bahasa pemrograman. Metodologi ini memungkinkan pemrogram untuk fokus pada maksud dan perilaku inti kode mereka tanpa mengkhawatirkan arsitektur perangkat keras. Segera ini mengarah ke era keemasan penyusun dan Lingkungan Pengembangan Terintegrasi.

Untuk lebih meningkatkan produktivitas, meningkatkan kualitas perangkat lunak, dan mengaktifkan beberapa kompiler baru dan pengalaman alat pengembang, para insinyur di Microsoft baru-baru ini membuat 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 yang tidak disengaja' dalam proses pengkodean dan pengembangan.

Pemrograman Reguler

Kontrol aliran dalam model pemrograman terstruktur dikelola oleh kondisi, subrutin, dan loop. Bahasa pemrograman baru, di sisi lain, menghilangkan sumber kompleksitas seperti keadaan yang bisa berubah, kesetaraan referensi, dan loop. Itu sebabnya pengembang menggambarkan paradigma ini sebagai 'pemrograman yang diatur'.

Bosque berasal dari kombinasi sintaks yang terinspirasi TypeScript dan tipe plus ML, dan semantik yang terinspirasi JavaScript/Node. Ini mendukung sistem tipe non-berpendapat yang memungkinkan pemrogram untuk menggunakan tipe nominal, struktural, dan kombinasi yang berbeda untuk mengkodekan fitur yang relevan dari domain masalah secara fleksibel.

Referensi:Microsoft | Melampaui Pemrograman Terstruktur

Bahasa tidak menggunakan loop 'sementara', 'do while' dan 'for' dan memiliki pendekatan yang sama sekali berbeda dalam menerapkan kondisi. Mark Marron, seorang ilmuwan komputer di Microsoft, memperkenalkan konsep 'Functors' untuk menggantikan loop terstruktur sekaligus meningkatkan kualitas perangkat lunak.

Fungtor dengan Transformator Simbolik

Bosque menyediakan operasi data aljabar massal khusus dan dukungan terintegrasi untuk tidak ada (atau data opsional) pemrosesan. Ini juga mendukung alur untuk pemrosesan koleksi, dan jika dan cocok sebagai ekspresi.

Ada lebih sedikit kebutuhan untuk sekumpulan besar kombinator pernyataan karena kumpulan ekspresi primitif yang kaya di Bosque. Bahasa memberikan pernyataan (hanya diaktifkan untuk build debug) dan periksa (diaktifkan untuk semua build) sebagai fitur kelas satu, selain pasca/prasyarat dan invarian kelas. Selain itu, tidak ada konstruksi perulangan di Bosque.

Bosque bisa sangat berguna dalam proyek pengembangan berbasis cloud yang arsitekturnya bergantung pada layanan mikro, fungsi tanpa server, dan RESTful API. Ini dapat memungkinkan pemuatan tanpa biaya untuk memulai dengan cepat, pelacakan overhead yang sangat rendah, dan waktu proses dengan variabilitas kinerja yang minimal.

Apa Selanjutnya?

Bahasa baru ini masih dalam tahap pengembangan, dan jika Anda ingin mengujinya, kodenya tersedia di GitHub.

Eksperimen awal menunjukkan bahwa ini dapat memberdayakan beberapa pengalaman generasi berikutnya, seperti auto-marshaling API, fuzzing yang ditingkatkan, pengujian simbolis, dan kompilasi realtime dengan dukungan GC yang stabil.

Baca:10 Aturan Pengkodean NASA untuk Menulis Program Kritis Keselamatan

Bosque dapat direvisi, ada beberapa bug dan fungsionalitas yang hilang, dan kinerjanya masih dapat banyak ditingkatkan. Marron dan timnya akan fokus pada pengalaman alat pengembang yang lebih canggih, seperti secara otomatis menetapkan batas penggunaan memori dari waktu ke waktu dan memverifikasi aplikasi bebas dari kesalahan waktu proses tanpa upaya tambahan.