Design: Dukungan panggilan ekor yang tepat

Ya, panggilan ekor yang tepat akan didukung, tetapi kemungkinan tidak di MVP. Ini akan sangat berguna untuk bahasa fungsional yang mengandalkan pengoptimalan panggilan ekor yang dijamin. Lihat diskusi di #33 dan #44. Bagaimana dukungannya masih belum jelas karena membutuhkan eksperimen dan pengukuran kinerja.

Saya telah melihat #33 dan #44, dan #45 tampaknya terkait juga. Tetapi saya skeptis bahwa panggilan ekor yang tepat dapat dicapai melalui mekanisme apa pun yang didasarkan pada analisis aliran kontrol (apakah kontrol aliran yang tidak dapat direduksi didukung atau tidak).

Seperti yang Anda katakan, bahasa fungsional bergantung pada optimasi panggilan ekor yang dijamin, meskipun terminologi seperti itu tidak disukai karena mengundang kebingungan dengan jenis TCO yang dilakukan oleh kompiler C/C++/etc, di mana berbagai batasan dapat dikenakan pada panggilan mana yang memenuhi syarat. Jadi istilah "panggilan ekor yang tepat" digunakan sebagai gantinya. Dalam bahasa dengan panggilan ekor yang tepat, panggilan apa pun dalam posisi ekor diperlukan untuk melepaskan penyimpanan yang ditempati oleh bingkai aktivasi panggilan. Itu termasuk panggilan tidak langsung, karenanya kesulitan untuk analisis aliran kontrol lokal. Jadi kompiler/runtime bahasa fungsional biasanya memiliki operasi panggilan ekor yang eksplisit dan konvensi pemanggilan untuk mendukungnya.

Sangat bagus bahwa Anda terbuka terhadap gagasan dukungan panggilan ekor yang tepat, dan saya dapat memahami bahwa masalah ini di luar cakupan MVP. Tapi bukannya ditutup saja, bisa dibiarkan terbuka tapi diberi label post-MVP/post-whatever/icebox, sehingga jelas masalahnya belum selesai?

Ups maaf, saya tidak bermaksud menutup sebelum memperbaiki dokumentasi. Saya membuka #190 untuk mengatasi masalah ini (dan menutup masalah ini). Kami telah memindahkan masalah ke teks desain, karena memudahkan pembaca baru untuk memahami keadaan daripada membaca seluruh keadaan masalah yang diajukan.