Странный опрос про замену тестов типами и наоборот при том, что одна из либ для генерации тестов, которая породила много имплементаций на разных языках это QuickCheck для Хаскеля🤔
Распространено мнение, что система типов может заменить тесты и наоборот, что тесты заменяют хорошую систему типов, мало кто понимает, что они решают разные задачи, и возможно, немного пересекаются