What is systems programming, really? (2018)
$$ % Typography and symbols ewcommand{\msf}[1]{\mathsf{#1}} ewcommand{\ctx}{\Gamma} ewcommand{\qamp}{&\quad} ewcommand{\qqamp}{&&\quad} ewcommand{\Coloneqq}{::=} ewcommand{\proves}{\vdash} ewcommand{\star}[1]{#1^{*}} ewcommand{\eps}{\varepsilon} ewcommand{ ul}{\varnothing} ewcommand{\brc}[1]{\{{#1}\}} ewcommand{\binopm}[2]{#1~\bar{\oplus}~#2} ewcommand{\mag}[1]{|{#1}|} ewcommand{\aequiv}{\equiv_\alpha} ewcommand{\semi}[2]{{#1};~{#2}} % Untyped lambda calculus ewcommand{\fun}[2]{\