Martin, I would be glad if you could add "more information about the relationship between 'functors' and 'type constructors'.
In general I find long complicated pages difficult to follow. It might be better to create more pages on specific related issues and link from one to another. The prefix SandBox... in the name is supposed to act like a kind of "draft". Most subscribers do not follow edits to SandBox... pages so one can edit and save these pages freely without generating a lot of email traffic or RSS feed noise. Once a SandBox... page is fairly stable it can be renamed and it's place in the Topic hierachy can be changed so navigation is more intuitive. Now we have both SandBoxMonad and SandBoxMonads and of course this does not make much sense in the long run. I re-used the page SandBoxMonad for my play with monads in Aldor since the previous contents of that page where not of much use. When I get more time to work on this I will eventually rename it appropriately. Actually there is quite a lot of stuff in SandBox... pages now that should be either deleted or tidied up and put somewhere else on the wiki if it is still of some use. In retrospect I still think the axiom wiki was a good idea but I did not appreciate how much time would eventually be required for editing content to keep it useful. Actually It seems like that with most wiki's I visit. :( Regards, Bill Page. On Tue, Nov 15, 2011 at 4:22 AM, Martin Baker <ax87...@martinb.com> wrote: > On Tuesday 15 Nov 2011 02:22:44 Bill Page wrote: >> Martin, >> >> I am glad you are trying to use the axiom-wiki. I will try to help as >> much as I can. I will comment on the substantive part of your email >> when I have more time. In the mean time you might want to take a look >> an example I am still working on here: >> >> http://axiom-wiki.newsynthesis.org/SandBoxMonad > > Yes I think that, with a topic such as implementing monads, it is good > to have all the relevant information and issues in one place. In a few > months time people may have forgotten the thread on this forum and > unless they happen to use the right search term, they may never find > the topic. > > In that spirit I think it would be good if the page had more > information about the relationship between 'functors' and 'type > constructors' and the practical issues involved with this (to capture > the information discussed on this thread before it gets lost in the > mist of time). For instance, List-monad is relatively easy to > implement because the List type already exists, but if someone wanted > to implement a specific monad it would be useful to have information > for defining an appropriate type. > > Martin > > -- > You received this message because you are subscribed to the Google Groups > "FriCAS - computer algebra system" group. > To post to this group, send email to fricas-devel@googlegroups.com. > To unsubscribe from this group, send email to > fricas-devel+unsubscr...@googlegroups.com. > For more options, visit this group at > http://groups.google.com/group/fricas-devel?hl=en. > > -- You received this message because you are subscribed to the Google Groups "FriCAS - computer algebra system" group. To post to this group, send email to fricas-devel@googlegroups.com. To unsubscribe from this group, send email to fricas-devel+unsubscr...@googlegroups.com. For more options, visit this group at http://groups.google.com/group/fricas-devel?hl=en.
