coq-club AT inria.fr
Subject: The Coq mailing list
List archive
RE: [Coq-Club] Coq around rank 70 of most popular computer languages according to redmonk survey
Chronological Thread
- From: "Soegtrop, Michael" <michael.soegtrop AT intel.com>
- To: John Wiegley <johnw AT newartisans.com>
- Cc: "coq-club AT inria.fr" <coq-club AT inria.fr>
- Subject: RE: [Coq-Club] Coq around rank 70 of most popular computer languages according to redmonk survey
- Date: Fri, 22 Jan 2016 12:34:30 +0000
- Accept-language: de-DE, en-US
- Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=michael.soegtrop AT intel.com; spf=Pass smtp.mailfrom=michael.soegtrop AT intel.com; spf=None smtp.helo=postmaster AT mga14.intel.com
- Ironport-phdr: 9a23:qTyFtBYvRPqe+qYUCFnZjE//LSx+4OfEezUN459isYplN5qZpcW4bnLW6fgltlLVR4KTs6sC0LqI9fm4BCdbsd6oizMrTt9lb1c9k8IYnggtUoauKHbQC7rUVRE8B9lIT1R//nu2YgB/Ecf6YEDO8DXptWZBUiv2OQc9HOnpAIma153xjLDsvcSLPk4T1HKUWvBbElaflU3prM4YgI9veO4a6yDihT92QdlQ3n5iPlmJnhzxtY+a9Z9n9DlM6bp6r5YTGY2zRakzTKRZATI6KCh1oZSz7ViQBTeIs1kbUmNerRtFDAzI/VmuXJDxtDTSsOdi0TOGPNb/S6tyUjOnufRFUhjt3W08MDM27HvQkog4qaNQoBuso1Y3l4vVa4GcOf44ZaTQcs8AQnJpX8BNWigHCYS5OdhcR9EdNPpV+tGu72AFqgGzUEz1XLvi
Dear John,
> At work I keep hearing the figure "1,000" as an approximation of the number
> of capable Coq programmers in the world. What would a closer number be
> now in 2016?
I have heard 100 ;-) so I found this rank 70 quite astonishing. Form what I
hear more and more universities offer lectures in Coq and a good fraction of
computer science students are taking these lectures. Maybe a large part of
the Coq question on stack exchange comes from students doing exercises - I
don't know. It might take a few more years until the students taking Coq
lectures now hit the industry, but it will happen.
Best regards,
Michael
Intel Deutschland GmbH
Registered Address: Am Campeon 10-12, 85579 Neubiberg, Germany
Tel: +49 89 99 8853-0, www.intel.de
Managing Directors: Christin Eisenschmid, Christian Lamprechter
Chairperson of the Supervisory Board: Nicole Lau
Registered Office: Munich
Commercial Register: Amtsgericht Muenchen HRB 186928
- [Coq-Club] Coq around rank 70 of most popular computer languages according to redmonk survey, Soegtrop, Michael, 01/20/2016
- Re: [Coq-Club] Coq around rank 70 of most popular computer languages according to redmonk survey, John Wiegley, 01/20/2016
- RE: [Coq-Club] Coq around rank 70 of most popular computer languages according to redmonk survey, Soegtrop, Michael, 01/22/2016
- RE: [Coq-Club] Coq around rank 70 of most popular computer languages according to redmonk survey, Talia Ringer, 01/22/2016
- RE: [Coq-Club] Coq around rank 70 of most popular computer languages according to redmonk survey, Soegtrop, Michael, 01/22/2016
- Re: [Coq-Club] Coq around rank 70 of most popular computer languages according to redmonk survey, John Wiegley, 01/20/2016
Archive powered by MHonArc 2.6.18.