Entwerfen eines monadischen Typs

StackOverflow https://stackoverflow.com/questions/5045663

  •  15-11-2019
  •  | 
  •  

Frage

Ich brauche Hilfe, um einen monadischen Datentyp zu entwerfen. Ich scheine Schwierigkeiten zu haben, meinen Kopf um die Idee umzuwandeln, aber ich weiß definitiv, was ich will.Nur der Typ Checker scheint in dieser Angelegenheit etwas überzeugend zu sein.

Was ich will, ist ein DatentypPrimitive, der ein Monar sein kann.Funktionen davon sind grundsätzlich primitive Primitive, und ich möchte sie kombinieren können, und die Kombinationen sind auch Primitive, ähnlich wie der generationspflichtige Typ in der Bibliothek generationspflichtig.Die eigentliche Zeichnung muss jedoch mit einem generationspflichtigen MONAD erfolgen.

Übrigens habe ich auch einen generationspflichtigen Klasse generas: generasacodicetagpre.

und ich möchte, dass jedes Primitiv natürlich anziehbar ist.Bin dankbar für jeden Eingang.

War es hilfreich?

Lösung

I don't understand why you think this should be a monad. What's monadic about it?

You should design the API you want first, and incrementally think about how to abstract it.

Incidentally, Brent's diagrams library has a very nice compositional API that could provide some good ideas: http://byorgey.wordpress.com/2008/04/30/new-haskell-diagrams-library/

Lizenziert unter: CC-BY-SA mit Zuschreibung
Nicht verbunden mit StackOverflow
scroll top