colah/ImplicitCAD — pull request #73 by bgamari (2012-11-22 20:12:38+00:00)
Title: Mirror3

Here is an implementation of the underlying transform for `Mirror3`. I have yet to implement the neccessary parser code for this, therefore it remains untested. For this reason, this isn't so much a pull request as it is a marker so that I don't lose track of this work. I'll let you know when it's ready to be pulled.

Also, not that I fixed an unnecessary rounded literal with a proper rational. That being said, I think this patch (b05db00) nicely demonstrates the insanity brought about by `SaneOperators`. The amount of polymorphism here is gratuitous at best and yet has very few benefits. The numeric typeclasses in the Prelude are written as they are for a good reason and while they may preclude use of the same operators in a general vector space, I for one would argue that this is actually a good thing. Use of explicit vector/scalar operators serve to clarify the code to both the compiler and the reader. I would suggest that we think about how to start a transition to a more reasonable handling of vectors and points. Specifically, I think Conal Elliott's `vector-space`