да, я понял

@GabrielFallen вот что нашёл https://github.com/pheymann/specdris

правда умерло уже

И?..

И что? Ну фреймворк для тестирования.

что тесты кто-то пишет для идрис

Кто-то на ассемблере пишет веб приложения

да, иногда есть такая нужда

Нет, такой нужды нет никогда😊
Люди это делают просто потому что могут

например реклама, там ограниченный SLA

Интересно, а пример есть?

только слышал про это от коллег по цеху

ещё можно найти доклады на конференциях

но без кода правда

Прошивки на флешках пишут на Си, я не могу себе представить зачем сайты на ассемблерном языке

кто быстрее ответит, тот и продаст рекламу, вот и всё

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

нашёл немного тестов, оч тяжело было

Некоторые люди думают, что они могут руками заоптимизировать лучше, чем компилятор. Справедливости ради, заставить компилятор заоптимизировать код на 100% надо ещё суметь. 😊

не спор, а ресёч, как писать мньше тестов и отчётов о тестах в кастомках