On Fri, 2006-01-20 at 09:43 +0000, Simon Peyton-Jones wrote:
| I guess the question is if people will actually start commenting on | functions. So I would vote for the addition to haddock and see what is | happening. Maybe we need then need to gather statistics about what links | are clicked most and check which ones of these are empty (and left the | user frustrated).
That reminds me. One very useful, but probably hard-to-implement, feature would be if the "User comment" link looked different if there were actually some comments at the other end of the link. "Is it worth clicking this?" thinks the user. Kind of like Amazon, which says "Click here to see 4 user reviews" or "Write the first review".
It's not impossible but would require server-side code; php or something. It'd need the wiki to have a server side API. Perhaps someone who knows about MediaWiki could comment on the feasibility of Simon's suggestion? Duncan