As some of you know I've been working on a rewrite of the diagrams library for a while now. Unfortunately I've been very busy and won't really have time to work on it until at least September (probably later). However, I think now is good time to discuss the direction of the rewrite so when I'm finally ready to work on it again we're all on the same page.
Splitting out a separate library, geometry, for all things geometry based (paths etc.). In addition diagrams-core would be merged with the remaining parts of diagrams-lib.
Removal of the backend token in the
It would be great if I could get everyone's opinions on at least the main points. If you like I can do a writeup about why I'd like the backend token to go. We can discuss the smaller changes over the next few months, either here or github or on irc.
If everyone's happy with splitting out geometry I can move it over to the diagrams organisation. It still needs some finishing touches but it's pretty much there.
Thanks for kicking this off --- sorry I failed to follow up on my promise to send out such an email myself!
Personally I am all for splitting out a 'geometry' library (and merging the rest of diagrams-core with diagrams-lib then sounds fine). This is something people have long been asking for, but I had never figured out a good way to do it.
I would be interested to read a fuller writeup of your rationale for getting rid of the backend token type.
Is the idea to have an abstract geometry package which can be rendered by the diagrams package or have I completely misunderstood?Is this a first step or are there other steps? The geometry proposal looked very biased towards 2D and 3D Euclidean geometry. For the sort of things possible take a look at http://sagemanifolds.obspm.fr/. It is absolutely brilliant for doing and rendering differential geometry. I wrote a little article on the mercator projection using it: https://idontgetoutmuch.wordpress.com/2016/11/24/mercator-a-connection-with-torsion/. I am sad I can't do this in Haskell but I can dream.
That's great! I'm glad we're starting to get eager people using diagrams-2.0. You're gui applications look cool, I'm happy my performance improvements are noticeable in real applications.