I'm close to v1.0 for Amigo/Pascal.
So, Amigo has the main proposal.
1. Work with tuples. The types are single constructs for creation and deletion. It is related to the class constructions. Arrays, enums, sets, etc., are tuples. Strings are developed as tuples.
2. First-class function. They allow you to see classes, records, interfaces, etc. Moreover, these functions allow the creation of ancestors.
3. Generic types helped tuples and first-class functions.
4. Macros.
This 1-4 allows you to create Pascal, C++, C#, Java, etc. Moreover, it allows the creation of functional programmers: Lisp, Scheme, F#, etc., etc.
A.