кложура тож слабая, надо в компайлтайм добавить чего чтобы можно было проверять, мб даже просто на уровне language server чтобы можно было для него написать код чтобы он его чекал
для repl же есть возможность писать код в спец нэймспейсе, чего бы для ide не добавить такой неймспэйс чтобы он например во время написания кода чекал что например sql корректен для конкретной базы в субд
подрубаешь либу субд, и она вместо генерации в компайл тайме кода просто юзает возможности языка, а для проверки что запросы корректны сует в этот неймспэйс код проверки нужный