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

Допустим, я написал функцию на Хаскеле и хочу сказать, что она хвостовая рекурсивная и будет оптимизирована компилятором. Есть ли способ сделать это?

Я знаю, как сделать это в Scala с аннотацией @tailrec.

Пример:

import scala.annotation.tailrec

class Factorial2 {
  def factorial(n: Int): Int = {
    @tailrec def factorialAcc(acc: Int, n: Int): Int = {
      if (n <= 1) acc
      else factorialAcc(n * acc, n - 1)
    }
    factorialAcc(1, n)
  }
}

Ответы