грубо говоря то, что throwIO в IO, а не throwE в Except

Ох, почитаю на досуге

это ж стандартный механизм исключений в языке..

статья достаточно древняя там есть вещи которые уж и умерли давно

Почитаю и похороню тогда.

ну OOHaskell его хоронить, если только отрыть сначала

Никогда этого зверя не щупал. Он хоть интересный чем-нибудь?

я не уверен что он существовал кроме как в пейпере

и идеей

OOHaskell это ж библиотека Киселева, которая использует HList (расширяемые рекорды Киселева) для энкодинга окамловских объектов

никак не могу понять, в чем тут оптимизация, ненужные ветки же и так не исполняются размер кода? Зачем тогда ()?

Редукция строгая?

нет, там дальше про ghc, то есть язык ленивый похоже а что это меняет? Иф же все равно ленивый

не, я в плане "IO - не монада, IO - экземпляр класса Monad"

а у io есть какие то семантические отличия от фримонад?

или фримонада не монада?

мне пожалуйста фримонаду и большую стрелку Пирса

ну это конструктор инстансов монады точнее конструктор конструктора типа, для которого есть инстанс монады, если у исходного конструктора типа был инстанс монады

разве монада это не отображение между категориями?

вроде нет, первый элемент тройки эндофунктор же

ну значит отображение категории в себя

кажется я готов почитать учебник по теоркату, есть хороший?

желательно чтобы можно было скачать а не ехать в книжный

- теория категорий для программистов (от Баротоша Милевски)- вводный с привязкой к проммированию - теоркат для работающих математиков (от МакЛейна) - это если есть нормальных мат бэкграунд - топосы, категорный анализ логики (от Голдблатта) - вроде неплохая несложная, начал недавно - http://komar.bitcheese.net/files/учебник-по-теории-категорий.pdf

работающий математик это как?

это когда работаешь математиком, наверное) как я понял, там много примеров, которые можно понять только будучи алгебраистом каким

ну в смысле, есть ли работа математиком за границами высших учебных заведений(если не статистика)

да, есть

спасибо

а у io есть какие то семантические отличия от фримонад?

у какого ио?

есть подозрение, что любой не-прикладной программист это на самом деле математик

то есть все эксперты по криптографии и прочему

http://math.mit.edu/~dspivak/teaching/sp18/ - Seven Sketches in Compositionality, An Invitation to Applied Category Theory, by David Spivak and Brendan Fong

https://johncarlosbaez.wordpress.com/2018/03/26/seven-sketches-in-compositionality/ - John Baez teaches (just started) online course

упражнение у милевски это нечто

все решаются в уме и все достаточно сложные чтобы было над чем подумать

правда я каждый раз когда в голове всплывает слово CoProduct сбиваюсь и начинаю улыбаться :(

ну а когда coproyoneda?)

увы, не всплывает :(

Hi

блин, чето эти продукты меня доконали

можно ведь пользоваться аналогией "продукт содержит необходимую и достаточную информацию об обоих элементах"?

где уже формализация необходимости и достаточности дается через уникальный морфизм

я что то 2 часа залипал над тем, почему продукт двух одинаковых частично упорядоченных множеств это декартово произведение

правда я каждый раз когда в голове всплывает слово CoProduct сбиваюсь и начинаю улыбаться :(

Что ты наделал Теперь я тоже угораю

хотя блин, наверно всетаки не декартово

если множества конечные то можно сделать продукт с размером меньше N^2 при наличии хотя бы двух пар для которых определен порядок

но как это обобщить хз

в общем я сильно тупанул

все хитрые оптимизации изоморфны :(

Product может не быть изоморфен декартову произведению в общем случае?

*простите

кажется я готов почитать учебник по теоркату, есть хороший?

Вот подробный, прикладной и местами понятный: http://www.math.mcgill.ca/triples/Barr-Wells-ctcs.pdf Old school

https://twitter.com/kmett/status/982078739482738688

15-45%, матерь божья

Конечно танцев с файлами нужно как в джаве

Кстати, подскажите, а есть какая-то эффективная по времени структура, аналог Data. Set Char? Хранить предполагается ~150 символов.

Эффективная по операции проверки принадлежности элемента множеству

ну вот у эдварда кметта на 15-45% эффективнее

мне кажется вполне эффективно

Vector сортированный?

Ну так там тот же O(log N), что и у Data.Set

Хотя можно просто более эффективно реализовать

в военное время логарифм равен константе

особенно учитывая что записей меньше чем 2^8

Ну поэтому Data.Set пока довольно быстро работает в проекте.

Ладно, попробую на backpack'ах.

вообще странно, я смотрю на этот сет и не монимаю где ограничение на типы

а, его просто спрятали

в функциях

Vector сортированный?

Всё-таки его возьму, там значения будут плотно упакованы, меньше прыготни по указателям.

вообще говоря, задача поиска по упорядоченному дереву это ведь задача про отношение памяти к скорости

а хотя нет, если там только Ord то дерево 100% бинарное

вот если бы Foldable

в этом чате обсуждение идет 24\7 как я понимаю?

На то он и чат, собственно.

нет, сейчас работаем над новыми правилами, которые регламентируют время отбоя, тихого часа днём и перерыв на сон ночью

нарушители будут караться приседаниями с подушкой в вытянутых руках

А то люди не успевают отдыхать, потом баги.

о кстати хотел спросить давно если ктонибудь здесь вимом пользуется какой плагин для хаскель синтаксиса используете?

он вроде из коробки хаскель подсвечивает