I don't know if this relates or whether I'm misunderstanding, but one approach to impose a bit more structure on the functional approach that I rather like is '

I don't know if this relates or whether I'm misunderstanding, but one approach to impose a bit more structure on the functional approach that I rather like is 'behaviours' in Elixir (and Erlang?): https://elixir-lang.org/getting-started/typespecs-and-behaviours.html#behaviours https://elixir-lang.org/getting-started/typespecs-and-behavi...