Присаживайтесь поудобнее, начнём. Вопрос в том, используется == или вызов метода equals. В последнем случае накладные расходы выше. Пример более быстрого сравнения, начиная с Java 5 - сравнение членов перечисления Enum.
Спасибо вам за вопрос. Метод реализует отношение эквивалентности. Соглашения включают рефлексивность, симметричность, транзитивность, консистентность и отличие от нуля. Проблема: при добавлении аспекта нарушается хотя бы одно из этих соглашений.
Многие классы, включая классы коллекций, полагаются на то, что объекты, передаваемые им, подчиняются соглашениям (контракту) для этого метода.
Об ООП: не существует способа расширить класс, порождающий экземпляры, и добавить к нему новый аспект, сохранив при этом соглашения для метода equals. (с)
А кто-нибудь из ветки получает уведомления на почту? Ничего не получил именно по поводу коммента, на который сейчас отвечаю. Отправил запрос в поддержку.
После версии 1.0 добавились, например, Arrays.hashCode(), Objects.hashCode(), Objects.hash() .
Сравнивая через getClass, вы подразумеваете экземпляр строго одного типа (ведь через instanceof можете более гибко сравнить подтипы)?
Присаживайтесь поудобнее, начнём. Вопрос в том, используется == или вызов метода equals. В последнем случае накладные расходы выше. Пример более быстрого сравнения, начиная с Java 5 - сравнение членов перечисления Enum.
О, приветствую, ждал вас в этом треде, вы совершенно правы, удачное замечание.
Спасибо вам за вопрос. Метод реализует отношение эквивалентности. Соглашения включают рефлексивность, симметричность, транзитивность, консистентность и отличие от нуля. Проблема: при добавлении аспекта нарушается хотя бы одно из этих соглашений.
Многие классы, включая классы коллекций, полагаются на то, что объекты, передаваемые им, подчиняются соглашениям (контракту) для этого метода.
https://habr.com/ru/post/168195/
https://habr.com/ru/company/vk/blog/321306/
Об ООП: не существует способа расширить класс, порождающий экземпляры, и добавить к нему новый аспект, сохранив при этом соглашения для метода equals. (с)
И https://github.com/onivim/oni2 .
Да, бывает когда нужно учиться на историях успеха (которых на Хабре много) и на историях провала (например, о бекапах https://habr.com/ru/company/safedata/blog/318582/ ).
@WASD1
"[...]инструменты для разработчика[...]"
Neovim для fullstack программиста
https://habr.com/ru/post/585222/
А кто-нибудь из ветки получает уведомления на почту? Ничего не получил именно по поводу коммента, на который сейчас отвечаю. Отправил запрос в поддержку.
"[...]инструменты для разработчика на Хаскеле[...]
Для начала Vim в терминале Kitty. Затем плагины к нему. Потом Неовим.
Думали ли вы над формальной верификацией, например, эффекта Допплера?
"[...]люди и машины играют уже в разных лигах."
Проводятся вызывающие интерес матчи по шахматам с форой (например, у машины на пешку меньше).
Ещё бы в DCS World, Squad.
А в Agda гетерогенное неравенство?
И есть ли по Idris 2, Agda 2 что-нибудь вроде https://habr.com/ru/post/472780/comments/#comment_20807772 ?
Это, например? "Генный драйв и CRISPR: история, потенциал и стартапы"
https://habr.com/ru/post/530866/
Кстати, используете Vim с Pathogen для Idris 2?
Интересно, в том числе на основе Cardano-экосистемы?