Practical programming aims to minimize or get rid of Negative effects. The lack of Negative effects can make it simpler to do formal verification of the plan. The functional language Haskell gets rid of Unwanted effects for instance I/O and other stateful computations by replacing them with monadic actions.Industrial crew project - 30 credits This