в другом чате

не

как аргументировали?

там про immutable было)

там про immutable было)

ну да, но одно и то же)

как аргументировали?

"ну расширять нельзя". но человек вроде быстро понял что не прав

просто мне это показалось занимательным.... хорошо демонтирует что люди не понимают OCP

что - то мне кажется, что принцип Парето можно и сюда наложить

только цифры другие

просто мне это показалось занимательным.... хорошо демонтирует что люди не понимают OCP

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

только цифры другие

менее оптимистичные

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

отсылка к java?

отсылка к java?

если и да, то получилась как-то сама по себе, ненарочно))

подсознательное наболевшее

если и да, то получилась как-то сама по себе, ненарочно))

а оно бывает специально?

к чему вы пришли, ослабление пред* условий, хорошо ?

Нет это хуево! Т.к развязывает руки разрабу

наоборот же, заставляет не надеяться на типы

перекладывает на плечи разраба доп.хлопоты

Нет это хуево! Т.к развязывает руки разрабу

ммм...

и?

ты можешь сломать LSP легко и просто и без этой фичи, я не считаю что эта фича (которая кастыль) хоть как-то влияет на это

Вот был у меня интерфейс в котором функция принимала VO. И раньше все реализации работали так же. А щас каконибудь умник может реализацию сделать которая принимает int и я не смогу уже слепо заинджектиь эту реализацию себе в сервис принимающий этот интерфейс

ты уже разобрался с LSP?

чё там разбирать

скука

ослабление пред условий ни хорошо ни плохо - оно разрешено в рамках LSP. А товаристч не понимает разницу между интерфейсом и контрактом судя по дискуссии

блаблабла и игра словами )

Вот был у меня интерфейс в котором функция принимала VO. И раньше все реализации работали так же. А щас каконибудь умник может реализацию сделать которая принимает int и я не смогу уже слепо заинджектиь эту реализацию себе в сервис принимающий этот интерфейс

ты не можешь на уровне интерфейса сказать "принимай только инт". ты будешь это делать внутри явно нарушая контракт.

это как с protected - в неумелых руках опасная штука

но чисто с точки зрения LSP - все валидно, что не отменяет того факта что это "кастыль на скорую руку"

Вот был у меня интерфейс в котором функция принимала VO. И раньше все реализации работали так же. А щас каконибудь умник может реализацию сделать которая принимает int и я не смогу уже слепо заинджектиь эту реализацию себе в сервис принимающий этот интерфейс

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

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

ну если он научится вообще все конвертить в VO, почему бы и нет)

не научится - нарушил LSP

все почему-то забывают что инварианты интерфейсы вообще не описывают

а LSP обычно там ломают

есть что почитать про вот это все? или на c2 идти?

короч Морисон Леви обещал в этом году запилить ковариантность и контрвариантность что бы все было по феншую

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

всмысле не только int? онсделает чтобы там строка была или массив

есть что почитать про вот это все? или на c2 идти?

википедия - начни с нее)

всмысле не только int? онсделает чтобы там строка была или массив

а сигнатура метода как будет выглядеть?

всмысле не только int? онсделает чтобы там строка была или массив

ну дропнет вообще сигнатуру типа

всмысле не только int? онсделает чтобы там строка была или массив

тебе лечат что пхп это уг :)

и тру поцоны так не делают

тебе лечат что пхп это уг :)

php хороший

википедия - начни с нее)

там все одновременно слишком общее и слишком конкретное

но контракт подразумевает входные парметры

php хороший

ой да хватит самообманом заниматься - все языки говно

Сергея просто очень консервативен

ой да хватит самообманом заниматься - все языки говно

кроме php!

многие штуки, которые ты задвигаешь, там нормально не раскрыты

ой да хватит самообманом заниматься - все языки говно

тру!

там все одновременно слишком общее и слишком конкретное

логика Хоара

о, это уже интересно

был видос где один интересный человек пытался доказать что SOLID можно математически доказать поскольку все базируется на логике хоара

ага

я видел этот видос

но на тот момент было особо стремно туда лезть

сейчас немногим менее стремно

мне понравилась идея но я слишком тупой что бы сделать хоть какие-то выводы...

ну то есть. упираемся в то что формально доказать корректность мы не можем, а значит форально доказать соблюдение SOLID тоже)

а вообще это все к @Lividgreen

он в этом шарит

сейчас я вникну в Хоара

а так - и LSP и контрактное программирование - все основано на логике хоара

Arrange, act, assert из юнит тестов тоже

arrange и act не встречал

о, теперь хоть вижу суть экспертных систем, по которым заезжал мой научрук

кстати про ассерты

ERROR: S client not available

я вижу как они вымирают в php

what next?

я вижу как они вымирают в php

хз, я пользуюсь)

просто в них все меньше смысла ввиду тайпхинтов

ну пызеры хвастались о нулевой стоимости

казалось бы бери нехочу

просто в них все меньше смысла ввиду тайпхинтов

ну вот теперь снова есть :(

да и в в контексте parent-call

ну вот теперь снова есть :(

нет, правила в духе assert(is_numeric($n) && $n > 100) все так же можно описывать)

просто можно это заменить на VO

да и в в контексте parent-call

ммм вызов родителя?

есть простой выход - поменьше наследование юзай)

нет, правила в духе assert(is_numeric($n) && $n > 100) все так же можно описывать)

да я про тайп чеки выпеленные насильно

да я про тайп чеки выпеленные насильно

да что ты так переживаешь

я не понимаю...

если ты не хочешь что бы на твоих проектах пользовались этой фичей - настрой себе стат анализ и гоняй его на CI

есть простой выход - поменьше наследование юзай)

мммм святые войны

если ты не хочешь что бы на твоих проектах пользовались этой фичей - настрой себе стат анализ и гоняй его на CI

та нееее я как раз боюсь что подключённые либы при обновлении поломаются

ни при перехоже н 7.2 а уже потом

та нееее я как раз боюсь что подключённые либы при обновлении поломаются

а они без этой фичи не могли поломаться? или они просто не могли случайно поменять интерфейс?

не могут конечно

ну чё ты как этот

у тебя какие-то очень странные опасения

эта пробелма автоматом решалась

конкретно эта

ну я с арчем сразу же вкатился в 7.2 и страдал первые пару дней, из-за того, что мой любимый php-cs-fixer 7.2 не поддерживал

потом они выкатили версию

я еще сижу на 7.1

просто потому что не дошли руки обновиться

справедливости ради, я ни одной фичей из 7.2 не пользовался в реальном проекте

пет поджекты только на 7.2

пет поджекты только на 7.2

аналогично, но хоть сейчас смени версию, ничего не упадет)