Окей, у меня будет тип математического множества и тип математического элемента

Который может быть в множестве

LSP тут не причем, речь о дырявости абстракции и непригодности исключительно метода сверху вниз

Я опять не понял цепочку рассуждений (

Да, и все наебнется при реализации

Да, и все наебнется при реализации

Почему?

Ну выше уже все показал же

Мне не очень удобно с телефона повторяться

На верхнем уровне у тебя очень вряд ли будет ситуация, когда объект не имеет свойства сравнимости

Множество достаточно высокоуровневая абстракция, низкоуровневые ссылки без сравнимости могут жить в реализации множества, но не на том же уровне, гже мы оперируем множеством, как абстрактным типом

LSP тут не причем, речь о дырявости абстракции и непригодности исключительно метода сверху вниз

Про "Исключительно" уверен, что правда. Сверху вниз используется для проектирования бизнес-транзакций. Не думаю что сверху вниз кто-то будет писать компилятор

Про "Исключительно" уверен, что правда. Сверху вниз используется для проектирования бизнес-транзакций. Не думаю что сверху вниз кто-то будет писать компилятор

Про компилятор не уверен, плохо знаю как они пишутся в промышленных масштабах, знаю только как студентом их писать)

На верхнем уровне у тебя очень вряд ли будет ситуация, когда объект не имеет свойства сравнимости

Да порядка почти никогда нет, хешируемость тоже не всегда

у нас разные верхние уровни)

Множество достаточно высокоуровневая абстракция, низкоуровневые ссылки без сравнимости могут жить в реализации множества, но не на том же уровне, гже мы оперируем множеством, как абстрактным типом

Вот тут не понял.

в бизнес-транзакциях участвуют бизнес-сущности всякие, аггрегаты там, value objects. В них вполне строго определена сравнимость

с аггрегатами вообще хорошо, они однозначно определены своим id, который обычно либо строка, либо какая-нибудь простая пара-тройка строк\чисел

ну и вообще проблемы с хешируемостью на этом уровне не возникает

Про компилятор не уверен, плохо знаю как они пишутся в промышленных масштабах, знаю только как студентом их писать)

Ну, тут решается разделением на бекенд- и фронтенд- компилятор, каждый из которых можно сверху вниз. Но при этом для фронтенд компилятора (лексер+парсер+семантер) уже на этапе проектирования надо знать о грамматике языка

Т.е. всё равно смесь сверху вниз и снизу вверх

в бизнес-транзакциях участвуют бизнес-сущности всякие, аггрегаты там, value objects. В них вполне строго определена сравнимость

Сравнимость это что? <=> ?

Равенство определено почти всегда, но вот порядок...

не, уникальность, ошибся

Ладно, суть в том, что если всё описывать интерфейсами, то вот эти самые ограничения могут из уровня в уровень подниматься. Причём ряд этих ограничений (хешируемость и порядок) для "множества" не нужны (там достаточно эквивалентность), а нужны для реализации

Сегодня будет у меня двухчасовой семинар про ООП, в Киеве в JUG.ua. Будет онлайн трансляция на YouTube. Приходите, должно быть интересно. Контент новый и формат новый - задачи и их решения и обсуждения. http://jug.ua/2017/02/oop-java-puzzlers/

@yegor256 норм, а во сколько по московскому времени и на каком канале трансляция?

Feb 28 (Tuesday), 19:00 – 21:00 (UTC+02) на этом канале: https://www.youtube.com/user/epamuacareer/

@yegor256 вопросы можно будет задавать в чатике?

да конечно

@yegor256 а говорить будете по английски?

не, по-русски

good)

и на Java)

@f3ath запинь может?)

Ладно, суть в том, что если всё описывать интерфейсами, то вот эти самые ограничения могут из уровня в уровень подниматься. Причём ряд этих ограничений (хешируемость и порядок) для "множества" не нужны (там достаточно эквивалентность), а нужны для реализации

просто те вопросы, что ты подымаешь, для меня нетипичны, я ж пишу на всяких javascript, поэтому...)

привет

@yegor256 прямо прописался в епаме

Запинил, но уже поздно, поди :)

или Алименков не смог его выгнать с прошлого раза

та еще не началось почему-то

Запинил, но уже поздно, поди :)

нет ещё полтора часа

Запинил, но уже поздно, поди :)

И спам потри выше)

Ну ок, тогда

Но в МСК уже > 19:00

или Алименков не смог его выгнать с прошлого раза

алименков просто любит его троллить

епам. аларм

алименков просто любит его троллить

так он же на святое посягает, спринг, хибер, хадуп

Есть чудный сайт ebanoe.it

так он же на святое посягает, спринг, хибер, хадуп

на последнем семинаре такие себе набросы были

Там много интересных рассказов

прошлись по чекстайлу

Про epam

Есть чудный сайт ebanoe.it

ты из укр?)

ERROR: S client not available

Нет

сто шагов в епам..

Россия

а, то доу у вас заблочен)

Но клип видел

прошлись по чекстайлу

да вот недавно это посмотрел

карго культ чекстайла

Хз я читаю ebanoe.it тут правдиво

уровнем выше) require '../app/routes.php'

ёбаное.ит и я иногда читаю )

Хз я читаю ebanoe.it тут правдиво

Там желто

А не правдиво

ну желто так желто

Это что-то из разряда "клин клином вышибают", с айти в Украине в целом не лучше, но вот эта двачевская подача материала меня смущает

я не из украины

но иногда читая о релиях украины видно россию, тут подобным промышляют

просто названия компаний другие, а принципы теже

У нас тут своя отмосфера

"русский мир"

укр айти своеобразен))

И шедевр моей коллекции

хахахах

у нас тут уже прям менталитет особый у некоторых персон