Но в Rust нет HKT

ну, тем кому всего хватает можно позавидовать только, но не все такие

в общем, библиотека, которая проходит все до конца, сворачивает, мапает и фильтрует (правда сворачивание не ограничено скалярами, надо самому себя сдерживать) в хаскеле называется foldl (но она не воспринимается как библиотека вроде итераторов, для этого она слишком маломощная и применяется нишево, из-за фич вроде параллельной комбинируемости)

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

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

Ох. А что там в vector не так?

там билдер вроде блейз-билдера, что в смысле малого мемори футпринта не самая хорошая идея, а vectorM прямо вектор модифицирует без особых хитростей.

т.е. это не что-то в принципе страшное, но не подпадает под требование каких-то гарантий нетекучести которые выше обсуждаются

fold кстати гозалесовый или кметтовый?

я второй так и не осилил

гонзалесовский

к кметтовскому нету "батареек" просто

ну т.е. что-то было отдельными пакетами, но в основном сгнило

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

но сейчас foldl поправили

А что там было не так?

Чуть не профильно, но мож кто знает. Есть ли чатик по лиспам?

Сел играться с scheme и то ли лыжи не едут, то ли я что-то не понял 😞

mit-scheme или рэкет?

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

mit-scheme или рэкет?

или chicken, или ещё сотня вариантов :)

mit-scheme

Чуть не профильно, но мож кто знает. Есть ли чатик по лиспам?

В емаксочате сказали, что самый живой - как раз этот их https://t.me/emacs_ru

В общем, может кто-то тут подскажет (define (fun fn . args) (fn . args)) Вот такой простой пример. Illegal use of .'`

Чуть не профильно, но мож кто знает. Есть ли чатик по лиспам?

https://telegram.me/joinchat/Be4rsTvFzQ4yIktHsNNYrA ?

Отсюда: https://github.com/A-gambit/awesome-telegram-chats

Сам не заходил туда

Спасибо, спрошу.

В общем, может кто-то тут подскажет (define (fun fn . args) (fn . args)) Вот такой простой пример. Illegal use of .'`

Проверил в racket: > (define (fun fn . args) (apply fn args)) > (fun + 1 2 3) 6

C apply работает, конечно.

Хочу понять что с точкой. :(

Вангую проблемы распаковки мультиаргов

Не работает в рантайме?

ракет ругается на вторую точку

Да, ругается. И я не могу понять почему. :(

Да, ругается. И я не могу понять почему. :(

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

да, тоже везде видел, что пишут только про apply

Точка является вообще чем? Элементом синтаксиса, или шорткатом над cons? Я так понял, что элементом синтаксиса. Может она не умеет работать в рантайме.

Ближе. Откуда?

Точка является вообще чем? Элементом синтаксиса, или шорткатом над cons? Я так понял, что элементом синтаксиса. Может она не умеет работать в рантайме.

особая форма define трактует symbol . на своё усмотрение

Ближе. Откуда?

https://stackoverflow.com/questions/12658406/how-do-i-handle-an-unspecified-number-of-parameters-in-scheme

теперь это канал про racket?

и про анимэ

https://stackoverflow.com/questions/12658406/how-do-i-handle-an-unspecified-number-of-parameters-in-scheme

Regarding the code in the comments, this won't work as you intend: ... Теперь осталось понять почему :(

@qnikst с твоими советами до 300мб ужалось, все равно жирнота

теперь это канал про racket?

Ну, тут люди знающие. Подумал, что может кто подскажет, почему так.

смущает меня тип IO (Either Error ()), зато удобно в API. что делать?

А что там было не так?

да какая-то смешная ошибка из тех что кметт не делает, inlineable вместо inline в инстансах вроде. Это подробно разбиралось в хаскельгиттере

смущает меня тип IO (Either Error ()), зато удобно в API. что делать?

Переписать на трансформерах, очевидно

Снойман всех убедил что ExceptT Error IO () не кошерно, и за такое будут порицать

Так это же одно и то же. А вот MonadWhatever m ⇒ ExceptT Error m () наш раввин одобряет

Но я хочу там тупо IO

Ну пусть будет IO раз удобно

Снойман всех убедил что ExceptT Error IO () не кошерно, и за такое будут порицать

разве?

он писал, что не надо ждать, что все ошибки будет только в Except

ну незнаю, все пишут теперь "ой фуууу, ExceptT e IO a!!!! Лохи!"

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

вот где мне не нравился никогда ExceptT e IO a, так это в серванте

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

имеешь в виду, что MonadError m, MonadIO m было бы лучше?

Только что, ребята, я сделал работающий STM на фри монадах.

Только что, ребята, я сделал работающий STM на фри монадах.

и где соурс?

Сурс здесь, но я его сейчас на отдельное репо вынесу: https://github.com/graninas/Haskell-Algorithms/tree/master/Tests/STM/stm-free

Теперь официально: https://github.com/graninas/stm-free

Характеристики этого решения я, конечно, еще не знаю, и там есть неоптимальные вещи. Но это крайне простая реализация

Кто знает, что за other-modules: Paths_bar добавляет hpack?

по факту это .stack-work/dist/x86_64-linux/Cabal-2.0.1.0/build/test/autogen/Paths_bar.hs

Это вообще легально?

Что-то я не замечал такого за hpack'ом ранее...

Хмм. Проверил такое у меня и в других захпаченных проектах

легально

В одном проекте с tasty-golden подобным образом ещё и Golden в other-modules добавляется

Ну я понял, что легально. А зачем?

И если я не буду хпачить, то cabal сам неявно это всё подцепит?

Ну я понял, что легально. А зачем?

это штука, которая даёт тебе обращаться к файлам, которые ты засунул в свой пакет вроде бы поле data-files в кабале, но я не уверен

модуль генерится кабалом в любом случае

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

так что hpack делает это за тебя на всякий случай