Yes you right, I am not exactly clear. My understanding of symbolic manipulation is the following (from wikipedia): "In mathematics and computer science, compu

Yes you right, I am not exactly clear. My understanding of symbolic manipulation is the following (from wikipedia): "In mathematics and computer science, computer algebra, also called symbolic computation or algebraic computation is a scientific area that refers to the study and development of algorithms and software for manipulating mathematical expressions and other mathematical objects." Now obviously if you have types in your language that make this easier than it is a win. I thought algebraic data types makes this easier. I might be wrong. On the pattern matching side, you are not concerned about the actual value of the variables in your expressions rather the patters those are matching to. That was my intention to show with the second URL in the previous comment, but again I might be wrong on that too.