> side effects can introduce bugs > real world business logics often does require side effects > you suddenly need to start hacking your clean functional appr

> side effects can introduce bugs > real world business logics often does require side effects > you suddenly need to start hacking your clean functional approach These are great arguments as to why you need: a) A type system which tracks effects b) A language which makes refactoring safe and easy