Немного теории в пятницу вечером от ChatGPT:

Лямбда-куб — это фреймворк для категоризации и описания систем типов на основе трех основных осей расширения простого типизированного лямбда-исчисления. Каждая ось представляет собой различную форму полиморфизма. Рассмотрим каждую ось:
λ→: Простое типизированное лямбда-исчисление. Это базовая система, где функции имеют типы, и полиморфизма нет.
λ2 (или λP): Добавляет полиморфные типы (Система F). Это означает, что у вас могут быть функции, которые являются параметрически полиморфными, т.е. функции, которые работают с любым типом.
λω: Вводит операторы типов, которые позволяют иметь типы, которые принимают типы и возвращают другие типы.
λPω: Сочетает как полиморфные типы, так и операторы типов.
λΠ: Зависимые типы, где типы могут зависеть от значений.
λΠ2: Сочетает зависимые типы с полиморфными типами.
λΠω: Сочетает зависимые типы с операторами типов.
λΠPω: Самая общая система, сочетающая зависимые типы, полиморфные типы и операторы типов.

Теперь давайте посмотрим, где находится PHPStan:
PHPStan — это инструмент статического анализа для PHP. Он расширяет систему типов PHP, предоставляя более тонкие проверки типов, чем сам язык. Однако система типов PHP и, соответственно, PHPStan не охватывает всю выразительность лямбда-куба.
• В PHP есть базовые аннотации типов для параметров функций и возвращаемых типов, что по крайней мере соответствует уровню λ→.
• С введением обобщений (через PHPStan и другие инструменты) PHP может имитировать некоторое поведение λ2.
• В PHP нет поддержки типов высших порядков, поэтому он не затрагивает ось λω.
• PHPStan не предлагает зависимых типов, поэтому ось λΠ не затрагивается.

В итоге, PHPStan расширяет систему типов PHP и касается аспектов λ2 благодаря поддержке обобщений. Тем не менее, он не углубляется глубоко в лямбда-куб. По сравнению с более продвинутыми системами типов, такими как Haskell или Idris, система типов PHP (даже с PHPStan) относительно проста. Тем не менее, PHPStan является ценным инструментом для разработчиков PHP, стремящихся улучшить надежность своего кода.

✅ Low Coupling
✅ High Cohesion

👆знаменитые паттерны GRASP (https://ru.wikipedia.org/wiki/GRASP?wprov=sfti1). Проблема с ними возникает при переводе на русский: «связность», «связанность», «зацепление», «сопряженность», и другие варианты - попробуйте теперь угадать, что из этого Coupling, а что Cohesion?

Допустим, у вас лично есть чёткое понимание правильного перевода. Но есть ли такое же понимание у вашего собеседника? Совпадает ли оно с вашим?

Вопрос навеян случайной дискуссией в одном телеграм чате, люди спорили пока вдруг не поняли, что говорят об одном и том же, но называют вещи разными словами.

О терминах не спорят, о терминах договариваются. Но уже не первый раз замечаю, что конкретно по этим двум терминам устоявшейся общепринятой договорённости нет. Или есть? Проверим голосованием: как вы называете Cohesion на русском?

Зацените что нашел на просторах телеграмм чатов (в пыхтелке https://news.1rj.ru/str/phpyhtelka): PHPoC (PHP on Chip) – аппаратная платформа, объединяющая микроконтроллеры со встроенным PHP интерпретатором https://voltiq.ru/cat/devboards/phpoc/

Я бы еще спросил понимает кандидат отличие вовлеченности от увлеченности

Новый продукт от JetBrains: Writerside - IDE для написания документации.

Число различных IDE и инструментов для разработчиков от JetBrains стремится в космос, скоро можно будет играть в игру "<рандомное слово> - это название продукта от JetBrains или нет?".

Ожидаю, что JetBrains однажды выпустит ОС (операционную систему) для разработчиков, чтобы максимально интегрированно было (буква I в IDE) - вот тогда заживём!

https://www.jetbrains.com/writerside/

Этот прошлогодний код сегодня отработал на ура!

Сколько можно заработать на курсе по PHP?

Валентин Удальцов (https://news.1rj.ru/str/phpyh) раскрывает свои доходы в прямом эфире!

- Проработал в Happy Inc. 4 года, почему ушел?
- В компании Вебинар.ру всего 3 месяца - что произошло?
- Бесплатные консультации голосовыми сообщениями в телеге
- Платные консультации и собеседования
- Первый поток авторского курса по PHP для 5 человек
- Обучающие видео на boosty, почему забросил?
- На сколько упали доходы после увольнения с full time работы?
- В чём текущая бизнес-модель и сколько стоит обучение на втором (текущем) потоке курса по PHP?
- Сколько учеников и какой ежемесячный финансовый поток они генерируют?
- Зарабатываешь ли ты на рекламе в телеграм канале Пых?
- Платежи, комиссия кассы и автоматизация своего бизнеса
- Каковы трудозатраты на ведение собственного дела? Ты сейчас вкалываешь больше или меньше по сравнению с full time работой программистом?

Vim - это достаточно популярный текстовый редактор от которого веет шлейфом крутизны и гиковости. Если используешь Vim - ты крутой гик!

Никогда не пользовался, решил попробовать. Я также люблю всё новое и модерновое. Знаю, что набирает популярность NeoVim - может начать сразу с него? А на днях наткнулся на обзор редактора Helix - тоже "консольный", вобрал в себя лучшие идеи Vim и последователей, проект свежий 2021 года, создатель называет его post-modern text editor, написан на Rust - что ещё надо? Беру!

Установил с помощью brew install helix, запустил hx и, знаете что? Я не смог из него выйти! Пока всё по плану 😂

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

https://helix-editor.com

Смотрю обзор на новые фичи GitHub Copilot с конференции GitHub Universe 2023: https://youtu.be/NrQkdDVupQE?si=onw27IvKYdnkyyh-