Мне кажется, что следующей модной темой является Type Driven Development.
При этом подходе ты при помощи алгебраических типов данных описываешь свою предметную область, чтобы гарантировать, что ты ничего не сломаешь в процессе написания кода.
Этот подход активно используется в функциональных языках: F#, Haskell, а ещё его активно заимствуют другие языки, например: Rust.
Также ADT есть в других свежих языках, например: Swift и Kotlin.
А ещё их планируют добавлять в другие языки, типа C# и Java.
PS: исходил из определения, что передовой - самый активно развивающийся и идущий впереди всех.