[MLton] List comprehensions?

[skaller]

On Fri, 2007-06-01 at 20:41 +0200, Andreas Rossberg wrote:

> Well, generally speaking, they give you the same general abstraction 
> facility on the module level, that functional programmers wouldn't want to 
> miss on the term level. Granted, you will only rarely need this. But if you 
> look at the C++ template library, there actually are some uses of similar 
> constructions (which in C++ materialise as so-called template template 
> arguments).

Actually I don't think anyone uses them, there's another 
technique in C++: polymorphic (template) methods. These are actually
used in the Standard Library, in the allocator design.


-- 
John Skaller <skaller at users dot sf dot net>
Felix, successor to C++: http://felix.sf.net