Convertir una cadena a un constructor de tipos en Haskell

Question

¿Alguien sabe si hay una función en Haskell, que hace algo como esto:

"Int" -> Int 

"String" -> String 

"Bool" -> Bool 

decir. toma una representación de cadena de un nombre de constructor de tipo y la convierte al constructor de tipo real, tanto en una expresión como en un patrón.

edición: Mi objetivo general es el de simplificar algo como:

transExp (Add exp1 exp2) vars 
    = transExp exp1 vars ++ transExp exp2 vars ++ [IAdd] 

transExp (Sub exp1 exp2) vars 
    = transExp exp1 vars ++ transExp exp2 vars ++ [ISub] 

En un único ajuste de patrones, así que básicamente convertir Agregar o Sub en una cadena, añadir una "I" en la parte delantera, y convertir volver a un tipo.

Answer 1

Hay una forma mucho mejor para refactorizar su código aquí sin ningún Haskell plantilla o travesuras reflexión simplemente uniéndose a sus Add y Sub casos en una sola:

data BinOp = Add | Sub | ... 

data Expr = ... 
      | BinOp BinOp Expr Expr 
      | ... 

transExp (BinOp op exp1 exp2) vars 
    = transExp exp1 vars ++ transExp exp2 vars ++ [transOp op] 
... 

transOp Add = IAdd 
transOp Sub = ISub 

De esta manera, estamos utilizando el tipo de datos para expresar directamente el hecho de que los operadores binarios están relacionados, y por lo tanto tienen traducciones similares. Todavía puede coincidir con el patrón en BinOp Add exp1 exp2 si desea hacer un caso especial para la adición en alguna parte.

Answer 2

¿En qué contexto? Hay Template Haskell y Data.Typeable, pero para una respuesta realmente útil debe proporcionar más detalles.

Answer 3

Bueno, aquí está el problema.

"String" -> String 

Eso es un galimatías en Haskell-tierra, porque "String" es un valor, pero es un tipo String. Así que puede intentar esto:

String -> a 

Esto no hace lo que quiere. Debería aprender a leer las firmas de tipo, porque si no puede leer las firmas de tipo, va a estar muy discapacitado en Haskell. El tipo anterior significa, "Dame una cadena y puedo darte un valor de cualquier tipo que solicites". Hay una función en el preludio con esta firma, se llama error, que no es lo que quieres.

Suena como quieres algo en este sentido:

String -> TypeRep 

Lo sentimos, no hay tal función. TypeRep no instancia la clase Read.

¿Qué estás haciendo en realidad tratando de hacer aquí? Si nos dice lo que realmente está tratando de hacer, podemos ayudarlo con ese problema en lugar de tratar de ayudar con este problema.

Answer 4

No puede hacerlo, porque las cadenas son datos de tiempo de ejecución y los tipos deben resolverse por completo en tiempo de compilación. Lo mejor que puede hacer probablemente con su ejemplo es una función de ayuda a eliminar parte de la duplicación:

helper exp1 exp2 vars op = transExp exp1 vars ++ transExp exp2 vars ++ [op] 
transExp (Add exp1 exp2) vars = helper exp1 exp2 vars IAdd 
transExp (Sub exp1 exp2) vars = helper exp1 exp2 vars ISub 

Pero esta realidad no puede ser muy útil en el largo plazo, dependiendo del número de casos que tiene.

En general, la coincidencia de patrones es algo que se ejecuta en contra de las estructuras de tipos, por lo que debe describirse en tipo de compilación contra los constructores de tipo concreto. Este es el precio que tiene que pagar por tener un sistema de tipo estático realmente sólido.