This demonstration presents the case that software dominated by side effects can be developed with the precision and efficiency we expect from Haskell by utilising purely functional data structures extended static checking and property - based testing .
Purely functional data structures are an expressive type system .
This demonstration presents the case that software dominated by side effects can be developed with the precision and efficiency we expect from Haskell by utilising purely functional data structures , an expressive type system , extended static checking and property - based testing .