Introduction to an ActionScript dialect

[ghost]

ShockScript is AS3, except that:

• Types are compile-time objects
• Instance traits are compile-time traits
• Properties are split into compile-time fixtures, virtual properties and trap properties.
• Semantics description is focusing in compile-time. QNames exist only in compile-time by default.
• Variable definitions or simple var declarations have type inferred.
• The type * is not the default one. Function expressions have signature types inferred in caller arguments.
• Function overloading is possible with the generic modifier.
• Operator overloading is possible.
• Meta methods and iterator methods are directly defined in user classes and enums...
• Primitive user types (aka. struct) use the meta-data [PrimitiveType]. They're described as types of interned-objects.

Features that might interest programmers from other languages:

• Fancy enum constants. Like 'bbq_turkey' instead of Fav.BBQ_TURKEY. This is casting, but the upcoming verifier detects invalid fancy identifiers for convenience.
• Null facility. Still just like AS3, user-defined and String types contain null, but the null-evasion type T! prohibits its occurrence (ReferenceError).

The common language overheads of ShockScript as usual are unchecked-exceptions and multithreading.

If you like the AS3 syntax you might like ShockScript. I've been wanting to make this language since half 2016.