On Saturday, 27 September 2014 at 11:40:19 UTC, Rikki Cattermole wrote:

These definitions can't work since Function and Atom need each other in
this recursive definition.

How to get out of this trap?
Do I have to drop Algebraic and go back to manual tagged unions?

Converting Function to a class. No where near ideal. But it'll work.

Interesting, I didn't expect this to work...
Got a longer workaround using some category theory and higher kinded types:
http://www.infognition.com/blog/2014/recursive_algebraic_types_in_d.html

Reply via email to