Warum unterstützt ATS keine rekursiven Typen?

Question

Gemäß this answer "ATS" rekursive Typen "unterstützt". Was war der Grund, diese Funktion zu entfernen? Gibt es außerdem Pläne, es in Zukunft wieder einzuführen? TIA.

Answer 1

Die direkte Unterstützung rekursiver Typen würde es sehr viel aufwendiger machen, die Typgleichheit zu überprüfen, dh festzustellen, ob zwei Typen gleich sind. Außerdem können die meisten typischen Anforderungen für rekursive Typen durch die Verwendung von Datentypen erfüllt werden.

abstype fix_t(f: type -> type) 

prfun fold{f:type->type}(x: !f(fix_t(f)) >> fix_t(f)): void 
prfun unfold{f:type->type}(x: !fix_t(f) >> f(fix_t(f))): void 

Der folgende Link relevant sein können: Man kann auch so etwas wie einführen

https://groups.google.com/forum/#!msg/ats-lang-users/tfEnAR2vIOA/aqYgEwaGBAAJ;context-place=forum/ats-lang-users

Derzeit gibt es keinen Plan, wieder einzuführen rekursive Typen wieder in ATS.