[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: More on dispatching by function return type
[ apologies to joe, who will get this twice; I always expect lists to
set reply-to to be the list. ]
Joe Marshall wrote:
> But this is just leading us to a situation where we'll have to design
> a type language expressive enough that one can reason about classes of
> output based on command line switches, and that isn't particularly
> on subject.
This has already been spotted in the wild; in aspectj the behavior of a
class depends on which other classes occur on the command-line.
If PL were a democracy, that would appear to be the right way to do it,
as I suspect aspectj's users outnumber haskell's by some margin. (I've
done absolutely no research to back this up tho).