Copperbox revision 725.
Most of the examples have be changed to work with the Picture type. Arrow still needs doing.
Friday, July 31, 2009
Wumpus
Copperbox 724.
I've changed the Path example to use the Picture type. The Path example is the tardiest of the examples, but converting it did highlight a couple of improvements to make in Drawing.Basic so that Wumpus.PostScript can be hidden from client code at some point in the future.
I've changed the Path example to use the Picture type. The Path example is the tardiest of the examples, but converting it did highlight a couple of improvements to make in Drawing.Basic so that Wumpus.PostScript can be hidden from client code at some point in the future.
Wumpus
Copperbox revision 723.
More work on operations with the Picture type. I've updated the Basic example to build a composite Picture rather than use arbitrary monadic actions. Changing all the other examples is going to be a lot of work, and most of them aren't particularly exemplary (they are more visual tests that something works that examples of how to do something) but it will need to be done.
More work on operations with the Picture type. I've updated the Basic example to build a composite Picture rather than use arbitrary monadic actions. Changing all the other examples is going to be a lot of work, and most of them aren't particularly exemplary (they are more visual tests that something works that examples of how to do something) but it will need to be done.
Thursday, July 30, 2009
Wumpus
Copperbox revision 722.
I've sorted out the Frame module and made a type class that encompasses most of the relevant operations on frames. I suspect there will never be a lot of operations on frames in Wumpus. The most important one is coord which extracts the coordinates of a point in a frame into the standard Cartesian frame.
Something that I didn't really appreciate until today is that in points and coordinates are not synonymous in coordinate-free geometry (i.e the work of Tony DeRose and others at the University of Waterloo). This is a parallel of how vectors and points are different in affine geometry. One is free to use points as one likes in the coordinate-free approach but until they are extracted relative to a fixed frame they are considered "arbitrary".
For Wumpus this means I'm now happy with the types for creating lines that are Point -> Line. After I'd changed the Picture type to have Frame as the domain rather than Point, I was wondering what to do about the other types with Point as the domain (but where it seemed more natural) - I've concluded that they are fine.
I've sorted out the Frame module and made a type class that encompasses most of the relevant operations on frames. I suspect there will never be a lot of operations on frames in Wumpus. The most important one is coord which extracts the coordinates of a point in a frame into the standard Cartesian frame.
Something that I didn't really appreciate until today is that in points and coordinates are not synonymous in coordinate-free geometry (i.e the work of Tony DeRose and others at the University of Waterloo). This is a parallel of how vectors and points are different in affine geometry. One is free to use points as one likes in the coordinate-free approach but until they are extracted relative to a fixed frame they are considered "arbitrary".
For Wumpus this means I'm now happy with the types for creating lines that are Point -> Line. After I'd changed the Picture type to have Frame as the domain rather than Point, I was wondering what to do about the other types with Point as the domain (but where it seemed more natural) - I've concluded that they are fine.
Wumpus
Copperbox revision 721.
Minor updates - CDiagram.hs compiles again, and some type signatures have been simplified. I haven't found a way to get rid of undecidable instances in Core.Line though.
Minor updates - CDiagram.hs compiles again, and some type signatures have been simplified. I haven't found a way to get rid of undecidable instances in Core.Line though.
Wednesday, July 29, 2009
Wumpus
Copperbox revision 720.
I've added a couple of new Picture combinators, plus I've removed the code for the previous Picture type. I thought I did this with the last commit, but I'd actually commented it out.
I've added a couple of new Picture combinators, plus I've removed the code for the previous Picture type. I thought I did this with the last commit, but I'd actually commented it out.
Wumpus
Copperbox revision 719.
I've changed replaced the original Picture type with the new one. So of the replacement code (especially the functions for drawing dots) is quite convoluted, which makes me think I need some more combinators for working with frames.
I've changed replaced the original Picture type with the new one. So of the replacement code (especially the functions for drawing dots) is quite convoluted, which makes me think I need some more combinators for working with frames.
Subscribe to:
Posts (Atom)
About Me
- Stephen Tetley
- Disambiguating biog as there are a few Stephen Tetley's in the world. I'm neither a cage fighter or yachtsman. I studied Fine Art in the nineties (foundation Bradford 1992, degree Cheltenham 1992 - 95) then Computing part-time at Leeds Met graduating in 2003. I'm the Stephen Tetley on Haskell Cafe and Stackoverflow.