|
|
|
|
|
|
by johnnyjeans
439 days 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. |
|
|