Haskell içinde çok bilgili değilim, çok kolay bir soru olabilir.

Ne dil sınırlaması Rank2Types çözer mi?
Haskell işlevleri zaten polimorfik bağımsız değişkenleri desteklemez?

Haskell işlevleri zaten polimorfik bağımsız değişkenleri desteklemez?

Ama sadece rank 1. Bu uzantı olmadan bağımsız değişkenler farklı türde götüren bir fonksiyon yazmak mümkün olmakla birlikte, aynı duada farklı argüman olarak kullanan bir işlev yazabilirsiniz.

Örneğin, aşağıdaki işlevi g f tanımı: farklı değişken türleri kullanılır çünkü bu uzantı olmadan yazılabilir

f g = g 1   g "lala"

Gayet Olası başka bir işlev için bağımsız değişken olarak polimorfik bir işlevi geçmek unutmayın. map id ["a","b","c"] gibi tamamen yasal olan bir şey. Ama işlevi sadece monomorphic olarak kullanabilir. Örnekte map 7 ** türü vardı sanki id kullanır. Ve tabii ki de id yerine belirli bir tip basit monomorphic bir işlev geçebilir. Rank2types olmadan bir işlevi argüman polimorfik bir işlevi olmalıdır gerektiren ve bu nedenle de hiçbir şekilde polimorfik bir fonksiyonu olarak kullanmak için bir yolu yoktur.