И почему foldl на них тогда не работает?

Я же могу просто через flip поменять порядок операндов и foldl превратится в foldr

все, как только создалось значение Cons x (foldr f z xs)
дальше ничего вычисляться не будет
потом мы можем заматчить результат

let x = Cons x (foldr f z xs)
h x =
 case x of
   -- в этот момент вычисляется конструктор x, чтобы проверить, это Nil или Cons
   Nil -> pure ()
   Cons x xs -> do
     -- в этот моменте он значет что конструктор Cons, но x и xs не вычислены еще
     print x
     -- после этого момента он уже вычислил x, но xs все еще нет
     
     if x < 10 then h xs else pure ()
     -- на следующей итерации он уже вычислит xs, но вычислит список ровно настолько, насколько нужно, на первом же элементе >= 10 он прекратит вычлять список, какой бы длины он не был

Если убрать из executable, то варнинги пропадают, а в VSCode навигация по коду отрубается

Это как?

foldl работает в другом порядке, это не просто другой порядок аргументов, это другое направление сворачивания

результат сворачивания н-ого элемента идет в следующую итерацию, и что она там вернет не ясно, в итоге пока мы все не вычислим, не ясно что получим

The reason we call it a right fold is that there are two arguments in a binary function: a left argument and a right argument. The left fold compacts the list into the left argument, and the right fold into the right argument.

например вот

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

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

Насколько я понял, они просто ставят элементы листа с разн сторон

foldr f z (Cons a (Cons b Nil)) =
f a (f b z)

foldl f z (Cons a (Cons b Nil) =
f (f z a) b

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

хреновая навигация, значит

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

Я так и сделал

Это сейчас рекомендуемый плагин для vscode
Что с нехреновой навигацией?

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

тут дело не в ленивости уже, а в том что вызов в любом случае есть

хаскель откладывает вызовы функций, как например с foldr он откладывает вызов foldr для хвоста

Понятно только то, что ничего не понятно

Ладно, попробую дальше читать, мб осознаю

ну хорошо, вот функция

f = 1 : repeat 0

чтобы получить первый элемент f достаточно сматчить f в (x:xs) и забрать x, repeat 0 вычислять не нужно, поэтому repeat 0 даже не будет вычисляться

foldr (:) делает точно так же как f