JetBrains выпустил опен-сорсный шрифт JetBrains Mono, оптимизированный для чтения кода: https://www.jetbrains.com/lp/mono/

Также для новых подписчиков напоминаю, что у меня есть своя сборка шрифта Иосевка — увеличенная на 10% по ширине с включенными лигатурами для хаскеля/жс/скалы.
Брать тут: https://news.1rj.ru/str/randomstuffilike/155
А тут пакеты для арча: https://news.1rj.ru/str/randomstuffilike/161 (мало ли)

#музыкальная_пауза
Настроение: https://youtu.be/Q4v1_oHdHO8

Доклад крутейшего Олега Нижникова из Тинькофф про стрелки и симметричные моноидальные категории: https://www.youtube.com/watch?v=i-A7XiJ_1sk
Ну а я чуток упоролся и транслировал пример из его доклада на тайпскрипт: https://codesandbox.io/s/arrows-ts-hu13d

P.S. Кстати, в codesandbox есть мой шаблон, содержащий fp-ts и его экосистему, в том числе и kleisli-ts, для быстрой проверки гипотез на функциональном TS: https://codesandbox.io/s/functional-typenoscript-template-e156q

Тильда как проект на этом закончилась: https://twitter.com/nesteliza_/status/1217899385092222977

Кто там плакал, что «ФП сложна, математика трудно, жс проста»? Книга «A Brief Course of Modern Math for Programmers» даст ответы на ваши вопросы.
Ревью от прекрасного Оскара Понса можно найти здесь, например.

А за ручку с камерой с AliExpress все равно сядешь ты.
https://meduza.io/news/2020/01/18/tsentr-e-chetyre-mesyatsa-snimal-na-skrytuyu-kameru-spalnyu-aktivistki-otkrytoy-rossii-eto-delalos-s-razresheniya-suda

Статья «Profunctor optics, a categorical update» от Эмили Пиллмор, Бартоша Милевского и многих других крутых исследователей:
https://arxiv.org/pdf/2001.07488.pdf

There's maniacs. There's psychos. Then, there's this guy:
https://twitter.com/alex_christofi/status/1219564301029138432

via @zalozy

Eto ya

Открыточка @datstuff

Продолжение вот этой работы.

Profunctor optics and traversals
Mario Román
https://arxiv.org/abs/2001.08045
Optics are bidirectional accessors of data structures; they provide a powerful abstraction of many common data transformations.
This abstraction is compositional thanks to a representation in terms of profunctors endowed with an algebraic structure called Tambara module.
There exists a general definition of optic in terms of coends that, after some elementary application of the Yoneda lemma, particularizes in each one of the basic optics.
Traversals used to be the exception; we show an elementary derivation of traversals and discuss some other new derivations for optics.
We relate our characterization of traversals to the previous ones showing that the coalgebras of a comonad that represents and split into shape and contents are traversable functors.
The representation of optics in terms of profunctors has many different proofs in the literature; we discuss two ways of proving it, generalizing both to the case of mixed optics for an arbitrary action.
Categories of optics can be seen as Eilenberg-Moore categories for a monad described by Pastro and Street.
This gives us two different approaches to composition between profunctor optics of different families:
using distributive laws between the monads defining them, and using coproducts of monads.
The second one is the one implicitly used in Haskell programming; but we show that a refinement of the notion of optic is required in order to model it faithfully.
We provide experimental implementations of a library of optics in Haskell and partial Agda formalizations of the profunctor representation theorem.
#paper

Крутейший @hmemcpy сделал DevContainer для Haskell: https://github.com/hmemcpy/haskell-hie-devcontainer 💪
Для тех, кто не знал — VSCode умеет запускать рабочее окружение в докер-контейнере. Это позволяет, среди прочего, хорошо изолировать разные версии используемой вами платформы — что в случае хаскеля особенно уместно. Детальнее о том, как это всё работает в VSCode, можно почитать у них в документации.

#музыкальная_пауза
Доброе утро.
https://youtu.be/j1BXlBjQlRk

От создателей «NaN days ago»