@sliminality@types.pl This reminded me of how I can never remember "functional core, imperative shell" because there's a bunch of programming models with the opposite philosophy e.g. OCaml, notebooks, ...