Tip kontrol algoritmaları

Tip kontrol algoritmaları hakkında kişisel bir bibliyografik araştırma başlatıyorum ve bazı ipuçları istiyorum. En sık kullanılan tip kontrol algoritmaları, stratejileri ve genel teknikler nelerdir?

Özellikle, C ++, Java 5+, Scala veya diğerleri gibi yaygın olarak bilinen güçlü statik yazılan dillerde uygulanan karmaşık tür denetleme algoritmalarıyla ilgileniyorum. IE, temel dilin çok basit yazılması nedeniyle çok basit olmayan tür denetleme algoritmaları (Java 1.4 ve altı gibi).

Belirli bir X, Y veya Z diliyle ilgilenmiyorum. Hedefledikleri dilden bağımsız olarak tip kontrol algoritmalarıyla ilgileniyorum. "Daha önce hiç duymadığınız ve güçlü yazılan L dili gibi bir yanıt sağlarsanız, Z algoritmasını kullanarak X ve Y'yi kontrol ederek A, B ve C'yi yapan bir tür kontrol algoritması vardır" veya " Scala için kullanılan X ve Y stratejileri ve C # için kullanılan A'nın bir Z varyasyonu, bu şekilde çalışan R, S ve T özellikleri nedeniyle havalı "dediğinde, cevaplar güzel.

Çoğu araştırma, tam gelişmiş programlama dilleri için tür kontrol algoritmalarını yayınlamamaktadır. Drossopoulou ve Eisenbach tarafından Java veya Nipkov ve arkadaşlarının C ++ üzerindeki çalışmaları gibi, tam programlama dilleri için tür sistemlerinin büyük bir kısmının bazı formalizasyonlarını bulacaksınız . Daha sık, ancak, dilin sadece bazı çekirdek kısımları için (Featherweight Java bir örnektir) veya bir dilin scala'nın yerel tür çıkarım yaklaşımı gibi temel kavramları için tip sistemlerini bulacaksınız .

POPL ve ICFP gibi konferanslarda, belirli tip sistemler için birçok tip kontrol algoritması ve çift ​​yönlü ve çift ​​yönlü tip kontrol gibi yeni yaklaşımlar bulacaksınız .

Daha genel olarak, muhtemelen Damas-Milner algoritması , yerel tip çıkarım, çift yönlü ve çift yönlü tip kontrolü hakkında bilgi sahibi olmanız ve makalelerde referansları takip ederek ve hangi makalelerin bunları alıntıladığını ve üzerine inşa edildiğini bulmak için google bilginini kullanarak oradan genişlemeniz gerekir. açıklanan yaklaşımlar. Ayrıca, yukarıda önerildiği gibi, POPL, ICPF, ESOP ve hatta ECOOP ve OOPSLA gibi konferanslarda arayışınızla ilgili makaleler olacaktır.

Temel bir araç Öznitelik Gramerleridir . Onlarla hayal edebileceğiniz her kötü şeyi yapamayacaksınız, ancak bunlar iyi bir başlangıç ​​noktası.

Esasen, bir programın soyut sözdizimi ağacının yukarıdan aşağıya ve / veya aşağıdan yukarıya doğru yürüyebilir ve bilgileri iletebilirsiniz. Böylece, örneğin, global kapsam türü bilgilerini (örneğin, sınıflar ve üyeleri) aşağıya doğru aktarabilir ve ifadelerin türünü özyinelemeli, yani aşağıdan yukarıya, sonuçta ortaya çıkan türleri yukarı doğru geçirerek belirleyebilirsiniz.

Slaytlardaki bazı açıklamaları ve örnekleri burada bulabilirsiniz (Bölüm 5).