Haskell

30 Jun 2025 21:32

Вызываешь релиз руками, иначе ошибка типов

Haskell

30 Jun 2025 21:32

Я понял, там хранилище сейчас открытых ресурсов ипа ReaderT или что-то такое

Haskell

30 Jun 2025 21:31

Я не совсем правильно выразился, оно сделано по подобию ресурст, но не использует ресурст

Haskell

30 Jun 2025 21:28

Внутри же там по сути resourcet

Haskell

30 Jun 2025 21:26

Там только поиски, построчные чтения и т.д.

Haskell

30 Jun 2025 21:25

Вообще кстати hGetContents из linear был бы норм, там хотя бы семантика в типах видна была

Haskell

30 Jun 2025 21:23

Всё что за что ленивое IO ругают в нём есть

Haskell

30 Jun 2025 21:23

Единственный спосб сделать liftIO в этом апи это создать фейк ресурс

Haskell

30 Jun 2025 21:22

ну, я отвечаю на concern, что BL.hGetContents имеет неочевидное поведение и что хорошо бы его поменять.

Haskell

30 Jun 2025 21:21

Ну, можно класть, но все вычисления внутри должны быть. Но там легко ошибиться. Так, то для ленивого или ForeignPtr надо или ресурсы разных видов, linear, resourcet, etc

Haskell

30 Jun 2025 21:20

У него был !h <- sha1 . toLazy . hGetContents

Haskell

30 Jun 2025 21:20

я не разбирался, там вроде какие-то пляски с QualifiedDo и https://hackage-content.haskell.org/package/linear-base-0.5.0/docs/System-IO-Linear.html нужны

Haskell

30 Jun 2025 21:17

https://hackage-content.haskell.org/package/linear-base-0.5.0/docs/System-IO-Resource-Linear.html

Haskell

27 Jun 2025 22:15

Хотя не правильно посчитал, на Elixir это вместе с данными, там mp3 файлов на 7 Мб, так что не сильно больше.

Haskell

27 Jun 2025 22:08

так что даже не меняя язык размер проекта сравним с полны переписыванием

Haskell

30 Jun 2025 21:32

А что по выходу из скоупа, или из него не выйти (как с IO)?

Haskell

30 Jun 2025 21:32

Да, чтоб в случае исключения всё закрыть, вот тут я про это писал

Haskell

30 Jun 2025 21:31

А à-la resource-там там чтобы в случае исключения всё прикрыть?

Haskell

30 Jun 2025 21:27

Из интересного: запуск ресурс ио закрывает ресурсы как onError, а не как finally, позволя убрать дерганье словарика с релиз ключами на выходе, если не было исключения

Haskell

30 Jun 2025 21:25

hGetContents-то линейная база и не определяет😅

Haskell

30 Jun 2025 21:24

я, честно говоря, linear-base никогда не использовал. хорошо бы какие-то части его в base засунуть, хотя бы этот вездесущий Ur.

Haskell

30 Jun 2025 21:23

Но да, hGetContents вообще там себе история и для LBS и string

Haskell

30 Jun 2025 21:22

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

Haskell

30 Jun 2025 21:22

resourcet и etc тут правда не помогут

Haskell

30 Jun 2025 21:20

верно, см. дальше в моем сообщении, что это маргинальный случай. обычно lazy IO под брекет не кладут.

Haskell

30 Jun 2025 21:20

Не, у него не убегал (я по кода думал, что убегает), у него там строгий консьюмер

Haskell

30 Jun 2025 21:18

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

Haskell

30 Jun 2025 21:15

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

Haskell

27 Jun 2025 22:11

Для сравнения, на Nim получается бинарник 1 Мб (сборка быстрая и удобная под разные платформы и с нужными glibc), на Elixir архив порядка 10 Мб, это с его виртуальной машиной, и beam файлами (сборка не удобная, под Arm приходится на Arm собирать, но разрабатывать удобно, быстрая компиляция через recompile без потери состояния запущенного проекта), на Haskell ещё не смотрел, но вроде обнадёживающе, хотя уже видно, что размер бинарника будет больше, чем на Nim.

Haskell

27 Jun 2025 22:07

Там в любом случае перетаскивать, там они на sympony второй версии, кажется она deprecated уже больше лет 10