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: "John Wiegley" <johnw AT newartisans.com>
- To: "Soegtrop\, Michael" <michael.soegtrop AT intel.com>
- Cc: "coq-club\@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: Wed, 20 Jan 2016 11:32:03 -0800
- Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=jwiegley AT gmail.com; spf=Pass smtp.mailfrom=jwiegley AT gmail.com; spf=None smtp.helo=postmaster AT mail-pa0-f44.google.com
- Ironport-phdr: 9a23:IryRAxYkKY0pD1ha7Srmi93/LSx+4OfEezUN459isYplN5qZpMi+bnLW6fgltlLVR4KTs6sC0LqI9fm4ACdZuMbJmUtBWaIPfidNsd8RkQ0kDZzNImzAB9muURYHGt9fXkRu5XCxPBsdMs//Y1rPvi/6tmZKSV3BPAZ4bt74BpTVx5zukbvipduKO1wD3WPtKZpJbzyI7izp/vEMhoVjLqtjgjDomVBvP9ps+GVzOFiIlAz97MrjtLRq8iBXpu5zv5UYCfayV+0CQLdZFDUrNXwurI2u7EGbDFjH2nxJGF4RnxVUGQ/d2FWye5b6siL3sqA1jCybNs3/QLRyQjOv4LtxTwfAiSEbOjp/+2bS3J9KgbpfsS6m8lZdxI7SKL6UOfV6c7KXNYcYQmpHQe5XWjNIGJ+9dIIJFKwKOuMO/KfnoF5b5zm5BQ/kO+LixTtFlzW+ia890+I+OQfLwwU6A9MVuXLP6t7yMfFBAqiO0KDUwGCbPLtt0jDn5d2NK0h5rA==
- Organization: New Artisans LLC
>>>>> Soegtrop, Michael
>>>>> <michael.soegtrop AT intel.com>
>>>>> writes:
> Coq is not mentioned in the text, but in the graph it appears around rank
> 70..75 (the axis labeling is reversed when speaking of rankings). I think
> this is a very remarkable achievement!
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?
--
John Wiegley GPG fingerprint = 4710 CF98 AF9B 327B B80F
http://newartisans.com 60E1 46C4 BD1A 7AC1 4BA2
- [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.