The language muddle and the system middle
In particular, I’ll talk about why the C language can be viewed as a dynamically safe language; why linkers are like garbage collectors; and why custom memory allocators in C are in some ways a more usable kind of foreign function interface (FFI). In each case I’ll be trying to persuade you that apparently diverse programming environments are more alike than they appear, and that not-so-distant future systems can harness this realise our existing languages (not just new ones!) in radically more usable, more interoperable and better-tooled ways.
Towards the end, I’ll recap some recent research towards these goals, by myself and others, and outline some near-term steps to take things further.