4
Apa yang dilakukan oleh perancang bahasa untuk memutuskan atau membuktikan bahwa fitur tertentu berfungsi dengan benar?
Saya tertarik pada desain bahasa dan secara umum saya dapat dengan mudah menjelaskan tentang fitur-fitur yang dikenal luas (misalnya warisan, polimorfisme, delegasi, lambda, tangkapan, pengumpulan sampah, pengecualian, generik, varian, refleksi, dan sebagainya), interaksi mereka dalam bahasa tertentu, cara-cara mereka dapat diimplementasikan, keterbatasan mereka, dll. Dalam beberapa bulan terakhir, saya mulai …