Пых
PHP-линч #27. Yii3 Data c Сергеем Предводителевым Завтра в 19:30 пройдёт первый линч с участием автора! Сергей Предводителев, разработчик фреймворка Yii3 и герой нескольких PHP-линчей, познакомит меня с новым пакетом Yii Data. По традиции я не заглядывал…
PHP-линч #27.1. Как бы я спроектировал Yii3 Data
Не могу перестать думать про чёртов пакет!
Я не верю в универсальные админки и по-прежнему считаю, что Yii3 Data не особо нужен, но именно поэтому хочу воспользоваться возможностью и попроектировать абстракции такого рода.
Давайте постримимся в эти выходные!Когда вам было бы удобно? А именно в субботу в 18:00.
Не могу перестать думать про чёртов пакет!
Я не верю в универсальные админки и по-прежнему считаю, что Yii3 Data не особо нужен, но именно поэтому хочу воспользоваться возможностью и попроектировать абстракции такого рода.
Давайте постримимся в эти выходные!
👍34❤7🔥6😁5🎄1
Пых
PHP-линч #27.1. Как бы я спроектировал Yii3 Data Не могу перестать думать про чёртов пакет! Я не верю в универсальные админки и по-прежнему считаю, что Yii3 Data не особо нужен, но именно поэтому хочу воспользоваться возможностью и попроектировать абстракции…
PHP-линч #27.1. Как бы я спроектировал Yii3 Data
Ну что ж, встречаемся сегодня вечером в 18:00 по МСК. Кое-что заготовил, но рассуждать и кодить буду с нуля вместе с вами.
Через streamvi.io настроил рестрим и мультичат на три площадки: YouTube, Telegram, VK Видео. Трансляция в1080p 1440p!
Ну что ж, встречаемся сегодня вечером в 18:00 по МСК. Кое-что заготовил, но рассуждать и кодить буду с нуля вместе с вами.
Через streamvi.io настроил рестрим и мультичат на три площадки: YouTube, Telegram, VK Видео. Трансляция в
VK Видео
PHP-линч #27.1 • Как бы я спроектировал Yii3 Data
После линча Yii3 Data с Сергеем Предводителевым (https://news.1rj.ru/str/phpyh/577) не могу перестать думать про чёртов пакет! Я не верю в универсальные админки и по-прежнему считаю, что Yii3 Data не нужен, но именно поэтому хочу воспользоваться возможностью и попроектировать…
🔥44👍9❤3👏1
Пых
PHP-линч #27.1. Как бы я спроектировал Yii3 Data Ну что ж, встречаемся сегодня вечером в 18:00 по МСК. Кое-что заготовил, но рассуждать и кодить буду с нуля вместе с вами. Через streamvi.io настроил рестрим и мультичат на три площадки: YouTube, Telegram…
PHP-линч #27.1. Как бы я спроектировал Yii3 Data
Залетайте на любую площадку: YouTube, Telegram, VK Видео.
Репозиторий: https://github.com/phpyh/yii3-data.
Комментировать можно прямо под этим постом!
Стрим завершён, всем спасибо за вопросы и донаты. Записи доступны в VK Видео и на YouTube.
Залетайте на любую площадку: YouTube, Telegram, VK Видео.
Репозиторий: https://github.com/phpyh/yii3-data.
Комментировать можно прямо под этим постом!
Стрим завершён, всем спасибо за вопросы и донаты. Записи доступны в VK Видео и на YouTube.
YouTube
PHP-линч #27.1 • Как бы я спроектировал Yii3 Data
После линча Yii3 Data с Сергеем Предводителевым (https://news.1rj.ru/str/phpyh/577) не могу перестать думать про чёртов пакет! Я не верю в универсальные админки и по-прежнему считаю, что Yii3 Data не нужен, но именно поэтому хочу воспользоваться возможностью и попроектировать…
👍18❤5
Пыхап #2. Приём заявок на доклады
Друзья, программный комитет начал готовить второй Пыхап! Мы ориентируемся на конец января, но точная дата будет зависеть от результатов поиска новой площадки.
Теперь к программе. У нас есть два свободных слота: новичковый и хардкорный, оба офлайн. Новичковый мы добавили для тех, кто ещё не выступал, но очень хочет начать. Можно взять средней сложности тему (фреймворки/паттерны/SOLID/CQRS/любой другой баззворд) и качественно её проработать вместе с программным комитетом Пыхапа.
А вот ориентировочный список тем для профи:
▸ статический анализ и типизация (написание плагинов/продвинутое использование),
▸ асинхронный PHP (внутрянка/опыт применения),
▸ CI/CD пайплайны для PHP,
▸ немейнстримные БД в проектах на PHP (CockroachDB, Cassandra, YDB, YTsaurus, Clickhouse),
▸ messaging (Kafka, RabbitMQ, NATS, паттерны интеграции),
▸ решение задач с использованием FFI,
▸ нетипичное программирование на PHP (функциональное, кодогенерация),
▸ альтернативные рантаймы (RoadRunner, FrankenPHP, ngx-php),
▸ телеметрия и мониторинг (OpenTelemetry),
▸ организация кода (Vertical Slice Architecture, coupling/cohesion),
▸ любая другая интересная тема, прямо или косвенно связанная с PHP, напишите в комментариях, о чём вы хотели бы рассказать или послушать.
Форма для подачи заявки: https://forms.gle/BtMk4cengNkjeMVh6
Друзья, программный комитет начал готовить второй Пыхап! Мы ориентируемся на конец января, но точная дата будет зависеть от результатов поиска новой площадки.
Теперь к программе. У нас есть два свободных слота: новичковый и хардкорный, оба офлайн. Новичковый мы добавили для тех, кто ещё не выступал, но очень хочет начать. Можно взять средней сложности тему (фреймворки/паттерны/SOLID/CQRS/любой другой баззворд) и качественно её проработать вместе с программным комитетом Пыхапа.
А вот ориентировочный список тем для профи:
▸ статический анализ и типизация (написание плагинов/продвинутое использование),
▸ асинхронный PHP (внутрянка/опыт применения),
▸ CI/CD пайплайны для PHP,
▸ немейнстримные БД в проектах на PHP (CockroachDB, Cassandra, YDB, YTsaurus, Clickhouse),
▸ messaging (Kafka, RabbitMQ, NATS, паттерны интеграции),
▸ решение задач с использованием FFI,
▸ нетипичное программирование на PHP (функциональное, кодогенерация),
▸ альтернативные рантаймы (RoadRunner, FrankenPHP, ngx-php),
▸ телеметрия и мониторинг (OpenTelemetry),
▸ организация кода (Vertical Slice Architecture, coupling/cohesion),
▸ любая другая интересная тема, прямо или косвенно связанная с PHP, напишите в комментариях, о чём вы хотели бы рассказать или послушать.
Форма для подачи заявки: https://forms.gle/BtMk4cengNkjeMVh6
Google Docs
Хочу выступить на Пыхапе в Москве!
Привет!
Программный комитет Пыхапа приглашает тебя выступить. Наши пожелания:
Доклад должен быть прямо или косвенно связан с PHP.
Идеальный регламент — 35 минут рассказ и 10 минут ответы на вопросы. Лучше ёмко рассказать, а потом бурно обсудить, чем долго…
Программный комитет Пыхапа приглашает тебя выступить. Наши пожелания:
Доклад должен быть прямо или косвенно связан с PHP.
Идеальный регламент — 35 минут рассказ и 10 минут ответы на вопросы. Лучше ёмко рассказать, а потом бурно обсудить, чем долго…
🔥32👍14❤10
Пых
PHP-линч #27.1. Как бы я спроектировал Yii3 Data Залетайте на любую площадку: YouTube, Telegram, VK Видео. Репозиторий: https://github.com/phpyh/yii3-data. Комментировать можно прямо под этим постом! Стрим завершён, всем спасибо за вопросы и донаты. Записи…
PHP-линч #27.2. Финализирую своё видение Yii3 Data
Судя по комментариям, вам очень зашёл предыдущий стрим про Yii3 Data, поэтому не буду тянуть с продолжением! В этот раз исправим ошибки, упростим код, добавим фильтры-спецификации и пагинаторы.
Начало завтра в 19 в Telegram, YouTube и VK Видео.
Судя по комментариям, вам очень зашёл предыдущий стрим про Yii3 Data, поэтому не буду тянуть с продолжением! В этот раз исправим ошибки, упростим код, добавим фильтры-спецификации и пагинаторы.
Начало завтра в 19 в Telegram, YouTube и VK Видео.
YouTube
PHP-линч #27.2 • Финализирую своё видение Yii3 Data
Судя по комментариям, вам очень зашёл предыдущий стрим про Yii3 Data (https://news.1rj.ru/str/phpyh/585), поэтому не будем тянуть с продолжением! На стриме исправим ошибки, упростим код, добавим фильтры на базе спецификаций и пагинаторы.
Стрим в YouTube: https://y…
Стрим в YouTube: https://y…
🔥25👍14❤1
Пагинация
Перед стримом решил освежить свои познания пагинации, вдруг что-то новое придумали. Но нет, по-прежнему есть два варианта: offset и keyset (иногда её ещё называют "курсорная"). Offset пагинация в немилости, потому что неэффективна на дальних страницах: при обработке запроса вида
Когда на Stack Overflow кто-то спрашивает: "А как же мне построить классическую пагинацию с циферками, используя keyset метод?", ему обычно отвечают: "А зачем? Ты можешь себе представить пользователя, который прыгает на сотую страницу? Сделай бесконечный скролл..."
И тут я подумал: если пользователь редко ходит дальше условной третьей страницы, то и offset навигация будет неплохо справляться! На четвёртой странице можно ничего не выводить, а просить уточнить выборку с помощью фильтров и сортировки. Кстати, Google так и делает. В поисковике самая обыкновенная offset навигация: https://google.com/search?q=pagination&num=20&start=100, при этом из 129 млн. результатов он показывает чуть больше 200 (у меня вывел 24 страницы по 10). А вот Gmail не может себе позволить не показывать все письма, поэтому в нём реализована keyset навигация, только не с бесконечно прокруткой, а с кнопками ◀️▶️.
Ориентируясь на эти два примера, выбирайте, какой подход лучше подойдёт вам в каждом конкретном случае, а мы сегодня в 19 красиво зарешаем оба варианта!
Перед стримом решил освежить свои познания пагинации, вдруг что-то новое придумали. Но нет, по-прежнему есть два варианта: offset и keyset (иногда её ещё называют "курсорная"). Offset пагинация в немилости, потому что неэффективна на дальних страницах: при обработке запроса вида
limit :page_size offset :offset база вынуждена извлечь все offset + limit строк. Keyset пагинация решает эту проблему, используя формулу where id > :previous_id limit :page_size, но зато не позволяет прыгать по страницам. Ещё она не страдает от неожиданных смещений при добавлении или удалении строк в таблице.Когда на Stack Overflow кто-то спрашивает: "А как же мне построить классическую пагинацию с циферками, используя keyset метод?", ему обычно отвечают: "А зачем? Ты можешь себе представить пользователя, который прыгает на сотую страницу? Сделай бесконечный скролл..."
И тут я подумал: если пользователь редко ходит дальше условной третьей страницы, то и offset навигация будет неплохо справляться! На четвёртой странице можно ничего не выводить, а просить уточнить выборку с помощью фильтров и сортировки. Кстати, Google так и делает. В поисковике самая обыкновенная offset навигация: https://google.com/search?q=pagination&num=20&start=100, при этом из 129 млн. результатов он показывает чуть больше 200 (у меня вывел 24 страницы по 10). А вот Gmail не может себе позволить не показывать все письма, поэтому в нём реализована keyset навигация, только не с бесконечно прокруткой, а с кнопками ◀️▶️.
Ориентируясь на эти два примера, выбирайте, какой подход лучше подойдёт вам в каждом конкретном случае, а мы сегодня в 19 красиво зарешаем оба варианта!
👍90🔥31❤5
Пых
PHP-линч #27.2. Финализирую своё видение Yii3 Data Судя по комментариям, вам очень зашёл предыдущий стрим про Yii3 Data, поэтому не буду тянуть с продолжением! В этот раз исправим ошибки, упростим код, добавим фильтры-спецификации и пагинаторы. Начало завтра…
PHP-линч #27.2. Финализирую своё видение Yii3 Data
Залетайте на любую площадку: YouTube, Telegram и VK Видео.
Репозиторий: https://github.com/phpyh/yii3-data.
Комментировать можно прямо под этим постом!
Стрим отлично прошёл, всем спасибо за участие и комментарии. Записи доступны в YouTube и VK Видео. Буду признателен за донаты, только сейчас сервис снова заработал.
Залетайте на любую площадку: YouTube, Telegram и VK Видео.
Репозиторий: https://github.com/phpyh/yii3-data.
Комментировать можно прямо под этим постом!
Стрим отлично прошёл, всем спасибо за участие и комментарии. Записи доступны в YouTube и VK Видео. Буду признателен за донаты, только сейчас сервис снова заработал.
👍9🔥4❤1
Финал викторины по PHP в стиле "Своя Игра": Несмеянов vs Гагарин vs Бучнев
Друзья, я вчера не специально провёл стрим одновременно со "Своей Игрой" от CutCode. Ребята объявили о ней заранее, так что я приношу свои извинения, постараюсь внимательнее следить за анонсами нашего сообщества. Вы тоже не стесняйтесь писать в комментариях, если я с кем-то пересекаюсь.
Благо, всё есть в записи, приглашаю вас посмотреть игру на YouTube и в Telegram.
💙
Друзья, я вчера не специально провёл стрим одновременно со "Своей Игрой" от CutCode. Ребята объявили о ней заранее, так что я приношу свои извинения, постараюсь внимательнее следить за анонсами нашего сообщества. Вы тоже не стесняйтесь писать в комментариях, если я с кем-то пересекаюсь.
Благо, всё есть в записи, приглашаю вас посмотреть игру на YouTube и в Telegram.
Please open Telegram to view this post
VIEW IN TELEGRAM
YouTube
Своя игра от CutCode. Финал викторины по PHP
🎄 Финал викторины по PHP в стиле "Своя Игра" уже близко! 🎄
25 декабря в 19:00 по МСК нас ждет грандиозный новогодний финал, где три победителя игр, проведеных в течение 2024 года — Кирилл Несмеянов, Алексей Гагарин и Павел Бучнев — схлестнутся в напряженной…
25 декабря в 19:00 по МСК нас ждет грандиозный новогодний финал, где три победителя игр, проведеных в течение 2024 года — Кирилл Несмеянов, Алексей Гагарин и Павел Бучнев — схлестнутся в напряженной…
1👍23🤮7❤4😁3🔥1
Please open Telegram to view this post
VIEW IN TELEGRAM
100🔥93❤25🎉15👍8❤🔥1
PHP 8.4: живее всех живых!
Мой доклад с PHP Russia 2024. На понятных примерах объясняю суть трёх главных фичей нового пыха: property hooks / asymmetric visibility, lazy objects и
https://youtu.be/DSM6DO6hB2c
https://vudaltsov.github.io/php84-slides/
Мой доклад с PHP Russia 2024. На понятных примерах объясняю суть трёх главных фичей нового пыха: property hooks / asymmetric visibility, lazy objects и
BCMath\Number.https://youtu.be/DSM6DO6hB2c
https://vudaltsov.github.io/php84-slides/
YouTube
PHP 8.4: живее всех живых! / Валентин Удальцов
Крупнейшая профессиональная конференция для разработчиков высоконагруженных систем HighLoad++ 2024
2 и 3 декабря 2024.
Москва, Кампус СКОЛКОВО
Презентация и тезисы:
https://highload.ru/moscow/2024/abstracts/13854
На момент проведения конференции выйдет…
2 и 3 декабря 2024.
Москва, Кампус СКОЛКОВО
Презентация и тезисы:
https://highload.ru/moscow/2024/abstracts/13854
На момент проведения конференции выйдет…
❤41🔥39👍17
PHP Point теперь Пых!
Когда мы с Ромой Пронским запускали канал на YouTube в июле 2020, мы планировали, что контент для него будут делать сразу несколько людей, и поэтому назвали его "PHP Point" — точка встречи лидеров мнения PHP сообщества. Я нарисовал логотип, Рома заказал у подруги дизайн обложек. Мы начали с публичного собеседования (кстати, это до сих пор самый популярный ролик на канале), затем вместе с Алексеем и Алисами из SkyEng организовали кучу крутых стримов: про рефакторинг валидатора, про трейты, про PHP 8. Параллельно Рома выпускал PHP Digest Live.
Потом был большой перерыв, и с 2022 я продолжил делать ролики один. В итоге смысл названия "PHP Point" утратился, и сегодня я переименовал канал в "Пых", чтобы в новом году развивать весь свой контент под одним брендом. Спасибо Роме, что дал мне на это добро!
https://youtube.com/@phpyh
Когда мы с Ромой Пронским запускали канал на YouTube в июле 2020, мы планировали, что контент для него будут делать сразу несколько людей, и поэтому назвали его "PHP Point" — точка встречи лидеров мнения PHP сообщества. Я нарисовал логотип, Рома заказал у подруги дизайн обложек. Мы начали с публичного собеседования (кстати, это до сих пор самый популярный ролик на канале), затем вместе с Алексеем и Алисами из SkyEng организовали кучу крутых стримов: про рефакторинг валидатора, про трейты, про PHP 8. Параллельно Рома выпускал PHP Digest Live.
Потом был большой перерыв, и с 2022 я продолжил делать ролики один. В итоге смысл названия "PHP Point" утратился, и сегодня я переименовал канал в "Пых", чтобы в новом году развивать весь свой контент под одним брендом. Спасибо Роме, что дал мне на это добро!
https://youtube.com/@phpyh
👍74🔥28❤17👎1😱1
Дорогие пыхари, с Новым Годом!
От планов на 2025 у меня захватывает дух. Нас ждёт куча нового: стримы и посты, проекты и библиотеки, митапы и доклады, мерч от Пыха и PHP 8.5!
Кстати, наша первая очная встреча в новом году не за горами. Программный комитет уже собрал мощную тройку спикеров, и я рад объявить, что второй Пыхап пройдёт 8 февраля! Ну а в онлайне мы пересечёмся, конечно, значительно раньше.
Всех обнимаю и поздравляю от всей души!💙️️️️️️
От планов на 2025 у меня захватывает дух. Нас ждёт куча нового: стримы и посты, проекты и библиотеки, митапы и доклады, мерч от Пыха и PHP 8.5!
Кстати, наша первая очная встреча в новом году не за горами. Программный комитет уже собрал мощную тройку спикеров, и я рад объявить, что второй Пыхап пройдёт 8 февраля! Ну а в онлайне мы пересечёмся, конечно, значительно раньше.
Всех обнимаю и поздравляю от всей души!
Please open Telegram to view this post
VIEW IN TELEGRAM
51🔥119🎄48🎉40❤7🍾7👍3💯2
Обновил страничку курса hardcorephp.ru. Основные изменения:
▸ цена лекции выросла с 3000 до 3500 рублей,
▸ зафиксировано количество лекций: 24,
▸ я теперь ИП, и со мной можно заключить договор в электронной форме.
Набор на пятый поток будет проходить традиционным образом. Завтра (во вторник, 14 января) в 15:00 по Москве на канале Пых появится ссылка на срез знаний. Необходимо его пройти, чтобы попасть на курс. При проверке я сначала отберу анкеты с правильными ответами, а затем отранжирую их по времени. Удачи!
Please open Telegram to view this post
VIEW IN TELEGRAM
👍28🔥14🤩10
Пых
Please open Telegram to view this post
VIEW IN TELEGRAM
👍15🔥11🤯3❤1
Пых
https://forms.gle/G7q2S18pcAddNSZQA
Удачи!
Please open Telegram to view this post
VIEW IN TELEGRAM
Google Docs
Срез знаний для 5-го потока Хардкорного курса PHP
Привет! При проверке я сначала буду отбирать анкеты с правильными ответами и здравыми рассуждениями, а потом ранжировать их по времени. Не старайся ответить академично, лучше поясни своими словами или приведи хороший пример. Все ответы необязательные, их…
😭22👍9🤮9👻1
Пых
Все студенты получили письма с приглашениями на почту.
Немного статистики и наблюдений:
▸ 98 ответов на момент написания этого поста — на 10 меньше, чем в прошлый раз.
▸ 20 человек набралось на 35-й анкете (в тот раз на 64-й), она была отправлена через 36 минут после старта.
▸ В комментариях ребята писали, что срез в этот раз получился проще. По раскраске ответов так не скажешь — "зелёных" довольно мало. Думаю, дело в том, что эти вопросы требуют меньше специальных знаний, но больше глубокого понимания привычных вещей. Благодаря этому их было сложнее загуглить.
Сегодня (17 января) в 19:00 приглашаю всех на традиционный разбор среза в прямом эфире!
https://youtu.be/lVxeycIjT3E
https://vkvideo.ru/video-228746873_456239021
P.S.: Форму не буду закрывать в демонстрационных целях. Заполняйте сколько хотите и используйте на собесах или для подготовки к ним.
Please open Telegram to view this post
VIEW IN TELEGRAM
🔥35👍8❤6
Пых
Разбираем срез знаний 5-го потока Хардкорного Курса PHP
Через час жду вас на стриме!
https://youtu.be/lVxeycIjT3E
https://vkvideo.ru/video-228746873_456239021
Через час жду вас на стриме!
https://youtu.be/lVxeycIjT3E
https://vkvideo.ru/video-228746873_456239021
YouTube
Разбираем срез знаний 5-го потока Хардкорного Курса PHP
0:00 Вступление
2:52 Анонс Пыхапа — 8 февраля
8:51 Принципы отбора
11:44 Валентин, Frostpunk, Open source
14:24 Вопрос 1: Property Hooks
17:58 Полезный доклад Валентина
18:33 Вопрос 2: Cohesion
19:00 LCOM
28:46 Вопрос 3: Union или интерфейс?
49:47 Кандидат…
2:52 Анонс Пыхапа — 8 февраля
8:51 Принципы отбора
11:44 Валентин, Frostpunk, Open source
14:24 Вопрос 1: Property Hooks
17:58 Полезный доклад Валентина
18:33 Вопрос 2: Cohesion
19:00 LCOM
28:46 Вопрос 3: Union или интерфейс?
49:47 Кандидат…
👍16💩5❤4🔥3
Недавно в Пыхтелке кто-то возмутился, что для пустой коллекции Illuminate\Support\Collection::every() возвращает
true. Я сходу ответил:Так и должно быть. В PHP 8.4 аналогично для пустого массива array_all вернёт true, array_any — false.
Согласитесь, ответ неубедительный. Давайте формально докажем, что функция
array_all должна возвращать true для пустого массива. В качестве примера возьмём фильтр положительных чисел:
/** @var list<int> */
$ints = [];
$isPositive = static fn (int $x): bool => $x > 0;
assert(array_all($ints, $isPositive));
Чтобы не рассуждать по-дилетантски, попробуем вспомнить классическую логику. Там есть такая операция — импликация (логическое следование). Она описывает связь
посылка ⇒ следствие. Таблица истинности:
Пример | a | b | a ⇒ b
-----------------------------------------------------
Верно, что если Солнце куб, то 3 <= 0 | 0 | 0 | 1
Верно, что если Солнце куб, то 3 > 0 | 0 | 1 | 1
Ложно, что если Солнце шар, то 3 <= 0 | 1 | 0 | 0
Верно, что если Солнце шар, то 3 > 0 | 1 | 1 | 1
Выглядит наивно, потому что это так называемая материальная импликация. В ней посылка и следствие не связаны по смыслу, что приводит к парадоксам. Но для нашей задачи она подойдёт.
Что говорит нам эта таблица?
1. из истины (Солнце — шар) следует только истина (
3 > 0),2. из лжи (Солнце — куб) следует всё что угодно (
3 > 0, 3 <= 0).Кстати, второе свойство мы иногда используем в быту: "Когда рак на горе свистнет, тогда можно будет купить запись Хардкорного курса PHP".
Теперь к массиву. Что такое
any в PHP и every в Laravel? Это квантор всеобщности ∀, то есть условие, которое выполняется для всех элементов. Выражение array_all($ints, $isPositive) === true на языке формальной логики можно записать так:
∀ $x ∈ int : $x in $ints ⇒ $x > 0
для любого целого числа $x такого, что $x принадлежит массиву $ints, верно, что $x — положительное
Так как массив
$ints пустой, то утверждение "$x принадлежит массиву $ints" ложно. Сделаем замену:
∀ $x ∈ int : false ⇒ $x > 0
для любого целого числа $x такого, что ложь, верно, что $x — положительное
А теперь применим то, что мы осознали выше: из лжи следует всё что угодно. Значит, вне зависимости от того, положительное число
$x или нет, вся импликация истинна:
∀ $x ∈ int : true
для любого целого числа $x верно
Получается, что
array_all($ints, $isPositive) === true всегда выполняется для пустого массива $ints.Такая истинность называется бессмысленной (vacuous truth), так как она основана на невыполнимой посылке. По аналогии, можно будет с уверенностью сказать, что все присутствующие на Пыхапе хаскелисты боготворят PHP.
Please open Telegram to view this post
VIEW IN TELEGRAM
🔥54👍25😐10💩6🥱6💯5❤2👎2🤔2