University of Cambridge > Talks.cam > Semantics Lunch (Computer Laboratory) > Let should not be generalised

  Browse A-Z

Log in

University Account External (via Google)

🔐 Log In

Information on

Subscribing to talksdetails Finding a talkdetails Adding a talkdetails Disseminating talksdetails Help and Documentationdetails

ℹī¸ Information

Let should not be generalised

Download to your calendar using vCal

If you have a question about this talk, please contact Sam Staton .

The Hindley-Milner type system is a thing of beauty that is so deeply embedded in the cultural history of type systems that we hardly realise how wonderful and surprising it is.

However, in this talk I’ll argue that this beauty is a tad misleading. HM is a local optimum: before we can go up we must go down. In particular, I’ll argue that we must give up the automatic generalisation of local (nested) let-bindings. As we make the type system more sophisticated it becomes harder and harder to support auto-generalisation.

Happily, it turns out that auto-generalisation is seldom use. I have numbers.

This is all part of the complete rewrite of GHC ’s type inference engine, which Dimitrios and I have just completed—it’s in the upcoming GHC release.

This talk is part of the Semantics Lunch (Computer Laboratory) series.

This talk is included in these lists:

Note that ex-directory lists are not shown.

Other lists

Cancer Research UK Cambridge Research Institute Lecture Theatre Museum of Archaeology & Anthropology Workshop on Multimodal Approaches to Language Acquisition

Other talks

Seminars in Cancer TBC Online Causal Inference Seminar A Novel Diffusion Model based Approach for Sleep Music Generation In conversation: Louis Herns Marcelin and Ola Osman on legacies of enslavement and contemporary violence in Liberia and Haiti Caribbean Trip and Cacti
 

Š 2006-2025 Talks.cam, University of Cambridge. Contact Us | Help and Documentation | Privacy and Publicity