[olav]

I wonder if there is some programming language that supports combining both styles:

- A linear control flow - Named Blocks with explicit, named, typed parameters and return values

I understand that one can use anonymous functions, immediately called to simulate this style.

[pushfoo]

If I understood you correctly, the ML family seems to come closest, especially Elm and F#'s use of |> syntax.