в пхп нет функциональных типов/обьектов/интерфейсов

Ну а типы функций и генерики в пыхе не попишешь

в пхп нет функциональных типов/обьектов/интерфейсов

Ну и надобности нет

в пхп нет функциональных типов/обьектов/интерфейсов

ну пиши на хаскеле)

Солид можно соблюдать вообще без типов

А все контракты проверять юнит-тестами

в пхп нет функциональных типов/обьектов/интерфейсов

А что такое функциональные объекты?

Под фп типами и интерфейсами понимаются просто нормальные типы и интерфейсы

хаскель в канале ооп

что то тут не так с ооп)

в хаскеле с ооп лучше, чем в пхп)

классы - те же типы, только обрезанные

в хаскеле с ооп лучше, чем в пхп)

Это так

классы - те же типы, только обрезанные

Классы так себе идея оказалась, но вообще работать можно

классы - те же типы, только обрезанные

да согласен

есть финт ушами делать функциональный тип аля через __invoke

и в хаскеле просто работа с типами лучше

но там беда с наследованием

вот еще пример

когда пишешь $obj->method($arg);

реально можно считать как method($this, $parent, $static, $arg);

потом с помощью карирования сныкать эти аргументы

и вызывать carretMethod($arg);

еще self надо передавать)

что по сути своей функция

ну да

но суть уловили)

получается метод класса это функция

просто туда куча всего передается)

ну это все понятно, но типизации все равно нет

терки уже за монады были?)

и этот вот self непонятно что

типо паттер nullObject это монада maybe :D

я на докладе упоминал вчера монады)

я не осилил их )

да там всё элементарно, если не хаскель

:D

да я шучу же)

хаскелисты любят сделать из монад моноиды в категории эндофункторов

вообще фп довольно понятно если математику хоть чуть чуть знаешь

и оперируешь множествами

не... "хоть чучуть" недостаточно, это факт)

ну там поднастаскаешь

теория категорий и тд)

как говоривал мой препод по мат ану, это очевидно

а потом доказывал пару какую нибудь теорему Каши

которую он говорил что очевидно)

ну там действительно доказательство очевидное)

просто писать долго

:D

@Lividgreen а есть линк на вчерашний доклад слайды полистать?

https://docs.google.com/presentation/d/1hExK5V7s1L-I_owyGfooE7_XeYSZAZH84W1K0KGmhm0/edit?usp=sharing

первая часть больше мотивационная

https://docs.google.com/presentation/d/1hExK5V7s1L-I_owyGfooE7_XeYSZAZH84W1K0KGmhm0/edit?usp=sharing

неплохой доклад)

ну че збс слайды как по мне

https://t.me/scala_ru если че тут тру скалисты сидят и обмазываются монадами

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

на полдня с пивом и курить

ну это как пытаться за 40 минут обучить программингу с нуля

это анрил

за 20 :(

тут за 40 минут обычный solid разобрать не успеешь

а ну так тем более)

ну в общем. надо было за микросервисы топить, и все были б довольны ?

меня малость урезали по времени из-за технических проблем каких-то)

у меня есть офигенный доклад за микросервисы

ERROR: S client not available

это был сарказм, ну ладно)

https://www.youtube.com/watch?v=ly77wvz2Bjo&t=2s

очень удычный слайд на тайтл поставило, ггг)

? как вы кстати консула в симфони интегрировали? там же нужно сделать запрос к консулу и получить актуальные адреса сервисов, и после этого собирать контейнер?

у нас все хитрее

на этом фреймворкдейс Семенов рассказывал

у нас эврика+прана, а консул чисто для пхп...

ну вот интересно как вы интеграцию именно с симфони делали

https://www.youtube.com/watch?v=ly77wvz2Bjo&t=2s

посмотрел, очень хороший доклад

?

спасибо

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

https://t.me/haskellru

тут еще хаскелисты

чатиков по идрису, coq и agda не видел)

идрис жив?)

они через астрал общаются

через шифрованные статье в nature по биологии

читают между строк и так обмениваются идеями

Srp это вообще обрезок, чтобы не объяснять людям про coupling и cohesion. Ну и чтобы было SOLID, а не OLID

была бы другая аббревиатура, LIDO или DOIL, или OLDI

была бы другая аббревиатура, LIDO или DOIL, или OLDI

да не было бы)

DILDO принципы реквестирую

DILDO принципы реквестирую

напиши сам )

Do repeat your self Interface generalization

DILDO принципы реквестирую

и прямой референс к этому паттерну https://github.com/ApplePride/PIDOR

какие нибудь крутые принципы и аббревиатура GOVNOKOD

https://wiki.php.net/rfc/parameter-no-type-variance как вам инструмент для нарушения LSP?

а где нарушение lsp?

вход может быть расширен ж

но мы то знаем как это будет использованно

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

надо перегрузку методов уж тогда сразу