Existe-t-il un moyen d'affirmer qu'une fonction est reconnue comme récursive en queue par le compilateur ?

Question

Disons que j'ai écrit une fonction en Haskell et que je veux affirmer qu'elle est récursive en queue et qu'elle sera optimisée par le compilateur. Existe-t-il un moyen de le faire ?

Je sais qu'il y a un moyen de le faire en Scala avec @tailrec annotation.

Exemple :

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)
  }
}

Answer 1

En ce qui concerne GHC 8.8.2, la récursion de queue ne peut pas être affirmée avec force par un pragme ou un mot-clé.