LLM inference,
expressed in TypeScript.

// 1) A TS type is the contract. Nola derives its JSON schema; JSDoc goes in too.
interface Person {
  name: string;
  age: number;
  /** the employer, or "unknown" */
  employer: string;
  job: string;
}

// 2) `infer` declares an inference function: it returns Intent<T>, like async returns Promise<T>.
function extractPerson(text: string) {
  return __nola.intents.Intent(async (__frame) => { void text;
  // 3) ..`prompt`<T> builds the extraction Intent<T> and validates the reply against T.
  // 4) `ask` resolves it, like `await` resolves a Promise<T>.
  const person = await __nola.ask(__nola.intents.ExtractIntent<Person>({ instruction: `the person described in the text`, type: __nola_type_$2(), loc: "14:22", def: "b7b6d537457a6fbc9988b6a91ef6a1bf11dbbd5efd493ee82f50ffeb2dace4ba" }), __frame);

  return person;
  }, __nola_file_ctx().func({ fn: "extractPerson", instruction: "", args: [{ name: "text", type: __nola_type_$1(), contextual: true, value: text }] }));
}

// 5) An Intent<T> is thenable: from plain TS you would import the function and await it, here we await it in place.
const person = await extractPerson(
  "Ada Lovelace, 36, worked with Charles Babbage on the Analytical Engine as a mathematician.",
);

console.log(person);

import { __nola } from "@nola-lang/runtime";
__nola.useRuntime(16);
function __nola_file_ctx() { return __nola.context.file("playground.tsi"); }
function __nola_type_$1(): import("@nola-lang/runtime").InferType<unknown> | undefined { return __nola.types.string(); }
function __nola_type_$2(): import("@nola-lang/runtime").InferType<unknown> { return __nola.types.ref("Person", __nola_type_Person); }
function __nola_type_Person(): import("@nola-lang/runtime").InferType<unknown> { return __nola.types.object({ name: __nola.types.string(), age: __nola.types.number(), employer: __nola.types.string().describe("the employer, or \"unknown\""), job: __nola.types.string() }); }