Konwersja String na typ Konstruktora w Haskell

Question

Czy ktoś wie, czy istnieje funkcja w Haskell, który robi coś takiego:

"Int" -> Int 

"String" -> String 

"Bool" -> Bool 

tj. pobiera ciąg znaków reprezentujący nazwę konstruktora typu i konwertuje go do faktycznego konstruktora typów, zarówno w wyrażeniu, jak i we wzorcu.

edit: Moim nadrzędnym celem jest uproszczenie coś takiego:

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

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

w jednym meczu wzór, więc w zasadzie konwersji Dodaj lub Sub na sznurku, dodać „ja” do przodu, i konwertować to z powrotem do typu.

Answer 1

Jest to znacznie lepszy sposób byłaby kod tutaj bez jakiegokolwiek szablonu Haskell lub odbicia shenanigans po prostu łącząc swoje Add i Sub przypadków do jednego:

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 

ten sposób używamy typ danych bezpośrednie wyrażenie faktu, że operatory binarne są powiązane i dlatego mają podobne tłumaczenia. Nadal możesz wzorzec dopasowania na BinOp Add exp1 exp2, jeśli chcesz zrobić specjalny przypadek gdzieś dodać.

Answer 2

W jakim kontekście? Jest szablon Haskell i Data.Typeable, ale aby uzyskać naprawdę pomocną odpowiedź, musisz podać więcej szczegółów.

Answer 3

Cóż, oto problem.

"String" -> String 

To bełkot w Haskell-land, ponieważ "String" jest wartością, ale String jest typem. Możesz spróbować:

String -> a 

To nie robi, co chcesz. Powinieneś nauczyć się czytać podpisy typów, ponieważ jeśli nie będziesz w stanie odczytać podpisów typu, będziesz bardzo źle utalentowany w Haskell. Powyższy typ oznacza "Podaj mi ciąg znaków i mogę podać wartość dowolnego żądanego typu." W preludii z tą sygnaturą znajduje się funkcja, która nazywa się error, co nie jest tym, czego potrzebujesz.

To brzmi jak chcesz coś wzdłuż tych linii:

String -> TypeRep 

Niestety, nie takich funkcji. TypeRep nie tworzy instancji klasy Read.

Co ty jesteś faktycznie próbujesz zrobić tutaj? Jeśli powiesz nam, co faktycznie próbujesz zrobić, możemy pomóc Ci z tym problemem, zamiast próbować pomóc w rozwiązaniu tego problemu.

Answer 4

Nie można tego zrobić, ponieważ ciągi są danymi wykonawczymi, a typy muszą zostać całkowicie rozwiązane podczas kompilacji. Najlepszym prawdopodobnie można zrobić ze swoim przykładzie jest funkcja pomocnika, aby wyeliminować niektóre z powielania:

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 

Ale to nie może być rzeczywiście bardzo przydatna w dłuższej perspektywie, w zależności od tego, ile masz przypadki.

Ogólnie rzecz biorąc, dopasowywanie wzorców jest czymś, co działa na strukturach typów, więc musi być napisane na typ kompilacji w stosunku do konstruktorów typów. Jest to cena, jaką trzeba zapłacić za posiadanie naprawdę solidnego systemu typu statycznego.