Challenge: у меня есть библиотека для монадических эффектов, написанная с несколькими unsafeCoerce, но я хотел бы, чтобы их не было. У кого есть настроение побороться с компилятором?

компилятор всё равно победит

Ну я его пока что победил через unsafeCoerce, а хочется как-то по-честному.

компилятор всё равно победит

Снойман окажется сильней

Ну я его пока что победил через unsafeCoerce, а хочется как-то по-честному.

это для этого? unsafeCastCapabilities

Да, но это один 'unsafeCoerce'. А сейчас я еще один использовал, и мне стало немного печально.

Да, но это один 'unsafeCoerce'. А сейчас я еще один использовал, и мне стало немного печально.

у тебя же там newtype, может лучше заненить на coerce вроде как раз для такого он и сделан

Ну я начинал с coerce, но оно там не сошлось как-то

К тому же с использованием Any об этом речи идти не может.

Так что надо для начала придумать, как от Any избавиться.

Challenge: у меня есть библиотека для монадических эффектов, написанная с несколькими unsafeCoerce, но я хотел бы, чтобы их не было. У кого есть настроение побороться с компилятором?

можно ссылку на либу?

https://github.com/int-index/caps

Гонзалес стайл

а, хм, идея в том, чтобы разбивать один эффект на много разных? И чтобы потом подменять один логгер над IO на другой?

как в пурсе Eff вместо IO

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

а, хм, идея в том, чтобы разбивать один эффект на много разных? И чтобы потом подменять один логгер над IO на другой?

именно так, + возможность из одного эффекта получать доступ к другим

то есть это такой fixed point над ReaderT мапы из словарей с эффектами

То есть если имеем эффекты E1, E2, E3, то это эквивалент ReaderT ( E1 '[E1, E2, E3], E2 '[E1, E2, E3], E3 '[E1, E2, E3] )

А основная проблема, которую решает фреймворк, это возможность такую мапу расширять (чтобы добавить E4) или менять эффекты так, чтобы это отразилось на других.

Например, если нетворинг и база данных используют логгинг, то когда мы подменяем словарик логгинга, нам надо обновить нетворкинг и БД тоже.

Если использовать эффекты mtl-style, то такого не будет.

в чём разница между пакетами gtk и gtk3?

в чём разница между пакетами gtk и gtk3?

в первом — биндинги для gtk2

то есть старьё?

да

спасибо

Привет! Подскажите, пожалуйста, как в ghci можно засовывать строковые литералы туда, где требуется ByteString? Couldn't match expected type `bytestring-0.10.8.2:Data.ByteString.Lazy.Internal.ByteString' with actual type `[Char]Написал в ghci {-# LANGUAGE OverloadedStrings #-}, но не помогло

Эммм, не знаток, но может http://hackage.haskell.org/package/bytestring-0.10.8.2/docs/Data-ByteString-Lazy-Char8.html#v:pack

Эммм, не знаток, но может http://hackage.haskell.org/package/bytestring-0.10.8.2/docs/Data-ByteString-Lazy-Char8.html#v:pack

Couldn't match expected type `Data.ByteString.Lazy.Internal.ByteString' with actual type `ByteString'Hm..

:set -XOverloadedStrings

:set -XOverloadedStrings

Благодарю

обратите внимание, что ByteString не адекватно преобразуется из String (адекватно только для ASCII)

то есть пригодно только для каких-то технических вещей вроде ключевых слов

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

А почему тогда Data.Aeson использует его для декодирования из джсона?

Энкодинг надо делать

нет, aeson не использует ByteString.pack (я не смотрел в код, но было бы странно)

сам по себе ByteString вполне адекватно хранит байты

нет, aeson не использует ByteString.pack (я не смотрел в код, но было бы странно)

Вы именно про функцию pack, понятно

Data.ByteString.UTF8.fromString

но это уже немного в сторону, я просто хотел сказать, что ("пример" :: ByteString) может сильно удивить

Такой уж инстанс IsString

https://github.com/int-index/caps

а отрендеренная документация нигде не лежит случайно?

https://caps-0-dxkllnpysx.now.sh/

Случайно лежит.

Вопрос по выбору трекера задач. Хотелось бы (не в порядке приоритета): - зависимости между задачами, - спринты, - API, - html5 и нормальный UI, - иметь kanban, - добавление подзадач, - возможность выстраивать workflow как в JIRA (блоксхема из статусов), - интеграция с draw.io, - быть легким (не как JIRA), - интеграции с github, Расскажите, кто что использует?

Trello

Хапстаф

Trello не умеет многое

спринты например

workflow статусов

Плагины есть

Я сам не пробовал, но как легковесную Джиру мне рекомендовали - https://yandex.ru/tracker/ Он не так давно вышел из внутреннего проекта Яндекса, но амбиции имеются.

Вопрос по выбору трекера задач. Хотелось бы (не в порядке приоритета): - зависимости между задачами, - спринты, - API, - html5 и нормальный UI, - иметь kanban, - добавление подзадач, - возможность выстраивать workflow как в JIRA (блоксхема из статусов), - интеграция с draw.io, - быть легким (не как JIRA), - интеграции с github, Расскажите, кто что использует?

YouTrack всё умеет, только с draw.io непонятно

А youtrack тяжёлый ?

На самом деле и Jira не сильно то тяжелая

define «тяжёлый»?

впрочем, я необъективен — я jetbrains за проставленные tab index готов простить почти всё

Я сам не пробовал, но как легковесную Джиру мне рекомендовали - https://yandex.ru/tracker/ Он не так давно вышел из внутреннего проекта Яндекса, но амбиции имеются.

внутри Яндекса он имеет статус "как Жира, только не тормозит и не глючит"

Кто нибудь пользуетя nixOS тут

да

Офк, но есть и специальный чят

ERROR: S client not available

@ru_nixos

Мне просто интересен nix package manager но я на darwin

macOS

nix-darwin есть

У меня там что-то странное происходит с обновлением каналов

Но тут собственно nix-darwin ни при чём

Подскажите, а в чем оптимизация?

ссылка на f не копируется на каждой итерации

второй мап можно инлайнить

А первый почему нельзя инлайнить? Это связанно с тем, как рекурсия компилируется в цикл?

второй мап можно инлайнить

первый тоже до некоторой глубины

рекурсия не всегда компилируется в цикл

рекурсия может компилироваться в jnz, и цикл может компилироваться в jnz

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

jnz - это jump?

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

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

эта оптимизация просто отключена по умолчанию

потому что не всегда приводит к улучшению кода.

jnz - это jump?

ассебмлерная/машинная инструкция условного перехода

if zero?

if not zero*

теперь, правда, есть идея такая, делать это преобразование (оно называется STO) и если появились новые джойн пойнты, а старые не испортились - значит преобразование полезно

zero или not zero — не суть. какой-то условный переход

zero или not zero — не суть. какой-то условный переход

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

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

я именно об этом и говорю

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

равно как и рекурсия

почему феминистики пишут на JS?

почему феминистики пишут на JS?

это валидно и на Хаскеле

ну это с сайта по JS