Tony Morris

@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 ;)

@channingwalton @dibblego @msimoni @psnively @thecoda convince folks of that and you'll win a peace prize or something.

@cartazio If spj can't do it, how could I possibly expect to? /cc @channingwalton @dibblego @msimoni @psnively