Похоже на то?

https://github.com/yav/graphmod

да, похоже)

Эта штука не подлежит tail call optimization
go acc | acc /= stop = f acc <|> go (next acc)
.......| otherwise = Nothing
А эта подлежит, верно?
go acc
.....| acc /= stop =
.........case f acc of
..........Nothing -> go (next acc)
..........result -> result
.....| otherwise = Nothing

Гхц вполне может переписать первое во второе, заинлайнив определение <|>

А может и не переписать

Я может что-то путаю, но в остальных языках TCO нужно для того, чтобы не выйти за пределы стека когда вызываются функции.
Но при этом в хаскеле нет call stack.

стек есть, в RTS

и передача аргументов через него есть

а гхц на самом деле умеет превращать тейл коллы в циклы с настоящими джампами

более того, джампы даже на уровне синтаксиса Core есть

А использовать {-# INLINE #-} прагму он не дает вне модуля, где объявлена <|>.
Нет никакого трюка, чтоб ее гарантированно заинлайнило, кроме как напиисать с нуля и поставить прагму?

нету

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

Значит я путаю.

а с какой целью вообще ты этим интересуешься?

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

звучит как преждевременная оптимизация

Вечер добрый! Подсобите пожалуйста, почему он ждет Int?

fibs :: [Integer]
fibs = 0:1:zipWith (+) fibs (tail fibs)
fib n = fibs !! n

perimeter :: Integer -> Integer
perimeter 0 = 4
perimeter n = (*) 4 $ sum f
 where
   f = foldl (\acc x -> fib x : acc) [] [1..n + 1]

    • Couldn't match expected type ‘Int’ with actual type ‘Integer’
    • In the expression: n + 1
      In the third argument of ‘foldl’, namely ‘[1 .. n + 1]’
      In the expression: foldl (\ acc x -> fib x : acc) [] [1 .. n + 1]
   |
11 |    f = foldl (\acc x -> fib x : acc) [] [1..n + 1]

!! принимает интовый индекс, вот