einen Dolmetscher für den freien Monade definieren

Question

Im purescript-free Paket gibt es ein Codebeispiel dieses Interpreter definieren:

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

Wie kann ich definieren und einen anderen Interpreter ausgeführt, wo der Rückgabetyp Array Int oder State String Int ist?

Answer 1

Sie können nicht auf einen bestimmten Wert interpretieren, da die Interpreter als natürliche Transformationen bereitgestellt werden - forall a. f a -> g a. Die a kann hier nicht von der Funktion "berührt" werden, die die Interpretation ausführt.

könnten Sie zu Array oder State String, interpretieren aber die a wird immer durch die Struktur bestimmt werden Sie zu interpretieren. Wenn Sie wissen, dass Sie nur Free MyAlgebra Int -> Array Int interpretieren wollen, dann wird das alles trotzdem funktionieren.