В четверг Владислав Завьялов расскажет, как писать на хаскеле GUI-приложения:
https://serokell.io/blog/gui-programming-talk

Да.
(via)

Записи с TLA+ Community Event (https://conf.tlapl.us.home)
https://www.youtube.com/playlist?list=PLWLcqZLzY8u8EA8UlsZ5xKMvtUoeGr5R_

https://blog.cloudflare.com/cloudflare-worker-with-webassembly-and-haskell — неожиданный пост в блоге Cloudflare о Haskell и WebAssembly

Новый моноширинный шрифт JuliaMono, заточенный под программирование и содержащий больше 10к глифов Юникода: https://juliamono.netlify.app
Мой билд Iosevka все равно пока нравится больше, конечно, но JuliaMono выглядит очень приятно и уж явно не хуже JetBrains Mono.

Система эффектов 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