Définition d'un interprète pour la monade sans

Question

Dans l'ensemble purescript-free, il est un exemple de code définissant cet interprète:

teletypeN :: forall eff. NaturalTransformation TeletypeF (Eff (console :: CONSOLE | eff)) 
teletypeN (PutStrLn s a) = const a <$> log s 
teletypeN (GetLine k) = pure (k "fake input") 

Comment puis-je définir et exécuter un autre interprète où le type de retour est Array Int ou State String Int?

Answer 1

Vous ne pouvez pas interpréter à une valeur spécifique, car les interprètes sont fournis comme des transformations naturelles - forall a. f a -> g a. Le a ici ne peut pas être "touché" par la fonction qui fait l'interprétation.

Vous pouvez interpréter à Array ou State String, mais le a sera toujours déterminé par la structure que vous interprétez. Si vous savez que vous voulez seulement interpréter Free MyAlgebra Int -> Array Int alors tout cela fonctionnera quand même.