Haskell'in tip sınıflarının olası uygulamaları ve (dis) avantajları nelerdir?

Bildiğim kadarıyla, tip sınıfları kısıtlamaları olan bir Haskell işlevi dahili olarak, her bir belirli sınıf sınıfının gerekli uygulamaları ile sözlükler alan ek argümanlara sahip bir işleve derlenir.

Sınıf sınıflarını derlemenin başka olasılıkları var mı?
Eğer öyleyse, (dis) avantajları nelerdir?
Ve hangi derleyiciler bunları kullanıyor?

— Petr Pudlák
kaynak

Bu konuda biraz edebiyat var. Belki de J. Peterson, M. Jones tarafından Tip Dersleri Uygulamakla başlayınız . Scala bağlamında bunun hakkında konuşan ancak ilgili çalışmalarda oldukça geniş bir bölüme sahip olan Oliveira ve arkadaşlarının Type Classes'a Objects and Implicits olarak bakabilirsiniz .

— Martin Berger

Makaleye bir bağlantı buldum: Tip Sınıflarını Uygulama. John Peterson ve Mark P. Jones .

— Petr Pudlák

@MartinBerger bunu bir cevap haline getirir mi?

— Suresh Venkat

Diğeri burada bulunabilir .

— Martin Berger

@Suresh Venkat, cevap vermek istemedim çünkü bu ikisinin en iyi, hatta iyi cevaplar olduğundan emin değilim. İşlevsel dillerin uygulamalarına baktığımdan beri bir süre geçti. Belki de yerleşik FP cesetlerinden bazıları gelebilir.

— Martin Berger

JHC farklı bir yaklaşım kullanır. Derleyicinin ara dili, türler ve değerler arasında hiçbir ayrımın olmadığı, bağımlı olarak yazılan bir lambda hesabıdır. Bu nedenle JHC, bir işlevin tip parametresi üzerinde bir vaka analizi yapabilir ve doğrudan doğru aşırı yüklenmiş işlevi çağırabilir.

JHC web sitesi , uygulama üzerinde biraz derinlemesine ve standart sözlük geçişi uygulamalarına göre avantajlarına sahiptir.

— Dominic Mulligan
kaynak