A minimal attempt to strongly type a query response

nact-mre.ts

import { dispatch, spawn, query, Ref, start } from "nact";

type Result = { success: boolean };

type DoLoadMessage = {
  type: "LOAD";
  filename: string;
  sender: Ref<Result>;
};

const system = start();

const fileLoader = spawn(
  system,
  (msg: DoLoadMessage, _) => {
    if (msg.type === "LOAD") {
      dispatch(msg.sender, { success: true });
    }
  },
  "Fileloader"
);

query(fileLoader, (sender) => ({ sender, filename: "test.txt" }), 250).then(
  (result) => {
    result; // result is type any
  }

// Update - explicitly typing the tempRef sender flows through

query(
  fileLoader,
  (sender: Ref<Result>) => ({ sender, filename: "test.txt" }),
  250
).then((result) => {
  result; // result is type Result
});
);