On Monday, 13 July 2015 at 12:53:12 UTC, deadalnix wrote:
On Monday, 13 July 2015 at 11:36:48 UTC, Jack Applegame wrote:Yes, that is I intended.It is a pretty useless example, just for demonstrating the lack of support polymorphic recursive data types.So the point is that we should add feature to the language to support useless use cases ?
Not all cases are useless. For example, typical functional programming patterns like recursive compile-time trees and lists.