Система эффектов in-other-words, целью которой является представление эффектов выших порядков и решение проблемы O(n²) инстансов:
https://github.com/KingoftheHomeless/in-other-words

Павел Дуров поделился 7 секретами вечной молодости:

1. Наличие однопараметрического типа Т
2. Наличие аппликативного функтора для типа Т
3. Наличие функции return
4. Наличие функций join или bind
5. Закон левой идентичности
6. Закон правой идентичности
7. Закон ассоциативности

Eto ya

🌊 🐱 🌊

Отличный материал для неспешного изучения на выходных 👇

https://github.com/prathyvsh/morphisms-of-computational-structures
Как минимум, любопытный список ссылок для дальнешего чтения. 😊

Туториал о том, как реализовать тайп-чекер для refinement types:
— препринт статьи на arXiv;
— репозиторий с кодом на Haskell и Reason.
(источник)

Dzień dobry

Уволился в пятницу из криптостартапа. 10 месяцев просиживал жопу на tensorflow, заебался пиздец. Сидел и думал, мне 21 год, а мои сверстники едут в рюмочную №5 в Камызяке. В принципе, датасайентистом работать хорошо, всегда работу найдешь, три года уже везде нахожу себе применение. Просто заебался, смотрю на других молодых, там всякая хуета классная, цеха, дуговая сварка-хуярка. Пиздец. Очень хочу стоять на заводе с умным ебалом и говорить слова «окалина» или «фистинг». Завидно. Зато я свободен душою и телом, и совесть моя чиста. Даже не знаю, чем хочу заняться на самом деле, ничего не понятно. Вот, хожу, гуляю, скушал фалафель. Говорят, помогает для печени. Всем счастья, здоровья и хорошей работы!

Гугл-календарь с конференциями, семинарами и пр. из мира теории (и практики) языков программирования, статического анализа, теории типов и других весёлых и интересных вещей. Начат Александром Чичигиным (кажется), пополняется "сообществом" (что бы это ни значило)
https://calendar.google.com/calendar?cid=MjFrcW1scmk5czJucWl1NWZqZDZmaGozZzhAZ3JvdXAuY2FsZW5kYXIuZ29vZ2xlLmNvbQ

#фп_на_ts
Написал немного букв на Хабр: https://habr.com/ru/post/526024

Попробовал объяснить эмуляцию полиморфизма родов высших порядков на тайпскрипте с помощью техники дефункционализации, которая применяется в fp-ts. В последние месяцы я понемногу начал чувствовать себя лучше и набираться сил, чтобы снова взяться за обучающий контент. Надеюсь, аудитория хабра не только посты «короля» умеет пережевывать, но и технически сложный материал тоже.

P.S. Да, я знаю, что хабруженеторт, но на русском нет другой площадки со сравнимым охватом, а русскоязычных материалов по ФП на TS исчезающе мало.

Current mood

Доклад о текущем состоянии расширения с линейными типами для хаскеля: https://www.youtube.com/watch?v=tF2IugSgg-I
Из интересного — новый синтаксис (опять):

f :: Foo %Many -> Bar
g :: Foo %One -> Bar

g :: Foo %1-> Bar
g :: Foo ⊸ Bar

Публичный релиз ожидается в версии GHC 9.0.1.

Да.
(via)

Снова открыточка для @ebanatics
Тут и я внес свою лепту в ебанутость обсуждения, хоть и зарекался спорить с блаженными.

В MIT обучили нейросеть, которая определяет наличие коронавируса по звуку кашля. В том числе у бессимптомных больных, которые специально кашляют. Определило коронавирус у 100% больных без симптомов, но с позитивным тестом.

Разделять бессимптомных больных от здоровых научили на десятках тысяч записей кашля, отправленных добровольцами. Сейчас делают приложение, которое в случае одобрения FDA станет быстрым, бесплатным и неинвазивным способом тестирования