[Haskell-cafe] Type-Level Programming

[Bulat Ziganshin]

Hello Gábor,

Saturday, June 26, 2010, 4:29:28 PM, you wrote:

> It's interesting how C++ is imperative at the term level and
> functional at the type level

or logic? it supports indeterminate choice


-- 
Best regards,
 Bulat                            mailto:Bulat.Ziganshin at gmail.com