Re: [boost] ML Interpreter for Template Metaprogramming

From: David Abrahams (dave_at_[hidden])
Date: 2002-10-03 06:52:30

Vesa,

This is cool! How sophisticated is the pattern-matching for function
arguments?

-----------------------------------------------------------
           David Abrahams * Boost Consulting
dave_at_[hidden] * http://www.boost-consulting.com

----- Original Message -----
From: "Vesa Karvonen" <vesa_karvonen_at_[hidden]>
To: <boost_at_[hidden]>
Sent: Thursday, October 03, 2002 8:05 AM
Subject: [boost] ML Interpreter for Template Metaprogramming

> As a weekend project, I implemented a prototype interpreter for an
ML-like
> programming language using C++ templates. The intention was to create a
> convenient way to express algorithms rather than just boost up the the
> template mechanism a bit. Therefore the syntax and evaluation are
separated
> so that it isn't necessary to complicate algorithms by explicitly
> introducing laziness. Unfortunately the interpretive nature of the
technique
> makes it about 20x slower than direct use of the C++ template mechanism.
> Nevertheless I think that this might interest people who can see how
> painstaking contemporary metaprogramming techniques are.