Отзыв о Imandra от Kris Feezy

Инструмент можно использовать с Java, Scala или Clojure, поэтому это легко сделать, если вы уже знаете эти языки, но у нас также есть пользователи, которые вообще их не используют, которым нравится использовать наш продукт, потому что они знакомы с другими инструментами на своем языке (такими как как С#). Нам больше пошло бы на пользу поддержка Kotlin, которая, как я полагаю, недавно была проблемой, из-за которой это больше не работало должным образом, хотя, может быть, с тех пор ситуация улучшилась? Но в целом все работает просто отлично! Ничего особенного в моем опыте работы здесь, за исключением, возможно, того, сколько времени иногда проходило между выпусками: / Иногда новые функции проходят целую вечность, прежде чем они будут выпущены в производство - даже незначительные, такие как исправления ошибок и т. д. И эти ошибки могут не всегда иметь смысл, оглядываясь назад после развертывания, если только вы не'