Это может звучать немного странно, но я ищу возможность проверить, отклоняются ли некоторые утверждения в коде средством проверки типов (это означает, что код должен НЕ компилировать).
Объясните мое намерение: я провожу контролируемый эксперимент с системами типов, в котором мои испытуемые должны написать для меня некоторые методы на java. Функциональность методов, написанных субъектами, можно легко протестировать с помощью модульных тестов, но я также хочу, чтобы методы были хорошо типизированы (это означает, что некоторые вызовы методов не должны быть запрещены).
Один из способов, который я мог бы представить для достижения этого, - это написать операторы, которые должны разбить сборку на отдельный файл, добавить его в путь к классам и запустить javac, чтобы увидеть, возникает ли какая-либо ошибка во время сборки. Хотя это может сработать, это не выглядит очень сложным, поэтому мой вопрос: Есть ли лучший способ (автоматически) проверить, отражены ли некоторые операторы средством проверки типов?
