We would like a standard for checking function arity.
SRFI-102 proposes a way to check function arity:
Many Scheme systems provide mechanisms for inspecting the arity of a procedural value, making it a common feature, however there is no standard interface. As a result there is no portable way to observe the arity of a procedure.
Do we standardize it ?
Replying to [comment:1 kumoyuki]:
This only makes sense in the context of a major overhaul of the type system within Scheme. While I think we should do *that*, I am less than sure that doing *this* without doing that makes any sense at all, except as a case of rampant featuritis. No. Let WG2 handle it.
Ok, I agree to postpone this issue until a (dynamic) type system has been proposed.
The WG2 voted to reject function arity.
This only makes sense in the context of a major overhaul of the type system within Scheme. While I think we should do *that*, I am less than sure that doing *this* without doing that makes any sense at all, except as a case of rampant featuritis.
No. Let WG2 handle it.