Şu soru üzerinde şu alıntıyı gördüm: Bir web hizmetinin üzerine inşa edilecek iyi bir işlevsel dil nedir?
Özellikle Scala, yapabileceğiniz kompozisyon türlerini sınırlayan kendi kendine özyinelemeli işlevler dışında kuyruk çağrısı ortadan kaldırmayı desteklemez (bu JVM'nin temel bir sınırlamasıdır).
Bu doğru mu? Eğer öyleyse, bu temel sınırlamayı yaratan JVM ile ilgili nedir?
Yanıtlar:
Bu gönderi: Özyineleme mi, Yineleme mi? yardımcı olabilir.
Kısacası, güvenlik modeli ve her zaman bir yığın izlemeye sahip olma ihtiyacı nedeniyle JVM'de kuyruk araması optimizasyonu yapmak zordur. Bu gereksinimler teoride desteklenebilir, ancak muhtemelen yeni bir bayt kodu gerektirecektir ( John Rose'un gayri resmi önerisine bakın ).
Ayrıca, değerlendirmenin (2002'den itibaren) sona erdiği Sun bug # 4726340'ta daha fazla tartışma var :
Yine de bunun yapılabileceğine inanıyorum, ancak bu küçük bir görev değil.
Şu anda Da Vinci Makinesi projesinde devam eden bazı çalışmalar var . Kuyruk arama alt projesinin durumu "proto% 80" olarak listelenir; Java 7'ye dönüşmesi pek olası değil, ancak Java 8'de çok iyi bir şansı olduğunu düşünüyorum.
Temel sınırlama basitçe JVM'nin bayt kodunda kuyruk aramaları sağlamaması ve sonuç olarak JVM üzerine inşa edilmiş bir dilin kendi kendine kuyruk aramaları sağlamasının doğrudan bir yolu olmamasıdır. Benzer bir etki (örn. Tramplen) elde edebilen geçici çözümler vardır, ancak bunlar, korkunç bir performansın ve bir hata ayıklayıcıyı işe yaramaz hale getiren üretilen ara kodu gizlemenin ciddi maliyetiyle gelir.
Bu nedenle Sun, JVM'nin kendisinde kuyruk çağrılarını uygulayana kadar JVM, üretim kalitesinde işlevsel programlama dillerini destekleyemez. Bunu yıllardır tartışıyorlar, ancak kuyruk çağrılarını uygulayacaklarından şüpheliyim: bu çok zor olacak çünkü bu tür temel işlevleri uygulamadan önce sanal makinelerini zamanından önce optimize ettiler ve Sun'ın çabası işlevsel diller yerine dinamik dillere odaklanıyor.
Bu nedenle, Scala'nın gerçek bir işlevsel programlama dili olmadığına dair çok güçlü bir argüman var: Bu diller, Scheme'nin 30 yıldan uzun bir süre önce piyasaya sürülmesinden bu yana, kuyruk çağrılarını temel bir özellik olarak görüyorlar.
Hence there is a very strong argument that Scala is not a real functional programming language - argüman aslında oldukça zayıf. Tabii ki tail calls [as] an essential feature, temeldeki donanım (veya virtal makine) doğrudan destekliyorsa güzel. Ancak uygulama ayrıntıları.
Scala 2.7.x, son yöntemlerin ve yerel işlevlerin kendi kendine özyinelemesi (kendini çağıran bir işlev) için kuyruk arama optimizasyonunu destekler.
Scala 2.8, karşılıklı olarak özyinelemeli işlevleri optimize etmek için bir teknik olan trambolin için kütüphane desteğiyle de gelebilir.
Rich Dougherty'nin blogunda Scala özyinelemesinin durumu hakkında pek çok bilgi bulunabilir .
Lambda The Ultimate ile bağlantılı makaleye ek olarak (yukarıda yayınlanan bağlantı korsanlarından), Sun'dan John Rose'un kuyruk arama optimizasyonu hakkında söyleyecek başka sözleri var.
http://blogs.oracle.com/jrose/entry/tail_calls_in_the_vm
Bir gün JVM'de uygulanabileceğini duydum. Da Vinci Makinesi'nde diğer şeylerin yanı sıra kuyruk arama desteği inceleniyor.
Tüm kaynaklar , JVM'nin kuyruk özyineleme durumunda optimize edemediğine işaret ediyor, ancak Java performans ayarını (2003, O'reilly) okuduktan sonra yazarı, kuyruk özyinelemeyi uygulayarak daha yüksek özyineleme performansı elde edebileceğini iddia eden buldum.
İddiasını 212. sayfada bulabilirsiniz ('kuyruk özyineleme' için arama ikinci sonuç olmalıdır). Ne oluyor?