@@ -66,10 +66,12 @@ in derivation {
69−[.text: text-scale(0.75)]
69+[.text: text-scale(0.55)]
71# Terms and definitions
71# Terms and definitions
73+**Type** – an attribute of data which tells the compiler or interpreter how the programmer intends to use the data
73**Type system** – a logical system comprising a set of rules that assigns a property called a type to the various constructs of a computer program
75**Type system** – a logical system comprising a set of rules that assigns a property called a type to the various constructs of a computer program
75**Type checking** – the process of verifying and enforcing the constraints of types.
77**Type checking** – the process of verifying and enforcing the constraints of types.
@@ -226,7 +228,7 @@ The typechecker is implemented in a two-step architecture:
226# References
228# References
2281. L. Damas and R. Milner, “Principal type-schemes for functional pro- grams,” in Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, 1982, pp. 207–212.
2301. L. Damas and R. Milner, “Principal type-schemes for functional pro- grams,” in Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, 1982, pp. 207–212.
229−2. E. Dolstra and A. Lo ̈h, “Nixos: A purely functional linux dis- tribution,” in Proceedings of the 13th ACM SIGPLAN international conference on Functional programming, 2008, pp. 367–378.
231+2. E. Dolstra and A. Loh, “Nixos: A purely functional linux distribution,” in Proceedings of the 13th ACM SIGPLAN international conference on Functional programming, 2008, pp. 367–378.
2303. J. G. Morris and J. McKinna, “Abstracting extensible data types: or, rows by any other name,” Proceedings of the ACM on Programming Languages, vol. 3, no. POPL, pp. 1–28, 2019.
2323. J. G. Morris and J. McKinna, “Abstracting extensible data types: or, rows by any other name,” Proceedings of the ACM on Programming Languages, vol. 3, no. POPL, pp. 1–28, 2019.
2314. D. Leijen, “Extensible records with scoped labels.” Trends in Functional Programming, vol. 6, pp. 179–194, 2005.
2334. D. Leijen, “Extensible records with scoped labels.” Trends in Functional Programming, vol. 6, pp. 179–194, 2005.