Possibly the best name for a programming language ever

Coq.

I would love to see this adopted at the Enterprise level. Could you imagine slipping sentences like these into your next corporate-drivelspeak document?

The vendors have really bent over backwards to make introducing Coq as painless as possible.

We don't believe in shoving Coq down people's throats. In fact, we've found that once people have had a taste of Coq, they never want to go back.

Here's hoping.

1 comment to Possibly the best name for a programming language ever

  • Norman Diamond

    I like your sillypseudoquotes. Unfortunately I can think of how corporations would avoid it. You know how? They would use your profession!

    You see, the word Coq can be translated to English as Cock, which would preserve the funniness of your sillypseudoquotes.

    Unfortunately there’s an alternative translation in English.

Leave a Reply

 

 

 

You can use these HTML tags

<a href="" title=""> <abbr title=""> <acronym title=""> <b> <blockquote cite=""> <cite> <code> <del datetime=""> <em> <i> <q cite=""> <strike> <strong>