> This website is produced by BBC Global News Ltd, a commercial company that is part of BBC Studios, owned by the BBC (and just the BBC). No money from the licence fee was used to create this website.
The subject does sometimes come up in my casual conversations, since Robin Milner was my first CS lecturer.
He never actually spoke about type inference in my presence. He did teach me CCS (pi-calculus predecessor) a couple of years later, by which time I could appreciate him.
I did some work for Apricot at their Glenrothes factory around 1985-87.
In my memory they went heavier on GEM than Windows. I never saw an Apricot running Windows prior to the PC-compatible models.
Matt Godbolt was saying recently that using tail-calls for an interpreter suits the branch predictor inside the cpu. Compared to a single big switch / computed jump.