Un exemple pour le chronomorphisme

Question

Je ne comprends pas comment je peux créer un exemple avec le chronomorphisme. Je connais l'hylomorphisme (cata, ana) aussi je connais environ histo et futu. Mais je ne réalise pas d'exemple pour le chronomorphisme (peut-être un comportement comme dans Tardis monad).

lien https://github.com/ekmett/recursion-schemes/issues/42

également porté Ce n'est pas lié à Histomorphisms, Zygomorphisms and Futumorphisms specialised to lists car ne possède quelques exemples avec chronomorphism.

Answer 1

La plus grande utilisation des chronomorphismes consiste probablement à réduire un arbre de syntaxe nommé. En particulier, vous pouvez vous référer aux noms qui n'ont pas encore été traités ainsi que les noms qui ont déjà été traités .

Une autre chose que vous pouvez faire avec les chronomorphismes est le dynamorphisme de réécriture! Vous pouvez en savoir plus sur les dynamiques here. Un des exemples qu'ils citent sont les chiffres catalans. Je l'ai traduit à Haskell ci-dessous. Vous pouvez également trouver this utile. Il a un exemple qui utilise un futumorphisme pour construire un arbre et un catamorphisme pour le démolir (bien que ce soit occlus). Bien sûr, cette carte est en fait une autre spécialisation du chronomorphisme.