[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