K
Вопрос, в Эльме
let - это let rec?let-объявлений, позволяяtest : Int
test =
let
y = x
x = 1
in y
Size: a a a
2020 October 15
K
Позволяет mutual recursion для функций, но не для значений. Что, в общем-то, логично. Приятно, что Эльм выполняет анализ зависимостей для
AY
А что тут анализировать? Там же просто граф разматывается и ошибка, если не сошлось. Это же не императивный язык
AY
Позволяет mutual recursion для функций, но не для значений. Что, в общем-то, логично. Приятно, что Эльм выполняет анализ зависимостей для
let-объявлений, позволяяtest : Int
test =
let
y = x
x = 1
in y
оно точно так же работает в haskell же
K
оно точно так же работает в haskell же
Хаскелль не имеет ничего против рекурсивных значений.
AY
А можно пример рекурсивных значений? Сообразить не могу
K
ones = 1 : ones
AY
ок, то, что в хаскеле бесконечные массивы норма я знаю, насчет elm даже не задумывался. А бесконечные массивы вытекают из возможности устроить рекурсию значений походу
K
Это список, а не массив. В хаскелле при желании можно слелать бесконечные деревья и всё, что угодно.
AY
массив - оговорился
K
Так-то их можно и в эльме сделать, через
например. Это не совсем эффективная реализация, да и от ленивости одно название.
type List a = List (() -> Either (a, List a) ())
например. Это не совсем эффективная реализация, да и от ленивости одно название.
AY
Ну это тип, а не значение
AY
про деревья в хаскеле понял
K
repeat x = List <| \() -> (x, repeat x)
head (LIst thunk) = case thunk () of
| Left (x, _) -> Just x
| Right () -> Nothing
tail (LIst thunk) = case thunk () of
| Left (_, xs) -> Just xs
| Right () -> Nothing
Вот например
repeat 1 - бесконечный (в терминах head/tail) список единиц.K
"Бесконечные" объекты вытекают из того, что все значения в хаскелле вычисляются только когда нужны. Поэтому можно внутри вычисления сослаться на его результат
AY
Я понимаю, как это происходит в хаскеле. Гуглил почему в elm не так, особо не гуглится
AY
Единственное что гуглится
https://github.com/elm/compiler/blob/master/hints/bad-recursion.md
Звучит как "это сложно, путает, забейте" 😁 Нам это просто не нужно (как и интеграция с другими либами 😁)
https://github.com/elm/compiler/blob/master/hints/bad-recursion.md
Звучит как "это сложно, путает, забейте" 😁 Нам это просто не нужно (как и интеграция с другими либами 😁)
MP
Всем привет. Когда у вас на проекте появляется циклическая зависимость, о чем это обычно говорит? модули плохо структурированы или может еще какая подсказка кроется в этой ошибке?
AY
Всем привет. Когда у вас на проекте появляется циклическая зависимость, о чем это обычно говорит? модули плохо структурированы или может еще какая подсказка кроется в этой ошибке?
Отсутствие структуризации. Код на два файла просто поделили 😁
AP
Да, обычно это говорит о том, что "передекомпозировали"