Systém čistého typu

Čistý typový systém ( generic type system ) je formou typovaného lambda počtu , který umožňuje libovolný počet druhů proměnných a závislostí mezi nimi. Vyvinuli nezávisle Stefano Berardi (1988) a Jan Terlov (1989) [1] [2] .

Na čistý typový systém lze nahlížet jako na zobecnění lambda kostky , což znamená, že každý z jejích vrcholů odpovídá instanci čistého typového systému se dvěma druhy proměnných [1] [2] (podobný názor vyjádřil i autor nápadu lambda kostky Barendregt [3] ).

Poznámky

  1. ↑ 1 2 Pierce, Benjamin C. Typy a programovací jazyky . - Cambridge, Mass.: MIT Press, 2002. - 1 s. — 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-262 -30382-5, 978-0-262-30382-8.
  2. ↑ 1 2 Kamareddine, Fairouz D. Moderní pohled na teorii typů: od jejích počátků až po současnost . - Dordrecht: Kluwer Academic Publishers, 2004. - 1 s. - ISBN 1-4020-2334-0 , 978-1-4020-2334-7, 1-4020-2335-9, 978-1-4020-2335-4.
  3. Henk Barendregt. Úvod do systémů zobecněných typů  (anglicky)  // Journal of Functional Programming. - 1991/04. — Sv. 1 , iss. 2 . — S. 125–154 . — ISSN 1469-7653 0956-7968, 1469-7653 . - doi : 10.1017/S0956796800020025 .