MIME-Version: 1.0
References: <CACKZBPU39WashARzg94y3YLNM=H78kNaD7ojskwGCOAej-mSGQ@mail.gmail.com> <51ECE2AC.7020806@morningstar2.co.uk>
            <CACKZBPVV7hkeQYOP328fVYNOPpwc9zTiQF1hKJ1bUDzJMp+Mqw@mail.gmail.com> <51ED4B60.8040900@morningstar2.co.uk>
            <CACKZBPW5bM=Pw-Vk5FapiPxCXwNb9LMiG7Ri2chGWgKCGHfE5g@mail.gmail.com>
            <CANQYN6zjYJUun1V7=FeL2O-nGsYKriU0EyhoqFC7zF2vyK=g3w@mail.gmail.com>
Content-Type: text/plain; charset=ISO-8859-1
Message-ID:  <CACKZBPVEBiucGeH_4HrwiQkRZEcu2_OKqfTkv=WL9qgiaGM0sw@mail.gmail.com>
Date:         Tue, 30 Jul 2013 23:51:28 +0200
Reply-To: Mailing list for the LaTeX3 project
              <LATEX-L@LISTSERV.UNI-HEIDELBERG.DE>
Sender: Mailing list for the LaTeX3 project <LATEX-L@LISTSERV.UNI-HEIDELBERG.DE>
From: Michiel Helvensteijn <mhelvens@GMAIL.COM>
Subject: Re: Propagation of 'global'ness
To: LATEX-L@LISTSERV.UNI-HEIDELBERG.DE
In-Reply-To:  <CANQYN6zjYJUun1V7=FeL2O-nGsYKriU0EyhoqFC7zF2vyK=g3w@mail.gmail.com>
Precedence: list
Envelope-To: <rainer.schoepf@GMX.NET>
Status: R

On Wed, Jul 24, 2013 at 12:27 AM, Bruno Le Floch <blflatex@gmail.com> wrote:

> While we are talking of datastructure, hence are not very far from
> objects, let me ask a question: do we want function polymorphism?  In
> other words, do we want the ability for a function to switch behavior
> depending on the type of its argument, e.g., letting us provide
> \obj_to_str:N <any object>?

Indeed! You'd have to implement this for method calls anyway (see
below). I suggest you make this optional. Do I dare suggest a
dedicated argument specifier (such as O)? :-)

I also propose that methods (get:n) are simply functions with a
polymorphic first parameter (\obj_get:On). That is to say, when
there is the one, there should always be the other.

-- 
www.mhelvens.net