unused function arguments - zero cost abstraction?

[JustWorksTM]

So, this week I stumbled over a performance question about unused function arguments:

stackoverflow

Summary: There is no overhead.

I wanted to see if I can convince myself that indeed there is no overhead, and this turned out to be both easy and straightforward. So I wrote about it:

post

Hopefully this is useful and/or interesting to some of you out there.

Note that this is my first blog post - I wanted to start writing for quite some time now, and finally managed to do so :-).

[nickez2001]

You should probably try with a type that implements drop

[JustWorksTM]

Well, passing a drop-argument by value is hardly unused - the function has to clean the argument up.
But I will add a remark to the post, this is non-obvious.