C # Generics Research Papers

Apa makalah penelitian paling signifikan tentang dasar-dasar generik dalam C # dan .NET?

pl.programming-languages

— Kariem Ali
sumber

Pertanyaannya tampaknya terlalu tidak fokus. Saya memilih untuk menutupnya bukan pertanyaan nyata. Lihat juga cara mengajukan pertanyaan yang bagus .

— Tsuyoshi Ito

@ Hsien-Chih Chang, tolong jangan mengecilkan hati orang untuk bertanya pertanyaan bahasa pemrograman, yang berada dalam ruang lingkup . Ada banyak pekerjaan berat dalam PL. Lihat, misalnya, ini dan ini . (Pertanyaan khusus ini, kedengarannya seperti "Bisakah Anda mengarahkan saya ke penelitian dalam algoritma grafik?", Yaitu, tidak jelas.)

— Radu GRIGore

Saya memilih untuk menyimpan pertanyaan. Jika tidak terlambat, saya akan memberikan jawaban juga. Ini, berpotensi, tentang teori PL. Lebih banyak besok.

— Dave Clarke

@ Radu: Maaf atas komentar yang menyesatkan, saya tidak bermaksud melakukannya. Apa yang benar-benar ingin saya katakan adalah bahwa masalah ini (saat ini) merupakan permintaan referensi untuk makalah dalam bahasa pemrograman tertentu, yang bukan masalah teoritis (saat ini) dan berada di luar ruang lingkup (Atau tidak? Mungkin saya benar-benar salah disini). Saya ingin melihat apakah pertanyaannya sedang dimodifikasi, dan menjadi masalah teori. Terima kasih semua telah menunjukkan pengalihan salah saya, dan @Kariem saya harap Anda akan mendapatkan jawaban yang baik di sini!

— Hsien-Chih Chang 張顯之

Saya menjawab pertanyaan dengan asumsi bahwa Anda meminta dasar-dasar generik C #. Akan lebih baik untuk lebih tepat dalam pertanyaan Anda. Apakah Anda mengejar fondasi? Implementasi? Penggunaan eksotik generik C #?

— Dave Clarke

Sebagian besar pekerjaan penting pada generik untuk C # dilakukan oleh Andrew Kennedy di Microsoft Research Cambridge. Dia memiliki halaman web yang dikhususkan untuk topik ini. Sebuah makalah diskusi yang cukup baru yayasan adalah yang ini (yang jelas terlihat seperti teori bagi saya).

Yang lebih baru, tetapi menarik, pekerjaan masuk ke desain C $\omega$ . Juga melihat sejumlah besar literatur tentang generik Java, seperti Featherweight Java , juga akan membantu. Jika Anda benar-benar ingin mulai melihat fondasinya, pertimbangkan karya Cardelli tentang Jenis dan Semantik , dan mungkin pertimbangkan untuk melihat Sistem F (dan makalah asli Reynolds dan Girard).

— Dave Clarke
sumber

Jawaban yang bagus Itu membalikkan suara saya pada pertanyaan. Saya masih percaya ini benar-benar rekayasa perangkat lunak, tetapi pasti sisi yang lebih berteori.

— Derrick Stolee

Terima kasih atas kata-kata baikmu. Dalam pikiran, ilmu komputer teoretis adalah sebuah kontinum, yang mencelupkan ujung teori PL ke dalam rekayasa perangkat lunak. Juga, dalam pikiran saya rekayasa perangkat lunak tidak jelas dengan banyak diagram UML.

— Dave Clarke

Juga oleh Andrew Kennedy tentang hal itu adalah makalah ini: research.microsoft.com/en-us/um/people/akenn/generics/…

— Johannes Rudolph