Boost C++ Libraries: Ticket #5857: proto::function undocumented for use in grammars

Joel Falcou — Wed, 02 Nov 2011 18:45:40 GMT

proto::function is mainly to activate operator()(...) on proto types. Th euse of this tag as a way to define new function int he doc is just an exampel tied to the default_context. A better (as in more scalable) way to do so (lazy function) is to use make_expr as shown later.

I'll amend the documentation for the operator()() use case.

Eric Niebler — Mon, 19 Mar 2012 23:42:38 GMT

John, there is really nothing special to say about proto::function distinct from all the other operator metafunctions in Proto. The multiple uses of these metafunction is discussed here. Is that insufficient?

Also, proto::function doesn't "enable the function call operator for protoized types," which makes me think you were trying to say something else(?). Functions that need to return lazy expressions /could/ use proto::function (it is a metafuntion that generates expressions, as described in the above link), but the better tool for that job is proto::make_expr.

I feel like you went looking for something in the docs and didn't find it, but I'm not entirely sure what. Now that you know a little more, and you know where in the docs it's described, do you have any suggestions for making the docs more useful?

Joel Falcou — Tue, 20 Mar 2012 07:31:49 GMT

Eric i wonder if the example of making a new lazy function using proto::function is not detrimental and should be replaced/removed so the better make_expr solution is more proeminent.

anonymous — Tue, 20 Mar 2012 09:07:14 GMT

Eric, Joe,

My apologies, but this was all a while ago and I haven't used proto since the original discussion on the mailing list. I did look at the link you gave, but was short on time and just got more confused - I see no mention of lazy functions or proto::function there? So <shrug> I guess. I'm sorry I can't be more helpful, but there's something that just isn't clicking for me I guess :-(

status changed; resolution set

Eric Niebler — Wed, 21 Mar 2012 04:35:12 GMT

status new → closed
resolution → fixed

John, the link I gave doesn't specifically talk about proto::function, but it makes a general point about all of Proto's operator metafunctions -- of which there are a great many, including proto::function -- namely, that they can be used in many different capacities. They can compute new expression type, match those type, and transform those types. This seems to be one of those things that all new users of Proto struggle with. It's worth considering whether it indicates a flaw in Proto's design, a flaw in Proto's docs, or if it's Just One Of Those Things, like Haskell's monads, that are powerful but inherently hard to grok.

Joel, I had another look at the docs about creating lazy functions, and you're right. I overemphasize proto::function's role by a lot. I took another crack at it. Have a look here.

Closing this as fixed, but will continue to think about the overloaded (ab)use of Proto's operator metafunctions for Proto-11.