Pertanyaan yang diberi tag «higher-rank-types»

Saya tidak terlalu mahir dalam Haskell, jadi ini mungkin pertanyaan yang sangat mudah. Batasan bahasa apa yang dipecahkan oleh Rank2Types ? Bukankah fungsi di Haskell sudah mendukung argumen polimorfik?

110 haskell  types  polymorphism  higher-rank-types 

Saya memiliki sifat yang memiliki fungsi untuk deserializing tipe terkait. Namun tipe yang terkait perlu memiliki seumur hidup yang diputuskan oleh penelepon, jadi saya memiliki sifat terpisah yang saya gunakan untuk sifat peringkat yang lebih tinggi, sehingga dapat di-deserialisasi untuk seumur hidup. Saya perlu menggunakan penutupan yang mengembalikan tipe terkait …

11 rust  traits  higher-rank-types