Referential transparency!
More mathematically tractible!
Better compiler optimizations!
More parallelizable!
continued...
