DR
Поэтому это точно - не наследие рельс.
Size: a a a
2020 March 03
ŹR
Dmitry Russ (Aleksandrov)
В Erlang-е нет lazy вычислений встроенных, которые вообще очень функциональная вещь и идёт из haskell-я. У нас препод в университете рассказывал на функциональных языках лекции про Erlang, Haskell, так вот lazy вычисления в Erlang-е он делал со специальной библиотекой, потому что упустили такую чисто функциональную вещь, а в Elixir-е она встроенная.
Как сделать Stream.cycle из функции ?
DR
Ошибка здесь в том, что etf позволяет сохранять код для исполнения - и в эрланге, если использовать не lists:map, а свою функцию, которая на каком-то этапе тоже может запустить анонимную функцию - тоже будет проблема. В Erlang-е это чуть отложеная, не такая явная проблема.
PG
как стратегия вычисления может быть "чисто функциональной"?
DR
А в Elixir-е есть самый безопасный вариант. Т.е. С использованием той функции - Elixir безопаснее Erlang-а в этом случае.
DR
Как сделать Stream.cycle из функции ?
Stream.cycle - возвращает функцию.
ŹR
А блин, ясно
DR
как стратегия вычисления может быть "чисто функциональной"?
Lazy вычислений, на этом весь haskell построен. Там только Lazy вычисления и есть.
PG
можно взять и все зафорсить, есть компилятор строгого хаскеля, что дальше?
ŹR
Dmitry Russ (Aleksandrov)
Stream.cycle - возвращает функцию.
Ну это все равно косяк
ŹR
Нужно чтобы Stream.сycle возвращал
%StreamGenerator{} какой нибудь, на котором определен протоколŹR
Это такая детская херня, что даже смешно
DR
Нужно чтобы Stream.сycle возвращал
%StreamGenerator{} какой нибудь, на котором определен протоколStream.resource
DR
И вся идея с протоколами уже не будет работать.
DR
Если только в этой структуре не хранить анонимную функцию.
DR
Только подставить вместо анонимной функции структуру с анонимной функцией - не меняет суть проблемы.
ŹR
Dmitry Russ (Aleksandrov)
Если только в этой структуре не хранить анонимную функцию.
Ну ты же делаешь алиасы для типов (`name :: string`), а не используешь просто string
Потому что name то string, да вот string - не name
Потому что name то string, да вот string - не name
ŹR
Так и тут - генератор то функция, да вот функция - не генератор
DR
Ну ты же делаешь алиасы для типов (`name :: string`), а не используешь просто string
Потому что name то string, да вот string - не name
Потому что name то string, да вот string - не name
name :: string - это ты ставишь тип, а не передаешь вместо name = "Jose" что-то типа name = %Name{this = "Jose"}.
ŹR
Dmitry Russ (Aleksandrov)
name :: string - это ты ставишь тип, а не передаешь вместо name = "Jose" что-то типа name = %Name{this = "Jose"}.
Главное - принцип, ЗАЧЕМ ты это делаешь. А делаешь это доступными инструментами.
В эликсире протокол можно определить на структуре, а не на типе. Потому ничего не остается кроме как обернуть в структуру
В эликсире протокол можно определить на структуре, а не на типе. Потому ничего не остается кроме как обернуть в структуру