coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] functor application

From: "Robert Merkin" <bobmerk AT earthlink.net>
To: <coq-club AT inria.fr>
Subject: Re: [Coq-Club] functor application
Date: Sat, 29 Oct 2016 00:47:18 -0400
Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=bobmerk AT earthlink.net; spf=None smtp.mailfrom=bobmerk AT earthlink.net; spf=None smtp.helo=postmaster AT elasmtp-galgo.atl.sa.earthlink.net
Domainkey-signature: a=rsa-sha1; q=dns; c=nofws; s=dk20050327; d=earthlink.net; b=p4Te6Hjqe6ln0VwovofQrZ7ShtHtEBmCmFWHqbUSPH0MbyLW9vceQdhhik7uYk4+; h=Received:Message-ID:Reply-To:From:To:References:In-Reply-To:Subject:Date:MIME-Version:Content-Type:Content-Transfer-Encoding:X-Priority:X-MSMail-Priority:X-Mailer:X-MimeOLE:X-ELNK-Trace:X-Originating-IP;
Ironport-phdr: 9a23:bRwH3xY+xBR1S4/MHrPyJED/LSx+4OfEezUN459isYplN5qZpc69bnLW6fgltlLVR4KTs6sC0LuM9f+8EjxfqdbZ6TZZL8wKD0dEwewt3CUeQ+e9QXXhK/DrayFoVO9jb3RCu0+BDE5OBczlbEfTqHDhpRQbGxH4KBYnbr+tQt2a3IyL0LXm8JrKJg5MmTCVYLVoLRzwox+H5fMbmY9zFqFkgCHOqHZSZ6we4G5yJlOV1V6o7MC6+ZN58Axdsug998pBV6a8eakkG+92FjMjZioP48fmrwWLBS6C/HgdVC9exhBPCQ3I9hLSU57rriv+t+x+ni+XIZulHvgPRT2+4vIzG1fTgyAdOmth/Q==

In Russian it is called a Matryoshka doll. This wiki shows photos, and word Matryoshka in Cyrillic alphabet.

https://en.wikipedia.org/wiki/Matryoshka_doll

A popular faux Matryoshka contains every leader of Russia and USSR/CCCP, from Tsar Nicholas II (innermost) to Vladimir Putin (outermost, largest).

----- Original Message ----- From: "Laurent Thery" <Laurent.Thery AT inria.fr>
To:
<coq-club AT inria.fr>
Sent: Friday, October 28, 2016 4:20 AM
Subject: Re: [Coq-Club] functor application

On 10/28/2016 10:17 AM, Soegtrop, Michael wrote:

Dear Laurent,

It is a kind of chinese doll

In Germany we call it a Russian doll. Indeed the module structure of many libraries has similarity with this picture:

In french too, my brain simply merges russian doll and chinese puzzle ;-)

[Coq-Club] functor application, Patricia Peratto, 10/27/2016
- Re: [Coq-Club] functor application, Laurent Thery, 10/28/2016
  - RE: [Coq-Club] functor application, Soegtrop, Michael, 10/28/2016
    - Re: [Coq-Club] functor application, Laurent Thery, 10/28/2016
      - Re: [Coq-Club] functor application, Robert Merkin, 10/29/2016
- RE: [Coq-Club] functor application, Soegtrop, Michael, 10/28/2016