Qu'est-ce qu'un système général pour écrire une fonction dans le style pointue?

Comme illustré par l'utilitaire PointPlare , il est possible de faire une telle conversion automatiquement. Cependant, le résultat est plus souvent obscurcié que l'amélioration. Si son objectif est d'améliorer la lisibilité plutôt que de le détruire, le premier objectif devrait être d'identifier pourquoi une expression a une structure particulière, trouvez une abstraction appropriée et construisez des choses de cette façon.

La structure la plus simple est simplement enchaînant des choses ensemble dans un pipeline linéaire, ce qui est une composition de fonction simple. Cela nous amène assez loin juste seul, mais comme vous l'avez remarqué, cela ne gère pas tout.

Une généralisation est de fonctionner avec des arguments supplémentaires, qui peuvent être construits progressivement. Voici un exemple: définir onresult = (. (.)) . Maintenant, appliquer Onresult N fois à une valeur initiale de ID vous donne la composition de fonction avec le résultat d'une fonction N-ARY. Nous pouvons donc définir comp2 = onresult (.) , puis écrivez comp2 non (&&) pour définir une opération NAND.

Une autre généralisation - qui englobe ce qui précède, réellement - est de définir les opérateurs qui appliquent une fonction à un composant d'une valeur plus grande. Un exemple ici serait premier et second dans contrôler.arrow , qui fonctionne sur 2-tuples. Les combinaisons de rédaction sémantique sont basées sur cette approche.

Un cas légèrement différent est lorsque vous avez une fonction multi-arguments sur certains types B et une fonction a -> b et devez les combiner dans un Fonction multi-arguments utilisant A . Pour le cas commun des fonctions 2-ary, le module data.function fournit le combinateur sur , que vous pouvez utiliser pour écrire des expressions telles que comparer `on` fst pour comparer 2-tuples sur leurs premiers éléments.

C'est une question plus délicieuse lorsqu'un argument unique est utilisé plus d'une fois, mais il existe des modèles récurrents significatifs qui peuvent également être extraits. Un cas commun annonce ici appliquer plusieurs fonctions à un seul argument, puis collectionne les résultats avec une autre fonction. Ceci arrive à correspondre à l'instance d'application pour les fonctions, qui nous permet d'écrire des expressions telles que (&&) <$> (> 3) <*> (<9) pour vérifier Si un numéro tombe dans une plage donnée.

La chose importante, si vous souhaitez utiliser l'une d'entre elles en code réel, est de penser à ce que l'expression signifie et comment cela se reflète dans la structure. Si vous faites cela, puis le refactue dans le style pointut gratuit à l'aide de combinaisons significatifs, vous ferez souvent l'intention du code plus clair que ce n'en serait autrement, contrairement à la sortie typique de PointPlare < / code>.