мне больше всего зашёл вот этот материал https://fsharpforfunandprofit.com/posts/property-based-testing/

очень понятно и с юмором

Лучше натива, всегда. Особенно если можно выбирать)

да. если почитать здесь https://clojure.org/guides/test_check_beginner
то можно прийти к выводу, что вообще вся эта тема про генеративные тесты не столько для автотестирования как такового (и не претендует на замену unit-тестов), сколько для интерактивного ручного тестирования. например чтобы те самые граничные условия выявить.
там как раз пример про sort и про то, как с помощью property-based testing ты можешь выявить граничный случай, когда на вход подаёшь список из одного элемента.
(это чудесно на мой взгляд).

Ну вообще, как раз таки для тестирования как такового. Но не на замену юнит тестам, скорее в дополнение. Но опять же, для проперти тестестирования нужны эти самые проперти, которые выполняются на каких то кусках области определения функции

да. проперти придётся головой придумать.

Вообще, самая популярная – у тебя есть один ключ, который тебе нужен и от него зависит результат выполнения. Свойство "результат зависит только от ключа Х" тоже вполне себе полезное, чтобы в будущем не ввели зависимость на ещё какой то ключ

Кто фигвилом в курсиве пользуется?

я пробовал разок, а какой вопрос?

Как его там настроить?

Есть какой-то туториал нормальный?

А почему там написано limited repl functionality?

не знаю, нормально все было

спасибо, посмотрю

проект генерил
lein new figwheel-main war

а, это figwheel-main

у нас просто figwheel

вот такой project.clj, на aliases можешь не обращать внимания, я ими не пользовался

Как main настроить я знаю