Ben vardı deneyim birkaç kez sahip DZD söyle bana bir uzantısı, sadece keşfetmek için o zaman kullanarak, bu eklenti ben kodu çok daha karmaşık bir basit yeniden Düzenle diye izin verdi bana sopa ile Haskell 98 (şimdi 2010) ve daha basit bir çözüm.

Öte yandan, aynı zamanda GADT ya Rank2Types (nadiren) RankNTypes çok daha az iş yapmak için zaman ve daha temiz kod vardır.

Hangi uzantıları genellikle geliştirmek daha iyi bir tasarım ve olasılığı belirsiz eğilimindedir? Eğer her ikisi de bazı varsa, bir kullanıcı bu uzantı kullanmaya karar vermeden önce (emin veya Çin'e çözümün doğru değil, doğru olması için ne yapmalıyım?

(1**)

Geçici bir liste ahlaken "" uzantıları ve ahlaken "kötü" olanları - bu estetik bir yargı! iyi

İyi

• GADTs
• Paralel kapsam listesi
• Desen korur
• Monad kapsam
• Demet bölümleri
• Kayıt joker
• Boş veri decls
• Varoluşsal tipler
• Yeni tip doğan genelleştirilmiş
• MPTCs TBS
• Yazın aileler
• Açık miktar
• Yüksek rütbe polimorfizmi
• Lexically tyvars kapsamlı
• Bang Desenleri

Kötü

• SQL kapsam
• Kapalı parametreleri

Çirkin(ama) gerekli

• Şablon Haskell
• Kutusuz türleri ve dizilerini
• Undecidable, üst üste ve tutarsız örnekleri-genellikle bir misdesign anlamına gelir.

Emin değilim

• Ok işareti
• Görünüm desen