Data.Typeable ama benim kod kullanmak isterim neden bana değil açık Haskell için başvurular rastladım.

Ne sorunu çözmek ve nasıl?

Data.Typeable bilinen yaklaşım (örneğin Harper) statik (dinamik) gecikmeli tip kontrol uygulanması için yazılı dil kullanarak bir kodlamaevrenselyazın.

Bu tür denetlemesi daha sonra bir aşamaya kadar başarılı olamazdı hangi kodu sarar. Kötü yazılan program reddetmek yerine, derleyici zamanı kontrol etmek için geçirir.

Stil Abadi ve ark. kökenli, ve Cheney tarafından Haskell için geliştirilen ve Typeable sınıf SYB parçası olarak görünen tüm dinamik türleri temsil etmek için bir sarıcı olarak Hinze, SPJ ve Lammel.

Başvuru

• Martin Abadi, Luca Cardelli, Benjamin Pierce ve Gordon Plotkin, "Dynamic Typing in a Statically Typed Language", Programlama Dilleri ve Sistemleri üzerine ACM İşlemleri (TOPLAS), 1991.
• James Cheney ve Ralf, "A lightweight implementation of generics and dynamics", Haskell '02: 2002 yılı İşlemleri Haskell Çalıştayı, 2002 ACM SİGPLAN. Hinze
• Lammel, Ralf ve Jones, "Scrap your boilerplate: a practical design pattern for generic programlama, '03: 2003 ACM SİGPLAN Bildirileri Dilde Türleri ve 2003 Uluslararası Atölye Tasarım Uygulama . TLDİ Simon Peyton
• Harper, 2011, Programlama Dilleri için Pratik Temeller.

Ders kitaplarında bile: dinamik tip (typeable beyan ile) sadece bir tür, ch 20 Harper ile statik olarak yazılan dil

20.4 Yazılmamış Demektir Yazılan Üni

L-Cebir yazılmamış bir sadakatle gömülü olabilir özyinelemeli türleri ile yazılan dil. Bu her anlamına gelir l vadeli yazılı bir ifade olarak gösterimi var yazılmamış böyle bir temsili yürütme l-dönem dönem kendisi yürütme karşılık gelir. Bu gömmedeğiltercüman yazma meselesi için ℒ içinde l-Cebir{ ×⇀µ} elbette yapabiliriz, ama yazılı olarak yazılmamış doğrudan bir temsili l-şartları yerine özyinelemeli türleri ile bir dilde ifadeler.

Anahtar gözlem buyazılmamışl-matematik. gerçektenuni-daktilol-hesap! Değilolmaması bu sahip olduğu gücü, daha ziyade veren türleri sadece bir taneyazın, özyinelemeli türü yani

D = µt.seçeneğine t t.