44. Type Signatures
• Tell you a “ton” about the function
• Very helpful when doing point free
• http://haskell.org/hoogle/
• http://ttic.uchicago.edu/~dreyer/course/
papers/wadler.pdf (theorems for free)
• https://vimeo.com/28069495 (data driven dev)
46. What’s Impure
• Mutations
• References to things outside the function
• Side effects (logging, db, http, ui)
• Given the same argument, it can give
different output