6 Oct
2006
6 Oct
'06
7:45 a.m.
I assume you're talking about the type -- there is two typecheckings going on. The first one is at compile time, and that's when the type of the function (signature) is used. The second one is at runtime, in the C code (or equivalent). You need both.
The more work you put into the signature the easier it is to catch errors compile-time. But you don't *need* it, you /can/ use "(mixed...:mixed)".