|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.|
|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?)
|augustss||> (-1) `mod` 3|
|Korollary||Why do you need Eq anyway? Is this for an interpreter?|
|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"
|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
|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.|
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|