REFS code is engineering, types are science April 6, 2020 One-minute read develop • philosophy haskell • type Origin