I think the effectiveness of guessing what the function does by its parameters' types and its return type depends on whether or not the function performs side e

I think the effectiveness of guessing what the function does by its parameters' types and its return type depends on whether or not the function performs side effects. That said, if it doesn't, or can't (even better), then the name and types should be documentation enough.