News for hackers. Stuff that matters.

A comment on Resolving the Time Paradox Implied by Functional Programs. Parent comment

Re:Resolving the Time Paradox Implied by Functional Programs by phkahler on Sunday December 27, 2020 @10:47PM (#25556503)
>> But you can say "the video pauses at time t1" and "the video resumes at time t2", rather than restricting yourself to "the video is paused" or "the video is not paused".

Well then there is something fundamentally different about the video between T1 and T2 vs after T2. That is state - paused or playing. Word games don't change that.

[ Parent | on HN ]
Re:Resolving the Time Paradox Implied by Functional Programs by lmm on Monday December 28, 2020 @01:31AM (#25557222)
The video at T1.5 is paused, and the video at T2.5 is playing. Those are banal, ordinary facts; the difference between them shouldn't surprise us, any more than the fact that length of the string "hello" is 5 but the length of the string "goodbye" is 7. You only get confused if you imagine that there is somehow a single "state" of "whether the video is playing now" that somehow "changes", which is unfortunately what non-FP programmers tend to do.
[ Parent | on HN ]