The Coq mailing list

[José Manuel Rodríguez Caballero <josephcmac AT gmail.com>]

Dear Emilio,

  I agree with you concerning the function of the Coq mailing list. Nevertheless, I tend to disagree with the statement

Such topics [diversity] are largely orthogonal to Coq and have been treated at depth

In order to seriously address the "diversity question", we need to classify the people into groups and to justify in a formal way that

It is no secret that the diversity situation in the Coq community
is quite dire, to put it softly.

Therefore, I propose the following concrete steps

(A) To develop a library in Coq in order to formalize the "intersectionality", including types like "woman", "man", "gay", "lesbian, "asian", "black", "while", etc. https://en.wikipedia.org/wiki/Intersectionality

(B) To measure the diversity in the Coq community by asking to the people from this community to which groups they belong. As far as I know, we ignore the diversity in our community with respect to sexual preferences.

(C) To define a function in Coq in order to decide, according to the numbers obtained in (B), whether there is a problem concerning diversity or not.

I am not interested in debate: this is all that I have to contribute to this topic. I consider that the only way for our community to seriously address such a problem is by means of Coq, in a politically-transparent way.

Kind Regards,

José M.

El lun., 4 feb. 2019 a las 21:38, Emilio Jesús Gallego Arias (<e AT x80.org>) escribió:

Emilio Jesús Gallego Arias <e AT x80.org> writes:

> Actual discussion on concrete steps to improve Coq's diversity situation
> and on the community is much welcome of course.

I meant to write "and on the upcoming community session is much ..."

E.