Tony Morris

@channingwalton I like to understand my PLs; I doubt I could ever understand Haskell's type system fully /cc @psnively @thecoda @dibblego

@msimoni @psnively @thecoda @dibblego the experimental bits I could understand, but something like type classes?

@channingwalton I mean all the extensions that Haskell needs to not get in the way /cc @psnively @thecoda @dibblego

@msimoni @channingwalton @psnively @thecoda those (GHC) extensions do not exist for the purpose of "not getting in the way."

@dibblego @msimoni @channingwalton @psnively @thecoda types only stay out of the way when you're programming a la ML style w/ no annotation

@cartazio @dibblego @msimoni @psnively @thecoda types can be ‘in the way’ in both good and bad ways. When it’s good, it’s really good …

@channingwalton @dibblego @msimoni @psnively @thecoda types are crucial to how I code. I could not pretend to be productive without them

@cartazio @dibblego @msimoni @psnively @thecoda Aren’t they crucial for all langs? Dyn langs require us to hold all the types in our head ;)