That's pretty nice - like CLOS multiple dispatch with arbitrary predicates rather than types.
Are there any restriction on what the code in the guards can do?
Are there any restriction on what the code in the guards can do?
But the guard code are just macros, so... ;)
But I do believe that Erlang underneath does have actual limits.