4 ms·
It's not just laziness. Functional programming is what happens to the universe when you eliminate the concept of Time. It is a mega abstraction over the what's
by crimsonalucard 9y ago
It's not just laziness. Functional programming is what happens to the universe when you eliminate the concept of Time. It is a mega abstraction over the what's really going on under the hood.
However we live in the real world and in the real world you cannot eliminate the concept of time, even in an abstraction such as functional programming. Therefore Functional programming is an utter lie.
Reasoning about the performance of a functional program is to peer through the lie and "reintroduce" time into this abstraction. This is why it it notoriously hard for functional programs to be reasoned about. Procedural programs are much more better for this in that regard.
- tome 9y agoThis is utter nonsense. Everything you wrote is somewhere between 90° and 180° wrong.
- crimsonalucard 9y agoI'm totally correct. You are completely unaware of what's going on. We can discuss this logically in the comments, you'll see. It's not going to pretty for you as my arguments will pick you apart piece by piece.
- hxegon 9y agosaying "I'm going to destroy your argument with logic" is not the same thing as actually destroying someone's argument with logic.
- crimsonalucard 9y agoLogically speaking, I never equated the two statements. It's up to him whether he wants to engage in a debate. Additionally, this guy just replied saying I was 180 degrees off angle without any explanation, how polite.
- akhilcacharya 9y ago>Functional programming is what happens to the universe when you eliminate the concept of Time. I've heard this a lot but still can't find a good code example to illustrate this. Any help?
- haskellandchill 9y agoThe statement makes no sense. See FRP for a take on how to handle time-varying behavior.
- crimsonalucard 9y agoIt does make sense. Man of course whenever the functional paradigm switches to IO things change. The functional program needs to have an exception somewhere or nothing gets done. I'm talking about the functional part of functional programming, not how the IO monad is implemented.
- crimsonalucard 9y agoLet me make my statement clearer. The FRP loop has a part that is not pure (IO). This is where time enters the picture. FRP is not 100% functional, no functional programming language is... but if you look at the functional part of a functional programming language you will see that it is immutable.
- crimsonalucard 9y agoImmutability is equivalent of eliminating time. To be unchanging is to be timeless.