Bazı ilginç tartışmalar burada statik-dinamik yazarak ilgili görüyorum. Ben genellikle statik yazarak, bir tür denetleme, belgelenmiş kodu, vb iyi derleme nedeniyle tercih ediyor. Ancak, eğer Java bu şekilde yapılırsa kod kadar karmakarışık yapıyorlar, örneğin katılıyorum.

Benim de işlevsel tarzı bir dil inşa etmeye başlamak üzereyim ve tür kesmesi uygulamak istediğim şeylerden biridir. Önemli bir konu olduğunu anlıyorum, ve daha önce yapılmamış bir şey yaratmak için çalışıyor, sadece temel çıkarsama değilim

Bu konuda bana yardımcı olacak kadar okumak ne üzerinde herhangi bir işaret var mı? Tercihen bir şey daha pratik ve teorik kategori karşı daha pragmatik olarak teori/yazın kuramı metinleri. Eğer uygulama tartışma bir metin var mı, veri yapıları/algoritmalar, bu çok hoş olurdu.

Aşağıdaki kaynaklar, artan zorluk sırasına göre: anlayış tür kesmesi için yararlı buldum

1. * *0, bölüm 30 (Tür Kesmesi)Programlama Dilleri: Uygulama ve Yorumlamaeskiz birleşme tabanlı çıkarsama türü.
2. Yaz kursu Interpreting types as abstract values seçkin sınıfı da, yazın Dama, türü reconstructors ve inferencers bir meta dilidir olarak Haskell kullanarak sunar.
3. the book EOPL, Bölüm 7 (Türleri)Programlama Dillerinin temelleri.
4. the book TAPL, Bölüm 22 (Tür yeniden Yapılanma)Türleri ve Programlama Dillerive recon fullrecon uygulamaları ilgili Bunun.
5. the new book DCPL, Bölüm 13 (Bir Tür yeniden Yapılanma)Tasarım Programlama Dilleri Kavramları.
6. Selection of academic papers.
7. Kapatma derleyici TypeInference Hindler Milner yaklaşım dinamik diller için daha uygun, hangi tür kesmesi için akış veri analizi yaklaşımı, bir örnektir.

Öğrenmenin en iyi yolu yapmaktır beri ancak, ben kesinlikle programlama dilleri bir dersin ödevi ile çalışan oyuncak işlevsel bir dil için tür çıkarımı uygulamak öneririz.

Hem de bir günden daha kısa sürede tamamlayabilirsiniz ML olan, bu iki erişilebilir ödevler tavsiye ederim:

1. Isınmak içinPCF Interpreter (a solution) .
2. UygulamayaPCF Type Inference (a solution) Hindley-Milner tür kesmesi için W algoritması.

These assignments daha gelişmiş bir ders vardır:

1. Implementing MiniML

2. Polymorphic, Existential, Recursive Types (PDF)

3. Bi-Directional Typechecking (PDF)

4. Subtyping and Objects (PDF)