Reading 17: Recursive Data Types

In this reading we’ll look at recursively-defined types, how to specify operations on such types, and how to implement them. Our main example will be immutable lists.

Reading 17: Recursive Data Types Reading 17: Recursive Data Types Software in 6.031 Safe from bugs Easy to understand Ready for change Correct today and correct in the unknown future. Communicating clearly with future programmers, including future you. Designed to accommodate change without rewriting. Objectives Understand recursive data types Read and write data type definitions Understand and implement functions over recursive data types Understand immutable lists and know the standard operations on immutable lists Know and follow a recipe for writing programs with ADTs Introduction In this

related reading

• Reading 11: Recursive Data Typesweb.mit.edu
• Reading 17: Recursive Data Typesweb.mit.edu
• Object-Oriented Design and Data Structuresandrewcmyers.github.io
• Reading 10: Abstract Data Typesweb.mit.edu
• Type theory - Wikipediaen.wikipedia.org
• CSC 151 - Recursion over Numberseikmeier.sites.grinnell.edu
• adventures in uncertainty: An Introduction to Recursion Schemesblog.sumtypeofway.com
• CSC 151 - Recursion Over Listseikmeier.sites.grinnell.edu
• Reading 19: Little Languagesweb.mit.edu
• Reading 6: Abstract Data Typesweb.mit.edu
• Problem Set 3: Memelyweb.mit.edu
• Reading 11: Abstraction Functions & Rep Invariantsweb.mit.edu