From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00 autolearn=ham
	autolearn_force=no version=3.4.4
X-Google-Thread: 103376,703c4f68db81387d
X-Google-Thread: 109fba,703c4f68db81387d
X-Google-Thread: 115aec,703c4f68db81387d
X-Google-Thread: f43e6,703c4f68db81387d
X-Google-Attributes: gid103376,gid109fba,gid115aec,gidf43e6,public
X-Google-Language: ENGLISH,ASCII
Path: 
 g2news1.google.com!news4.google.com!news.glorb.com!proxad.net!193.252.118.146.MISMATCH!news.wanadoo.fr!news.wanadoo.fr!not-for-mail
Sender: obry@PASCAL
Newsgroups: comp.lang.ada,comp.lang.c++,comp.realtime,comp.software-eng
Subject: Re: Teaching new tricks to an old dog (C++ -->Ada)
References: <4229bad9$0$1019$afc38c87@news.optusnet.com.au>
 <1110032222.447846.167060@g14g2000cwa.googlegroups.com>
 <871xau9nlh.fsf@insalien.org>
 <3SjWd.103128$Vf.3969241@news000.worldonline.dk>
 <87r7iu85lf.fsf@insalien.org> <1110052142.832650@athnrd02>
 <d0dkq6$781$1@titan.btinternet.com>
 <1110284070.410136.205090@o13g2000cwo.googlegroups.com>
 <395uqaF5rhu2mU1@individual.net>
 <1110377260.350158.58730@z14g2000cwz.googlegroups.com>
 <422f16d2$0$1089$9b4e6d93@newsread2.arcor-online.net>
 <uacpcg75q.fsf@obry.org> <d0nbts$bvl$1@s1.news.oleane.net>
From: Pascal Obry <pascal@obry.org>
Date: 09 Mar 2005 18:43:47 +0100
Message-ID: <uoedsemuk.fsf@obry.org>
Organization: Home - http://www.obry.net
User-Agent: Gnus/5.09 (Gnus v5.9.0) Emacs/21.3
MIME-Version: 1.0
Content-Type: text/plain; charset=iso-8859-1
Content-Transfer-Encoding: 8bit
NNTP-Posting-Date: 09 Mar 2005 18:43:49 CET
NNTP-Posting-Host: 82.120.30.69
X-Trace: 1110390229 news.wanadoo.fr 1219 82.120.30.69:2818
X-Complaints-To: abuse@wanadoo.fr
Xref: g2news1.google.com comp.lang.ada:8957 comp.lang.c++:44824
 comp.realtime:1146 comp.software-eng:4704
Date: 2005-03-09T18:43:49+01:00
List-Id: <comp.lang.ada>


Falk Tannh�user <falk.tannhauser@crf.canon.fr> writes:

> One example in C++:
> 
>    template<unsigned N> struct factorial
>    {
>      static unsigned const value = N * factorial<N-1>::value;
>    };
> 
>    // Partial template specialisation to terminate the recursion:
>    template<> struct factorial<0>
>    {
>      static unsigned const value = 1;
>    };
> 
> With this, 'factorial<7>::value' will be a compile time constant equal to
> 5040.

Ok, thanks. This is definitly a recursive definition. AFAIK there is no such
thing in Ada.

Pascal.

-- 

--|------------------------------------------------------
--| Pascal Obry                           Team-Ada Member
--| 45, rue Gabriel Peri - 78114 Magny Les Hameaux FRANCE
--|------------------------------------------------------
--|              http://www.obry.org
--| "The best way to travel is by means of imagination"
--|
--| gpg --keyserver wwwkeys.pgp.net --recv-key C1082595