4 ms·
I've only read the introduction so far - but already it has taught me something. As a lay-person I am finding it very readable and accessible. I'd always thoug
by Patient0 10y ago
I've only read the introduction so far - but already it has taught me something. As a lay-person I am finding it very readable and accessible.
I'd always thought that subtyping inference was only something you need for OO style languages. But he begins with two very clear, non-OO, motivating examples and a key insight: failing to support subtyping ignores the data flow of the program.
- vog 10y agoI just had a look at it, and this thesis is really well-written. A beautiful piece of work, with the right mix of concrete examples, abstract concepts, and meta-concepts that describe why and how the author developed their concepts. Can't wait to read more of it.