То есть вариант писать тот же бэк но с гораздо меньшим бойлеплейтом, лучшими гарантиями надёжности и корректности - это мимо?
Ну это просто миф про гарантии надёжности, корректности, и снижение бойлерплейта. Если бы язык действительно обладал такими характеристиками, это было бы достаточной киллер-фичей, чтобы уделать большое число мейнстримовых проектов. Но что-то мы ничего такого не наблюдаем.