DEV Community

Discussion on: Explain Pure Functions Like I'm Five

 
theodesp profile image
Theofanis Despoudis

True. Thats why though Haskell is often considered the "most functional" out of others, but not Purely functional, because the type system allows for any side effects to be encapsulated within the context of a type.

Thread Thread
 
idanarye profile image
Idan Arye

That claim is as meaningful as the claim that no computer is Turing complete because they all have finite memory.

Thread Thread
 
theodesp profile image
Theofanis Despoudis

They are if you ignore any resource limitations and thats the point really. A Turing machine is more of a mathematical model than a real world implementation as you cannot possibly express the notion of infinity in computer systems. There has to be an upper limit somewhere.