Scala 3 оставила implicit, и я не знаю, радоваться ли

Kotlin заключил с Java ту же сделку, и счёт приходит в виде платформенных типов. String, вернувшийся из Java-метода, в сообщениях об ошибках выглядит как String!, и это вежливый способ компилятора сказать, что он понятия не имеет. Объявите его не-null, и проверка уедет во время выполнения. Если повезёт, аккуратный NullPointerException случится прямо при присваивании, если нет, то тремя вызовами позже. Добавьте на стороне Java аннотации о допустимости null, и Kotlin вам поверит. Справедливо. Моделей в голове всё равно две, но компилятор хотя бы признаёт, что их две.

Пусть старая форма компилируется, но новичок должен сначала встретить строгие правила. Чего стоит обратный порядок, видно по Visual Basic. Option Strict по-прежнему по умолчанию Off, так что в первом проекте новичка позднее связывание и неявные сужающие преобразования разрешены без всяких вопросов. Это значение оставлено, чтобы старый код продолжал компилироваться. Но из-за него начинающий сначала знакомится с мягкими правилами, а о строгих узнаёт, только если кто-то о них скажет. Мне бы хотелось, чтобы в шаблоне вверху открыто стояло Option Strict On, тогда новый читатель увидит этот выбор и сможет в нём усомниться.