Indeed. I pointed this out and provided a link in my first post on this thread.
>You don't see them because they are implicit!
The fact that my function takes no arguments is implicit in the specification of my function. I know because I said the English sentence "The function that I have in mind takes no arguments".
You seem to be suggesting that I don't know what function I am thinking about but you do. This is a very peculiar hypothesis.
Your function does take implicit arguments. There's no way your Ruby function can return the current time ("now") without external dependencies that supply that time.
If you want to argue otherwise, you must provide this hypothetical implementation that complies with your specs. I'm telling you that your function effectively can't exist as you describe it. In order for your function to work it requires an implicit argument (the "world" if you want to be coarse, though in this case we know it's the time).
If you want to argue that
magical function is not magical function
that's fine, but also uninteresting. Magic is not bound by the constraints of the physical universe. We generally don't find arguing about leprechauns and unicorns for this reason (at least, not seriously).
You are asking me to provide the hypothetical implementation for a real-world function?
I don't know how to respond to this. Just observe the thing I am showing you. THAT is what I am talking about. It's right before your eyes - I took it from my head and made it real.
>If you want to argue that
I DON'T want to argue! All I am doing here is expressing myself - you are the one jumping down my throat.
This is me telling you that I am not interested in any social game of figuring out "who is right or who is wrong". If that's the game you are playing - I am happy to terminate the interaction.
What I mean by f() != f() in the abstract is precisely that Ruby program in the concrete. Nothing more - nothing less.
There is no room for "right" and "wrong" here. Those are moral judgments and I've committed no moral violation of any sort.
I'm asking you to provide the actual implementation of your hypothetical function now().
I don't need to know the implementation of the real function Time.now from Ruby because, without looking at its source code, I can tell you that it has implicit arguments.
How can I tell this? Because it's impossible for your Ruby program to tell the time without some kind of interaction with an external source (be it the computer clock, the internet or whatever); this source is your implicit parameter and it's why two invocations of your function don't return the same value. It is impossible for your function not to have this source of time, either implicitly or explicitly.
If you disagree, then please explain how your function tells time.
And I am asking you to provide the actual implementation of your hypothetical function equal().
I don't need to know the implementation of the real function == from any programming language because, without looking at any source code I can tell you that it has implicit arguments: a tautology.
If you disagree, then please explain how equality functions.
Indeed. I pointed this out and provided a link in my first post on this thread.
>You don't see them because they are implicit!
The fact that my function takes no arguments is implicit in the specification of my function. I know because I said the English sentence "The function that I have in mind takes no arguments".
You seem to be suggesting that I don't know what function I am thinking about but you do. This is a very peculiar hypothesis.