Поговорил сегодня на #ITSubbotnik про тайплевел-программирование на TypeScript (насколько оно вообще возможно на этом языке).
Слайды и примеры из доклада доступны тут: https://github.com/YBogomolov/talk-typelevel-ts.
Запись будет позже.
Слайды и примеры из доклада доступны тут: https://github.com/YBogomolov/talk-typelevel-ts.
Запись будет позже.
GitHub
GitHub - YBogomolov/talk-typelevel-ts: Code samples for my talk “Type-level programming in TypeScript”
Code samples for my talk “Type-level programming in TypeScript” - YBogomolov/talk-typelevel-ts
Блиц-опрос! Сегодня должен быть стрим «ФП для чайника», но по техническим причинам мы с Гришей собраться не можем, так что я планирую сделать небольшой одиночный выпуск.
Голосуйте за темы:
Голосуйте за темы:
На какую тему провести стрим?
anonymous poll
Функциональная оптика (monocle-ts) – 66
👍👍👍👍👍👍👍 57%
Схемы рекурсии (recursion-schemes-ts) – 31
👍👍👍 27%
Ask Me Anything – 13
👍 11%
Демо библиотеки kleisli-ts – 5
👍 4%
👥 115 people voted so far. Poll closed.
anonymous poll
Функциональная оптика (monocle-ts) – 66
👍👍👍👍👍👍👍 57%
Схемы рекурсии (recursion-schemes-ts) – 31
👍👍👍 27%
Ask Me Anything – 13
👍 11%
Демо библиотеки kleisli-ts – 5
👍 4%
👥 115 people voted so far. Poll closed.
#музыкальная_пауза
Я тут давеча узнал, что Нергал (да-да, тот самый, из Behemoth) в 2017 году сделал сайд-проект, в котором он исполняет дарк блюз! И это звучит и выглядит просто невероятно круто.
https://www.youtube.com/watch?v=gPsvPve7nNU
Я тут давеча узнал, что Нергал (да-да, тот самый, из Behemoth) в 2017 году сделал сайд-проект, в котором он исполняет дарк блюз! И это звучит и выглядит просто невероятно круто.
https://www.youtube.com/watch?v=gPsvPve7nNU
Интересная инициатива: альманах, отражающий состояние веба в разрезе года. За этим проектом стоят ребята из HTTP Archive, так что есть надежда на поддержку проекта в течении длительного срока.
https://almanac.httparchive.org/en/2019/
https://almanac.httparchive.org/en/2019/
almanac.httparchive.org
The 2019 Web Almanac
The Web Almanac is an annual state of the web report combining the expertise of the web community with the data and trends of the HTTP Archive.
Лекции по прикладной теории категорий в MIT от Дэвида Спивака и Брендана Фонга:
https://www.youtube.com/playlist?list=PLhgq-BqyZ7i5lOqOqqRiS0U5SwTmPpHQ5
Материал лекций основан на замечательной книге Seven Sketches in Compositionality.
https://www.youtube.com/playlist?list=PLhgq-BqyZ7i5lOqOqqRiS0U5SwTmPpHQ5
Материал лекций основан на замечательной книге Seven Sketches in Compositionality.
(да, вы подписались на кринжовый юмор, среди прочего. Не одними же гомотопиями заниматься и CSS-шкурки натягивать)
Приходите послушать про то, как мы катаморфизмы с анаморфизмами применяли. Математика — это красиво.
Forwarded from MoscowJS
Следующий доклад на MoscowJS 46 расскажет Юрий Богомолов (EPAM)
Схемы рекурсии, или как мы решали задачу управления фронтом с бэка
"В своём расскажу о том, как я и моя команда подходила к решению задачи, поставленной заказчиком — отображению динамических данных с непредсказуемыми взаимосвязями компонентов, получаемых с бэкенда. Для решения этой задачи были применены так называемые «схемы рекурсии» — высоко абстрактные алгоритмы, освоение которых стало испытанием для команды. Сделаю небольшое введение в эту тему и расскажу, как высшая алгебра позволила достаточно просто решить поставленную задачу, попутно получив некоторые весомые преимущества."
Следующая встреча MoscowJS пройдёт в офисе Tinkoff 5 декабря.
Ждем всех на MoscowJS 46.
Регистрация открыта по ссылке
А также следите за нашими новыми анонсами в
telegram, twitter, facebook, instagram, добавляйте в календарь с timepad.
#moscowjs46
Следующая волна регистрации откроется с новым анонсом. Следите за анонсами.
Схемы рекурсии, или как мы решали задачу управления фронтом с бэка
"В своём расскажу о том, как я и моя команда подходила к решению задачи, поставленной заказчиком — отображению динамических данных с непредсказуемыми взаимосвязями компонентов, получаемых с бэкенда. Для решения этой задачи были применены так называемые «схемы рекурсии» — высоко абстрактные алгоритмы, освоение которых стало испытанием для команды. Сделаю небольшое введение в эту тему и расскажу, как высшая алгебра позволила достаточно просто решить поставленную задачу, попутно получив некоторые весомые преимущества."
Следующая встреча MoscowJS пройдёт в офисе Tinkoff 5 декабря.
Ждем всех на MoscowJS 46.
Регистрация открыта по ссылке
А также следите за нашими новыми анонсами в
telegram, twitter, facebook, instagram, добавляйте в календарь с timepad.
#moscowjs46
Следующая волна регистрации откроется с новым анонсом. Следите за анонсами.
Кодзима в игре дал ответ на вопрос «а как какать».
Press ╳ to какать.
Гений.
Press ╳ to какать.
Гений.
https://grin-compiler.github.io — бекэнд для компиляторов ленывых и энергичных функциональных языков программирования. Благодаря тому, что понимает семантику компилируемого языка, он может делать микрооптимизации, специфичные для этого конкретного языка (см. примеры: https://github.com/grin-compiler/grin#optimising-transformations). По-моему, выглядит достаточно многообещающе.
GRIN Compiler
Overview
whole program optimizer for lazy and strict functional languages
https://twitter.com/mortalezz/status/1196840867455229954 АААААААААА! (тред)
Twitter
Florida Man
Этот баг про то как покемоны уничтожали популярнейшие стриминговые коробочки Roku войдёт в историю как самый удивительный, невероятный баг в истории видеоигр и потребительской электроники вообще. Суть: поступают жалобы что при работе в одной сети Свитча
Через 5 минут начинаем традиционный ежедвухнедельный подкаст об основах ФП!
Ссылка на трансляцию: https://youtu.be/HLR8dAvW_Zk
Ссылка на трансляцию: https://youtu.be/HLR8dAvW_Zk
YouTube
ФП для чайника: эпизод 4. Конфиги без any
Четвертый эпизод подкаста о функциональном программировании.
Код к эпизоду: https://github.com/YBogomolov/fp-teapot
Код к эпизоду: https://github.com/YBogomolov/fp-teapot