What are types? Part 2

WARNING: I've had this mainly completed article sitting around in my drafts for a long time. I am so unsatisfied with it, but I haven't been able to figure out how to improve it yet. So I may heavily re-work or just retract this sometime in the future. In the meantime, it's not benefitting anyone … Continue reading What are types? Part 2

What are types? Part 1

There are these things that, depending on your definition, many or all programming languages use: 'types'. There's also a rich mathematical study of types in Type Theory which, along with related disciplines, has many connections to logic and proof. Why? Often, they take the form of explicit 'annotations' to program artefacts, big and small. For … Continue reading What are types? Part 1