Dr Conor McBride runs the Mathematically Structured Programming group at the University of Strathclyde. He specialises in dependently typed programming. Over a decade ago. he was co-designer and implementer of Epigram. These days, while working on foundational innovations beyond advanced languages like Agda and Idris, he also engages keenly with the languages funcitonal programmers use for real work today. He is one of the people helping to drive the evolution of Haskell's type system towards ever greater expressivity.
Talks I've Given
-
Is a type a lifebuoy or a lamp?
Featuring Conor McBride
A lifebuoy can save you when you have already fallen in the water, but it doesn't stop you falling in the water: it can help to protect you from the more serious consequences of your mistakes. A lamp helps you see what you are doing, but it doesn't stop you doing things: the extra...
haskellx haskell -
What are Types for, or are they only Against?
Featuring Conor McBride
Doctor Who: I think my idea’s better. Lester: What is your idea? Doctor Who: I don’t know yet. That’s the trouble with ideas: they only come a bit at a time.
(from “Revenge of the Cybermen” episode 3, by Gerry Davis)
Much of the perennial wrangling about types and...
technique