Re: [Haskell] Guidelines for respectful communication

2018-12-06 Thread Jonathan Lange
I normally lurk here, but I agree with Philippa, and am grateful to her for saying what I was thinking. In particular, her suggestion about pairing guidelines for respectful communications with guidelines for what to do when things break down is an excellent one, and has worked well in other

Re: [Haskell] Guidelines for respectful communication

2018-12-06 Thread Philippa Cowderoy
I lack the energy to contribute to GHC directly, but these guidelines are far too easy to abuse by someone acting in bad faith and we know that bad faith actors have been adjacent to our community and acted on things that have taken place within it. From where I'm sitting, guidelines like

Equality constraints (~): type-theory behind them

2018-12-06 Thread Anthony Clayden
The (~) constraint syntax is enabled by either `GADTs` or `TypeFamilies` language extension. GADTs/Assoc Data Types/Assoc Type Synonyms/Type Families arrived in a series of papers 2005 to 2008, and IIRC the development wasn't finished in full in GHC until after that. (Superclass constraints took

[Haskell] Guidelines for respectful communication

2018-12-06 Thread Simon Peyton Jones via Haskell
Friends As many of you will know, I have been concerned for several years about the standards of discourse in the Haskell community. I think things have improved since the period that drove me to write my Respect email,

Guidelines for respectful communication

2018-12-06 Thread Simon Peyton Jones via Glasgow-haskell-users
Friends As many of you will know, I have been concerned for several years about the standards of discourse in the Haskell community. I think things have improved since the period that drove me to write my Respect email,