вот тормозит это чисто практическая проблема

при этом если нужен внешний интерпретатор то ради этого интерпретатора можно теги втянуть

одним простым инстансом

Вон, про С++ целый талмуд на 1300 страниц проблем наскребли, но ведь никого же это не останавливает

А вот этот ваш 8.2 с джойн-пойнтами не решает "тормозит" хотя бы частично?

вот тормозит это чисто практическая проблема

У нас обращение к внешнему сервису инвойсов тормозит на порядок больше, так что какая разница.

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

Да, мы пьем смузи и катаемся на гироскутерах

:/

Александр, вы слишком много времени проводите в fprog_spb похоже

Александр, вы слишком много времени проводите в fprog_spb похоже

И это не случайно. Там тихо, почти нет активности, никто не мешает думать. Поэтому я открываю fprog_sbp на всех мониторах и спокойно себе интровертирую

Настоящие хаскелисты пьют борщ и катаются на штангах?

На санках, во.

на санках это старкрафт какой-то

На санках, во.

На каждом метре создаются новые санки.

А вот этот ваш 8.2 с джойн-пойнтами не решает "тормозит" хотя бы частично?

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

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

все дело в токсичности

я токсично спрашивал?

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

Я мож плохо читал, но если полиморфная функция хорошо заинлайнится в интерпретатор, там разве куча аллокаций не уйдёт?

тут проблема в самом интерпретаторе, у нас на каждый чих аллоцированы данные которые мы матчим

если я верно понимаю

тут дело не в аллокациях, а в сравнении матчинга в рантайме и отсуствия матчинга

в отличии от таглес где этого нету

но вообще, с джойн-пойнтами "интерпретаторы" лучше должны оптимизироваться, особенно стримы всякие где "интерпретируемый" алгдт не рекурсивный, но все равно, проверка в рантайме есть проверка в рантайме

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

но вообще, с джойн-пойнтами "интерпретаторы" лучше должны оптимизироваться, особенно стримы всякие где "интерпретируемый" алгдт не рекурсивный, но все равно, проверка в рантайме есть проверка в рантайме

А типа бренчинг всё равно остаётся?

так в ТФ словари остаются в худшем случае, в нормальном там вообще инлайнится все и специализируется, ничего не остается

а ТФ на модулях в любом случае ничего не остается

А типа бренчинг всё равно остаётся?

ну да

@graninas кстати у вас free или freer?

но "лучше" не в смысле что они раньше так не оптимизировались, джойн-пойнты (пока) ничего нового не дают в этом смысле, они просто не дают испортить одни оптимизации другими, что раньше случалось

@A64m_qb0 а у foldFree mmorph интересно есть ли шанс заинлайниться и убрать прыжки по тегам, если все развернуть

@graninas кстати у вас free или freer?

freer от Takt, Inc Но я без понятия, ведь название либы - это одно, а устройство - это другое.

@A64m_qb0 а у foldFree mmorph интересно есть ли шанс заинлайниться и убрать прыжки по тегам, если все развернуть

не знаю

но "лучше" не в смысле что они раньше так не оптимизировались, джойн-пойнты (пока) ничего нового не дают в этом смысле, они просто не дают испортить одни оптимизации другими, что раньше случалось

Я помню ты что-то ругался про что там сломалось в 7.10

или в 7.8

freer от Takt, Inc Но я без понятия, ведь название либы - это одно, а устройство - это другое.

ну на hackage и у Takt одна и та же либа правда почему-то разные авторы и ссылается на разные места

Я помню ты что-то ругался про что там сломалось в 7.10

не факт, что это с джойн-пойнами связано было

а такт форкнуло и ещё 30 коммитов добавили

ну на hackage и у Takt одна и та же либа правда почему-то разные авторы и ссылается на разные места

Мы с гитхаба тянем. Сейчас ссылку нарою

норм ребята

5 месяцев ещё код подабавляли

https://github.com/TaktInc/freer

спасибо.

если что я уже третью минуту смотрю диф того что у них и того что на hackage

/me слоупок, ничего не поделать

регионы запилили, молодцы

кстати там расширяемые исключения поддерживаются или все ещё нет?

Я не уверен, что значит "расширяемые исключения". Можно бросать и перехватывать свои собственные.

https://simonmar.github.io/bib/papers/ext-exceptions.pdf

Но там есть заморочки с тем, где и как исключения перехватываются. Если бросить в логике, то дальнейший код уже без шансов выполнить. Перехват теперь возможен только в интерпретаторе.

грубо говоря то, что 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 при наличии хотя бы двух пар для которых определен порядок