Ross Paterson
Is it helpful to blur the boundaries between the glue and the things being glued?
OK, but to replace ParserCombinators with Combinators is to forget what kind of glue we're talking about.
Oh, I agree with you there. What I'm saying is that trimming either half of the name, "Parser" or "Combinator", potentially loses a meaningful distinction.
System.Console.GetOpt?
Sorry, it's the Console I object to, as in System.Console.Readline, when it's for parsing the command line. There may be no console involved at all.
I always assumed "Console" was basically synonymous with "command-line". Are arguments ever passed to a program by some other means? Or is it the fact that getOpt just parses strings, regardless of where they came from (program arguments or otherwise)? Text.Parser.GetOpt Language.CmdLine.Options Language.Gnu.GetOpt Any better suggestions? Regards, Malcolm