RA
Size: a a a
2021 November 27
λ
Отрицание кванторов не так работает
RA
то есть в любом случае нужны отрицания?
GP
да, посмотри как один квантор выражается через другой
λ
Функция на рисунке фотографии скриншота - exists - и есть правильное отрицание квантора forall, с отрицанием предиката
λ
!forall(s, !p) ~ exists(s, p)
RA
спасибо большое всем
2021 November 28
а
Подскажите пожалуйста, плохо ли вызывать функцию из object в другом object ? Если да, расскажите пожалуйста про возможные проблемы
ΛВ
Oℕ
Вы можете воспринимать object как способ модуляризации
Oℕ
Только в scala 2 в таких пространствах имён вы можете объявлять функции, типы и имплиситы
Oℕ
Основной подводный камень - это рекурсивная зависимость val
Oℕ
Если в одном object во время инициализации вы вызываете метод или другим способом упоминаете другой object, а тот как-то снова ссылается на первый, ну или есть цикл зависимости больше 2, может случиться, что где-то в середине этого процесса val из одного объекта будут видны как null в другом
а
Большое спасибо за ответы, постараюсь быть аккуратным с циклическими зависимостями
ММ
Идея упорно хейтит трейлинг коммас. Есть опция изменить это поведение ?
ММ
не. Всё было в другом разделе: Preferences | Languages & Frameworks | Scala | Misс -> Trailing commas enable
R
Словил такое один раз, жаль компилятор такое не предотвращает