Сложные виды циклов(цикл Дейкстры, цикл «Паук», etc.)

Ну так что то подобное наск я понял мы и делаем... а хочется на уровне ЯП;-)

если на уровне ЯП == поддержка в управляющих структурах или общепринятый метод, то да, такого не может не хотеться. Т.е., например, в haskell это не специальный сахар или конструкции, а обычный язык, но при этом метод решения задачи через данные интерфейсы является общепринятым.

да я не совсем точен, более корректный аналог это библиотеки traverable, functor, foldable на шаблонах, т.е. при сборке все функции уже известны и возможно заинтайнены, так что в рантайме это не вносит накладных расходов. (Если не используюся экзестенциальные классы)

ну мы такое сами руками делаем, но через шаблоны ес-но, рекурсивно. Компиляется только долго.