On Sat, Nov 9, 2013 at 9:46 AM, Andrei Alexandrescu <SeeWebsiteForEmail@erdani.org> wrote:
On 11/9/13 9:10 AM, Kelet wrote:
Are there any plans for adding compile-time checking or recursive
data types to std.variant's Algebraic? I think algebraic data
types are important and the current implementation is not
suitable to solve a good portion of problems that the intended
implementation could.

Could this be a possible goal for 2.065? If not, are we lacking
demand? Lacking someone willing to work on it?

Yah, I think we should add that. Please add it to the wiki.

Andrei


Regarding recursive/nested variants I posted code back in June: 
thread:
http://forum.dlang.org/thread/xaganckgcdkfcmjamogh@forum.dlang.org#post-mailman.1054.1371029915.13711.digitalmars-d:40puremagic.com
code: