Дуализм стилей реализации интерпретатора

Предлагаю изучить, что такое continuation-passing style. Это когда функция принимает дополнительный аргумент-функцию, и вместо возврата результат передаётся в эту функцию. Это будет максимально выраженной реализацией той вашей картинки, где стрелочки передаются между модулями напрямую. Насколько я знаю, BEAM оптимизирует хвостовые вызовы, так что вы сможете сидеть в своём REPL до посинения.