v2.6.0

Additions

• $$typeMetadata built-in macro which gathers information on the provided type. This includes:
  • Properties and their names, whether they're optional or not, their stringified types, and their JSDoc tags.
  • Methods and their names, their return type, their parameter names and types, and their JSDoc tags.
• You can now access the type of repetition elements (#78):

  function $compareTypes<T extends unknown[]>(a: T, b: T) {
      +["[]", [a, b], <AT, BT>(aEl: AT, bEl: BT) => $$typeToString!<AT>() === $$typeToString!<BT>()];
  }
  
  console.log($compareTypes!(["abc", 2, false, 3], ["abc", 2, true, false]));
  // Transpiles to:
  console.log([true, true, false, false]);

• Logging to the console in the playground now displays the messages in a side-panel.

Changes

• Improved literal reduction with the logical OR and AND operators.
  • true literal || non literal, will be reduced to the true literal expression.
  • false literal || non literal, will be reduced to the non literal expression.
  • true literal && non literal, will be reduced to the non literal expression.
  • false literal && non literal, will be reduced to the false literal expression.

Bug fixes

• Fixed the call function not being present in the RawContext interface in the playground.
• Invalid code like {a: 1}.b; can longer be generated.
• Fixed #77.

Deprecations

Some parts of this library negatively impact the transformer's performance and make the source code more complex to maintain while serving a fairly niche purpose. If you find these features useful, please create an issue about it! If enough people use them they won't be removed.

• $$comptime macro - While cool to have something similar to Zig's comptime macros, it's way too limited. It can realistically only be used to validate arguments passed to functions, which should be done during runtime anyway.
• $$loadEnv macro - Requires an optional dependency, a similar result can be achieved using the $$readFile macro by putting your configuration in a JSON file.
• $$propsOfType macro - In favor of the $$typeMetadata macro.