19 сентября я буду выступать на JS-митапе, организованном агентством Spice IT. Буду говорить на тему программирования на уровне типов на TypeScript. Поговорим о том, для чего это может быть нужно как бизнесу, так и программисту; слегка затронем тему изоморфизма Карри-Ховарда-Ламбека и посмотрим, какие выразительные средства для тайплевела вообще есть в TS.

Приходите! 🙂

Ссылки на событие:
https://www.facebook.com/events/690840634767559/
https://spice-agency.timepad.ru/event/1058346

Открытка @datstuff :3

#музыкальная_пауза
Живое выступление гениального бас-гитариста Майкла Манринга с композицией «Selene», взятой из его мастер-класса для «Bass Player»:
https://www.youtube.com/watch?v=zaK2GU9pgos&t=2720

Наука, которую мы заслужили, а не вот это вот ваше всё

Подписал открытое письмо специалистов IT-индустрии в защиту фигурантов «московского дела». Специально не указывал текущее место работы — я выражаю свою личную гражданскую позицию и не хочу быть как-либо аффилированным с моим работодателем по этому вопросу.

Ну а поддерживать или нет данную инициативу — вопрос личной ответственности каждого.

Хороший язык, и паттерны интересные

Ну что, кожаные мешки! Boston Dynamics представила два новых ролика: в одном Атлас паркурит, а второй — промо для Спота.

https://twitter.com/KojiPro2015_EN/status/1177112037295411200 🙀

https://www.youtube.com/playlist?list=PLdMxOl1jkhWwCvu9mjn7zgf9hR7ZXQedq — опубликованы доклады с FPURE’2019

Вместе с моим замечательным другом Григорием Ситниным начали небольшой проект под рабочим названием «Функциональное программирование для чайника». Начали с нуля и постепенно будем продвигаться к более сложным темам. Гриша — ярый прагматик, так что он не дает мне слишком ударяться в математику.
Пилотный выпуск выкладываю в виде готовой записи, дальше будут просто лайв-стримы: https://www.youtube.com/watch?v=XLknNzYL2ks
Следите за анонсами 🙂 Ну и если будет обратная связь — пишите в личку, я буду рад.

https://alcestes.github.io/effpi/ — Akka здорового человека 🙂
Мне чем-то напомнило то, как Эдвин Брэйди в докладе про Idris 2 описывал некий протокол, у которого последовательность сообщений была прописана на уровне типов.

Набросал гист с «сессионными типами нищеброда™» для TypeScript.

Сессионные типы — это способ описания протоколов клиент-серверного взаимодействия, не позволяющий использовать протокол ненадлежащим образом. Основная информация о них обитает здесь, там же лежат реализации сессионных типов для разных языков — от AST и Haskell до Scala и Rust.

В идеальном случае, сессионные типы должен поддерживать компилятор. На практике же клепаются костыли в виде сторонних чекеров (как в упомянутом ранее Effpi или в Gong), ну или проверяют в рантайме.

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

Эрик Лоуренс (Microsoft Edge) о включении Same-Site Cookies по умолчанию в Chrome 80, а также о том:
- как эта директива (а также secure и httponly) поможет с приватностью и безопасностью: запретит куки от третьих лиц, предотвратит CSRF, MiTM атаки, XSS атаки
- что может пойти не так
- каков план отката
- как проверить свой сайт на готовность к SameSite используя Chrome DevTools
- других возможных проблемах (Safari 12, .NET Framework)
- что об этом думают другие вендоры браузеров

Бонус:
- статья о SameSite cookies от Google
- поддержка SameSite в браузерах на CanIUse

Митап по хаскелю! В Москве! 🙀

http://whenisgood.net/progmsk2019_2

Выбираем удобные даты для FProgMSK