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.