Tiszta típusú rendszer

A tiszta típusú rendszer ( generic type system ) a típusos lambda-számítás egy formája, amely tetszőleges számú változót és azok közötti függőséget tesz lehetővé. Stefano Berardi (1988) és Jan Terlov (1989) önállóan fejlesztette ki [1] [2] .

A tiszta típusú rendszert a lambda kocka általánosításának tekinthetjük , ami azt jelenti, hogy minden csúcsa egy tiszta típusú rendszer egy példányának felel meg, kétféle változóval [1] [2] (hasonló nézetet fogalmazott meg a szerző a lambda kocka ötlet Barendregt [3] ).

Jegyzetek

1. ↑ 1 2 Pierce, Benjamin C. Típusok és programozási nyelvek . - Cambridge, Mass.: MIT Press, 2002. - 1 p. — ISBN 0-585-44269-X , 978-0-585-44269-3 , 0-262-25681-9 , 978-0-262-25681-0 978-1-282-09669-1, 0-669-1 -30382-5, 978-0-262-30382-8.
2. ↑ 1 2 Kamareddine, Fairouz D. A típuselmélet modern perspektívája: eredetétől napjainkig . - Dordrecht: Kluwer Academic Publishers, 2004. - 1 p. - ISBN 1-4020-2334-0 , 978-1-4020-2334-7, 1-4020-2335-9, 978-1-4020-2335-4.
3. ↑ Henk Barendregt. Bevezetés az általánosított típusú rendszerekbe  (angol)  // Journal of Functional Programming. - 1991/04. — Vol. 1 , iss. 2 . — P. 125–154 . — ISSN 1469-7653 0956-7968, 1469-7653 . - doi : 10.1017/S0956796800020025 .