Kodumdaki bazı yerel işlevlere tip imzaları eklemek istiyorum. Ancak, türleri anonim, varoluşsal olarak bağlı tip değişkenleri içerir. Anonim olduklarından, nasıl tip imza yazılacağını bilmiyorum. Bu
Ben ... [1] varoluşsal nicelik makeLenses bozabilir açıklar de soru ilk defa Edward Kmett en mercek kitaplığı kullanarak ve oldukça güzel buluyor ama ben bir engelle karşılaştım ediyorum. Bir modada b
Diyelim ki bir DSL yazıyor ve hem fantom desteği hem de yanlış yazılan ifadeler için destek istiyorum. Hem VNum ve VBool dışarı ing case tarafından Valunk değerleri üzerinde işlem ve hatta benim hayal
Türleri aynı kategoride olduğu sürece rasgele değerler içerebilen bir haritaya ihtiyacım var. Benim ilk naif yaklaşım böyle bir şeydi: type HMap = forall a . MyClass a => M.Map Int a
ama işe görünmü