Pertanyaan yang diberi tag parametricity

9
Parametrisitas Logika Linier

Apakah kita mampu membuktikan teorema parametricity gratis tentang fungsi seperti ? Seharusnya menyatakan bahwa f mengambil daftar dan selalu mengembalikan permutasi itu.f:∀A.[A]⊸[A]f:∀A.[A]⊸[A]f : \forall A . [A] ⊸ [A]fff Contoh lain: membuktikan bahwa fungsi akan selalu mengembalikan daftar...