Skip to Content.
Sympa Menu

coq-club - Re: [Coq-Club] Coq around rank 70 of most popular computer languages according to redmonk survey

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



Archive powered by MHonArc 2.6.18.

Top of Page