4 ms·
As others have said, a pure program is a useless program. The only place stuff like that has in this world is as a proof assistant. What I will add is look up
by johnnyjeans 2y ago
As others have said, a pure program is a useless program. The only place stuff like that has in this world is as a proof assistant.
What I will add is look up how the GHC runtime works, and the STGM. You may find it extremely interesting. I didn't "get" functional programming until I found out about how exotic efficient execution of functional programs ends up being.