[darcs-devel] darcs patch: allow submitting patches via HTTP POST in addition to ...
David Roundy
droundy at darcs.net
Tue Apr 1 13:58:53 UTC 2008
On Tue, Apr 01, 2008 at 02:54:17PM +0100, Eric Kow wrote:
> > I actually really dislike how we pass [DarcsFlag] all over the place, as
> > it's a very un-typed approach. You can't tell what information you're
> > passing in, or why, or what effect it will have.
>
> I wonder if the implicit parameters extension could be useful for
> helping in such a cleanup?
> http://www.cs.chalmers.se/~rjmh/Globals.ps
>
> The idea is that we could have the granular ADTs as you suggest, but
> pass them in via implicit parameters. Code written like this seems
> like it would be a little bit easier to modify: we just chuck another
> implicit parameter in the type signature [although this may go a far
> up the chain of calling functions]).
>
> And we could avoid making yet another monad. The extension seems
> simple enough to understand anyway. At least, I could understand it,
> which is a good sign.
I'm not particularly comfortable with implicit parameters, simply because
I've heard talk of removing them. That talk ended with the conclusion that
they couldn't be removed because a few people used them too much. But it
does make me worry about them.
David
More information about the darcs-devel
mailing list