| 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 |