So… the early work on ADTs (Algebraic Data Types) was originally based on ADTs (Abstract Data Types)! This seems less surprising now that I think about it… I think? 😅
Quote Tweet
Replying to @natefoster @JAldrichPL and @TaliaRinger
For example, here's a nice survey: courses.engr.illinois.edu/cs576/sp2017/r
3
4
11