как же дальше жить

[sassa_nf]

Prelude> let it f xs = ys where (ys, fs) = unzip $ zipWith ($) (f:fs) xs

<interactive>:3:35:
    Occurs check: cannot construct the infinite type:
      b0 = b1 -> (a0, b0)

Рекурсию решить может, а вот такое - нет. Как дальше жить? :)

Comments

[deni-ok.livejournal.com]

А зачем такой тип нужен, какой у него смысл? Ну решим мы эту рекурсию через неподвижную точку для типов

data Mu f = In (f (Mu f))

data Bx b1 a0 x = Bx (b1 -> (a0, x))
  
type B0 b1 a0 = Mu (Bx b1 a0)

А дальше что?

[sassa-nf.livejournal.com]

а это я по мотивам поста про Iteratee. По сути Iteratee в изложении rssh генерируют вот такую вот цепочку fs для xs. Я попытался использовать трюк, выражающий unfoldr через zipWith, но вот с выводом типа получилась беда.