u/edwardkmettin r/haskell • Recommends
Conor McBride - Type Inference needs Revolution
0:00 / 0:00
TIAP Conor McBride - Type Inference needs Revolution
SoC Dundee
66 subscribers • 1 video on Hallway
- Recommended by 3 people: 1 on Lobsters and 2 in engineering communities.
- A classic. People kept recommending it from 2015 to 2024.
- Presented by Conor McBride
- An opinion. It argues one side of a question engineers disagree on.
Advanced. Deep dive for people who know the field.
5K views11 years ago3 recommendations
Programming languagesComputer scienceLanguage design and type systemsComputation and complexity
Conor McBride argues that current type inference techniques are inadequate and proposes a new direction for type system design.
A talk at the Workshop on Type Inference and Automated Proving staff.computing.dundee.ac.uk/frantisekfarka/tiap/Why it's here
3 people recommend thisWhat people say. Recommended as a thought-provoking talk on the limitations of modern type inference and how to improve it.
u/cutculusin r/ProgrammingLanguages • Recommends
Conor McBride - Type Inference Needs Revolution (2015 video)