[WIP] compiler: extern fn

cspell.yaml

@@ -134,6 +134,7 @@ words:
   - lzutf
   - MACVMIMAGE
   - MACVMIMAGEM
+  - marshal
   - mday
   - mgmt
   - mgmtplane
@@ -257,6 +258,7 @@ words:
   - Ungroup
   - uninstantiated
   - unioned
+  - unmarshal
   - unparented
   - unprefixed
   - unprojected

packages/compiler/generated-defs/TypeSpec.Prototypes.ts-test.ts

@@ -7,4 +7,4 @@ import type { TypeSpecPrototypesDecorators } from "./TypeSpec.Prototypes.js";
 /**
  * An error here would mean that the exported decorator is not using the same signature. Make sure to have export const $decName: DecNameDecorator = (...) => ...
  */
-const _: TypeSpecPrototypesDecorators = $decorators["TypeSpec.Prototypes"];
+const _decs: TypeSpecPrototypesDecorators = $decorators["TypeSpec.Prototypes"];

packages/compiler/generated-defs/TypeSpec.ts-test.ts

@@ -7,4 +7,4 @@ import type { TypeSpecDecorators } from "./TypeSpec.js";
 /**
  * An error here would mean that the exported decorator is not using the same signature. Make sure to have export const $decName: DecNameDecorator = (...) => ...
  */
-const _: TypeSpecDecorators = $decorators["TypeSpec"];
+const _decs: TypeSpecDecorators = $decorators["TypeSpec"];

packages/compiler/lib/std/reflection.tsp

@@ -11,3 +11,4 @@ model Scalar {}
 model Union {}
 model UnionVariant {}
 model StringTemplate {}
+model Type {}

packages/compiler/src/core/binder.ts

@@ -13,6 +13,7 @@ import {
   EnumStatementNode,
   FileLibraryMetadata,
   FunctionDeclarationStatementNode,
+  FunctionImplementations,
   FunctionParameterNode,
   InterfaceStatementNode,
   IntersectionExpressionNode,
@@ -133,7 +134,7 @@ export function createBinder(program: Program): Binder {
 
     for (const [key, member] of Object.entries(sourceFile.esmExports)) {
       let name: string;
-      let kind: "decorator" | "function";
+      let kind: "decorator" | "function" | "template";
       if (key === "$flags") {
         const context = getLocationContext(program, sourceFile);
         if (context.type === "library" || context.type === "project") {
@@ -152,6 +153,19 @@ export function createBinder(program: Program): Binder {
             );
           }
         }
+      } else if (key === "$functions") {
+        const value: FunctionImplementations = member as any;
+        for (const [namespaceName, functions] of Object.entries(value)) {
+          for (const [functionName, fn] of Object.entries(functions)) {
+            bindFunctionImplementation(
+              namespaceName === "" ? [] : namespaceName.split("."),
+              "function",
+              functionName,
+              fn,
+              sourceFile,
+            );
+          }
+        }
       } else if (typeof member === "function") {
         // lots of 'any' casts here because control flow narrowing `member` to Function
         // isn't particularly useful it turns out.