Designing a type system: an introduction

Add to your list(s) Download to your calendar using vCal

• Isaac Dixon, Homerton College
• Wednesday 14 October 2020, 19:30-20:00
• Wolfson Hall, Churchill College.

If you have a question about this talk, please contact Matthew Ireland.

Almost every programming language has a type system of some description. From the flexible typing of scripting languages like PHP or the mathematically-grounded type systems found in many functional languages such as Haskell, types are an integral part of high-level programming.

My talk will give a brief survey of some of the key aspects of type system design and type theory that you should consider when creating and using programming languages. I will cover different high-level type system classifications before progressing to some more technical concepts. I will discuss polymorphism, algebraic data types and dependent types, with examples in various languages from C to Idris.

Understanding your programming language’s type system and using it to its full potential will let you write more effective and reliable software.

This talk is part of the Churchill CompSci Talks series.

This talk is included in these lists:

• Churchill CompSci Talks
• Wolfson Hall, Churchill College
• computer science
• se393's list

Note that ex-directory lists are not shown.