I suppose it has to do with being stateless.

I just loved learning about lambda calculus.

I think the idea is to remove complexity by never dealing with state, so you just have one long reduction till you get to the final state...

But someone who's more into lambdas etc should speak about this and not me (a weirdo)