14
Haskell hakkında bir araştırma makalesi okuyorum ve HList'in nasıl uygulandığını ve anlatılan tekniklerin tip denetçisi için ne zaman alınmayacağını bilmediğini merak ediyorum. Ayrıca, GADT'lerle benzer şeyler yapabileceğiniz için, GADT tipi kontrolün her zaman kararsız olup olmadığını merak ediyordum.Fundeps ve GADTs: Ne zaman yazım denetimi yapılabilir?
Eğer varsa, alıntıları kullanmayı tercih ederim, böylece açıklamaları okuyabilir/anlayabilirim.
Teşekkürler!
Bu soru, araştırma makalesinin yazarlarına daha iyi yönlendirilmiş olabilir. Stack Overflow için biraz ezoterik. (Yorum yapmak için araştırmacılarla her zaman büyük bir başarı elde ettim. Genellikle kendinden geçmişler * herhangi biri * kendi işlerini okuyor.) –
Bence bu tutum (teorik soruların pragmatik bir forum üzerinde hiçbir etkisi yoktur) zararlı ve eskimiş. Pragmatik yaklaşımlar yeni teknolojilere açık olmalıdır, çünkü bu teknolojiler yakın bir gelecekte günlük etkinlikleri iyileştirebilir. örneğin: C#/python'daki işlevsel özellikler. – rcreswick
Yani, Chirs'in yorumu muhtemelen doğru, pratik olarak konuşuluyor. Keşke olmasaydı. – rcreswick