J'essaie d'utiliser des flèches et je suis confronté à un problème ennuyeux - je dois fournir des types explicites pour toutes les fonctions que j'ai implémentées. Si je fournis pas les sorties GHC un
Comment créer un Arrow de Free et MonadFree? class (Functor f, Monad m) => MonadFree f m where ...
data Free f a = Impure (f (Free f a)) | Pure a
MonadFree contient 2 paramètres m et f, mais Kleis
J'apprends à utiliser les flèches dans Haskell et j'ai implémenté l'analyseur suivant. Tous les tests fonctionnent très bien, sauf pour les deux derniers essais: test (pZeroOrMore pDigit) "x123abc"
t