pchiusano | can somebody take a look at my paste and help |

jcreigh | pchiusano: if you "import Text.Show.Functions", you can solve the "Show" problem. |

pchiusano | ok |

Korollary | pchiusano: I think the Eq problem stays |

jcreigh | pchiusano: I don't know of any simple way to do Eq other than defining it manually, however. |

pchiusano | so, I have to define Eq manually for my entire datatype...? because there is a single ctor for which the default impl doesn't apply? |

Korollary | I dont think you can do it manually either. How are you going to prove that two functions are equal? |

jcreigh | well, you can define Eq for Expr -> Expr, and then derive Eq for Expr. (I assume you would just always return False?) |

pchiusano | jcreigh: yes |

dmead | sighface |

augustss | > (-1) `mod` 3 |

lambdabot | 2 |

Korollary | Why do you need Eq anyway? Is this for an interpreter? |

pchiusano | ya |

TomMD | let f = (\x -> sum (map fromEnum (x::String))) in f "Haskell" > f "Python" > let f = (\x -> sum (map fromEnum (x::String))) in f "Haskell" > f "Python" |

lambdabot | True |

TomMD | excellent. |

Korollary | pchiusano: You can implement the interpreter without the Eq instance. Why do you need Eq? |

dmead | pchiusano, you could make axiom a different type |

pchiusano | well, I need some way of comparing the equality of expressions |

dmead | i'll annotate |

pchiusano | ya, dmead, I was going to ask you to show me |

Korollary | You just rephrased it. I still don't know why you need equality between expressions. |

pchiusano | hehe |

campusblo | hi is there a way to convert haskell to php? |

Korollary | I don't know of such a compiler. |

pchiusano | dude, just trust me, I need it! plus, that is not entirely the point |

dmead | pchiusano, what do you want from Expr -> Expr an actual mapping? or just to show an arrow |

pchiusano | er, what do you mean? |

dmead | you don't need to type -> i think |

pchiusano | you mean to display it? |

dmead | just Axoim Expr Expr yea |