Re: Declarative constraints in practical terms

Bob Hairgrove wrote:
> On 26 Feb 2006 09:00:44 -0800, "Marshall Spight"
> <marshall.spight_at_gmail.com> wrote:
>
> >One thing I've been wishing for for a
> >while now is a programming language with a much more
> >powerful way to declare static properties.
>
> C++ templates can do this. These can be used to implement trait
> classes and policy classes which are enforced at compile-time. Check
> out "Modern C++ Design" by Andrei Alexandrescu and his Loki library as
> well as everything over at:
>
> http://www.boost.org

Agreed. The boost stuff, template metaprogramming, STL and Stepanov, all quite exciting. The one teeny downside to all of these, though, is that they require C++. (I guess Stepanov himself doesn't require C++. Or maybe he does!)

Marshall Received on Sun Feb 26 2006 - 19:36:40 CET