иногда приходится использовать AVX инструкции, конечно для этого не нужно писать всё на ассемблере, и вряд ли веб фреймворк на асме будет лучше сишного, меня же интересуют бест-практикс, понятно что без тестов многие пишут
Лично по моему опыту (Haskell vs. Си в задачах компиляции или в соревнованиях) тестировать приходится примерно на одном и том же уровне. Нет такого, что прямо вау, для кода на Haskell пришлось написать 10 тестов, а для кода на Си 100. Ошибок в Си возникает больше из-за недописанных switch-ей или из-за некорректных доступов в память, но они вылавливаются примерно тем же объёмом тестов.
Я б посоветовал покодить на разных языках в CodeWars или CodinGame, чтобы ощутить все прелести, а потом уже решать, какой именно инструмент для Ваших задач удобнее.
Совсем от тестирования не избавит ни Idris, ни Coq, потому что математическая модель задачи может не соответствовать реальному поведению программируемой системы. Тестировать, всё-равно, приходится.
Как это бывает в реальности можно пронаблюдать сейчас в проекте OpenPilot, как они там отлаживают автопилоты для автомобилей. Весьма познавательно.
