Здравствуйте, Пельмешко, Вы писали:

П>Вопрос такой: можно ли достигнуть "хвостатости" рекурсии в таком случае:

Любую рекурсию можно преобразовать в хвостовую. В данном случае:

let gen n =
  let rec gen' c n =
    if n = 1 then c (ff 0)
    else gen' (func >> c) (n-1)
  gen' id n