Доклад крутейшего Олега Нижникова из Тинькофф про стрелки и симметричные моноидальные категории: 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://codesandbox.io/s/arrows-ts-hu13d
P.S. Кстати, в codesandbox есть мой шаблон, содержащий fp-ts и его экосистему, в том числе и kleisli-ts, для быстрой проверки гипотез на функциональном TS: https://codesandbox.io/s/functional-typenoscript-template-e156q
YouTube
Functional Scala - Composition using Arrows and Monoidal Categories by Oleg Nizhnik
This talk was given by Oleg Nizhnik at the Functional Scala conference held at The National Gallery and hosted by John De Goes on the 12th and 13th of December.
Тильда как проект на этом закончилась: https://twitter.com/nesteliza_/status/1217899385092222977
Twitter
Нестерова
Обалдеть новости. Тильда, на которой лежит куча важных проектов — от нашего «Подельника» до открытых писем в поддержку фигурантов «Московского дела» — ввела цензуру на любой общественно-политический контент. Первым забанили сайт про «Ростовское дело».
Кто там плакал, что «ФП сложна, математика трудно, жс проста»? Книга «A Brief Course of Modern Math for Programmers» даст ответы на ваши вопросы.
Ревью от прекрасного Оскара Понса можно найти здесь, например.
Ревью от прекрасного Оскара Понса можно найти здесь, например.
Gumroad
A Brief Course in Modern Math for Programmers
Programmers with the classical software engineering background need to learn more mathematics these days. The world is changing; we have to change, too. This book is dedicated to covering the issue...
А за ручку с камерой с 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
https://meduza.io/news/2020/01/18/tsentr-e-chetyre-mesyatsa-snimal-na-skrytuyu-kameru-spalnyu-aktivistki-otkrytoy-rossii-eto-delalos-s-razresheniya-suda
Meduza
Центр «Э» четыре месяца снимал на скрытую камеру спальню активистки «Открытой России». Это делалось с разрешения суда
Сотрудники центра по противодействию экстремизму в Ростове-на-Дону установили скрытые камеры в спальне активистки «Открытой России» Анастасии Шевченко, являющейся фигуранткой дела об участии в деятельности нежелательной организации. Об этом дочь активистки…
Статья «Profunctor optics, a categorical update» от Эмили Пиллмор, Бартоша Милевского и многих других крутых исследователей:
https://arxiv.org/pdf/2001.07488.pdf
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
https://twitter.com/alex_christofi/status/1219564301029138432
Forwarded from Nick Ivanych
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
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, можно почитать у них в документации.
Для тех, кто не знал — VSCode умеет запускать рабочее окружение в докер-контейнере. Это позволяет, среди прочего, хорошо изолировать разные версии используемой вами платформы — что в случае хаскеля особенно уместно. Детальнее о том, как это всё работает в VSCode, можно почитать у них в документации.
GitHub
GitHub - hmemcpy/haskell-hie-devcontainer: A DevContainer for VSCode, for installing GHC 8.6.5, HIE (Haskell IDE Engine) and the…
A DevContainer for VSCode, for installing GHC 8.6.5, HIE (Haskell IDE Engine) and the required plugins - GitHub - hmemcpy/haskell-hie-devcontainer: A DevContainer for VSCode, for installing GHC 8.6...
Весьма внезапная новость — порт изначально скаловской либы на хаскель. 47 Degrees котики :3