13 files changed, 0 insertions, 576 deletions
diff --git a/src/lang/builtin/builtin.ts b/src/lang/builtin/builtin.ts
deleted file mode 100644
index a289867..0000000
--- a/src/lang/builtin/builtin.ts
+++ /dev/null
@@ -1,33 +0,0 @@
-import { FnError } from ".";
-import {
-  AddNumbers,
-  AddStrings,
-  Multiply,
-  ToString,
-  UnarrayIfOnlyHead,
-} from "../util";
-
-export type BUILTIN_Arr<Args extends readonly any[]> = Args;
-
-export type BUILTIN_ToString<Args extends readonly any[]> = ToString<
-  UnarrayIfOnlyHead<{
-    [Idx in keyof Args]: ToString<Args[Idx]>;
-  }>
->;
-
-export type BUILTIN_Add<Args extends readonly any[]> =
-  Args extends readonly string[]
-    ? AddStrings<Args>
-    : Args extends readonly number[]
-    ? AddNumbers<Args>
-    : FnError<`Cannot add operands ${ToString<Args>}`>;
-
-export type BUILTIN_Mul<Args extends readonly any[]> = Args extends [
-  infer A,
-  infer B,
-  infer C
-]
-  ? FnError<`Can only multiply [number, number], but got ${ToString<Args>}`>
-  : Args extends [infer M extends number, infer N extends number]
-  ? Multiply<M, N>
-  : FnError<`Can only multiply [number, number], but got ${ToString<Args>}`>;
diff --git a/src/lang/builtin/index.ts b/src/lang/builtin/index.ts
deleted file mode 100644
index de2bee3..0000000
--- a/src/lang/builtin/index.ts
+++ /dev/null
@@ -1,3 +0,0 @@
-export type FnError<T extends string> = `Function execution error: ${T}`;
-export * from "./builtin";
-export * from "./sbuiltin";
diff --git a/src/lang/builtin/sbuiltin.ts b/src/lang/builtin/sbuiltin.ts
deleted file mode 100644
index 01f197e..0000000
--- a/src/lang/builtin/sbuiltin.ts
+++ /dev/null
@@ -1,27 +0,0 @@
-import { ASTNode, StackFrame } from "../core/common";
-import { CallFn, FnPrim, GetEvaluatedChildren, EvalError } from "../core/eval";
-import { ExtractNumber, ToString } from "../util";
-
-export type SBUILTIN_Call<
-  Node extends ASTNode,
-  Frame extends StackFrame
-> = GetEvaluatedChildren<Node, Frame> extends [
-  infer Fn extends FnPrim,
-  ...infer Values extends readonly any[]
-]
-  ? CallFn<Fn, Values, Frame>
-  : EvalError<`Invalid params for function call: ${ToString<
-      GetEvaluatedChildren<Node, Frame>
-    >}`>;
-
-export type SBUILTIN_Map<
-  Node extends ASTNode,
-  Frame extends StackFrame
-> = GetEvaluatedChildren<Node, Frame> extends [
-  infer Arr extends readonly any[],
-  infer Fn extends FnPrim
-]
-  ? { [Idx in keyof Arr]: CallFn<Fn, [Arr[Idx], ExtractNumber<Idx>], Frame> }
-  : EvalError<`Invalid params for map: ${ToString<
-      GetEvaluatedChildren<Node, Frame>
-    >}`>;
diff --git a/src/lang/core/common.ts b/src/lang/core/common.ts
deleted file mode 100644
index 9e3840b..0000000
--- a/src/lang/core/common.ts
+++ /dev/null
@@ -1,72 +0,0 @@
-export enum TokenType {
-  OPEN_PAREN = "(",
-  CLOSE_PAREN = ")",
-  SPACE = " ",
-  SEMICOLON = ";",
-  COMMA = ",",
-  NAME = "NAME",
-}
-
-export enum TokenSubType {
-  NA = "NA",
-  LITERAL = "LITERAL",
-  REFERENCE = "REFERENCE",
-}
-
-export type Token<
-  Type extends TokenType = TokenType,
-  Name extends string = string
-> = {
-  type: Type;
-  name: Name;
-};
-
-export type LexerCtx = {
-  next: string;
-  nameCollection: string;
-  tokens: readonly Token[];
-};
-
-export enum NodeType {
-  INT = "INT",
-  EXT = "EXT",
-  PARSER_ERROR = "PARSER_ERROR",
-}
-
-export type ASTNode<
-  Type extends NodeType = NodeType,
-  Name extends string = string,
-  Value extends any = any,
-  Children extends readonly ASTNode[] = readonly ASTNode<
-    NodeType,
-    string,
-    any,
-    any
-  >[]
-> = {
-  type: Type;
-  name: Name;
-  value: Value;
-  children: Children;
-};
-
-export type ParserCtx = {
-  remainingTokens: readonly Token[];
-  lastToken: Token | null;
-  stack: readonly ASTNode[];
-};
-
-export type StackFrame<
-  Bindings extends Record<ASTNode["name"], any> = Record<ASTNode["name"], any>,
-  Parent extends StackFrame | null = any
-> = {
-  bindings: Bindings;
-  parent: Parent;
-};
-
-export type EmptyStackFrame = StackFrame<{}, null>;
-
-export type WithPushedBindings<
-  OldFrame extends StackFrame,
-  Bindings extends StackFrame["bindings"]
-> = StackFrame<Bindings, OldFrame>;
diff --git a/src/lang/core/eval.ts b/src/lang/core/eval.ts
deleted file mode 100644
index 9181c81..0000000
--- a/src/lang/core/eval.ts
+++ /dev/null
@@ -1,111 +0,0 @@
-import {
-  BUILTIN_Add,
-  BUILTIN_Arr,
-  BUILTIN_Mul,
-  BUILTIN_ToString,
-  SBUILTIN_Call,
-  SBUILTIN_Map,
-} from "../builtin";
-import { ToString } from "../util";
-import { ASTNode, EmptyStackFrame, NodeType, StackFrame } from "./common";
-import { Lex } from "./lexer";
-import { Parse } from "./parser";
-
-export type SENTINEL_NO_BUILTIN = "__NO_BUILTIN__";
-export type MapBuiltins<
-  Node extends ASTNode,
-  Frame extends StackFrame
-> = GetEvaluatedChildren<Node, Frame> extends infer Args extends readonly any[]
-  ? Node["name"] extends "call"
-    ? SBUILTIN_Call<Node, Frame>
-    : Node["name"] extends "map"
-    ? SBUILTIN_Map<Node, Frame>
-    : Node["name"] extends "tostring"
-    ? BUILTIN_ToString<Args>
-    : Node["name"] extends "arr"
-    ? BUILTIN_Arr<Args>
-    : Node["name"] extends "add"
-    ? BUILTIN_Add<Args>
-    : Node["name"] extends "mul"
-    ? BUILTIN_Mul<Args>
-    : SENTINEL_NO_BUILTIN
-  : never;
-
-export type EvalError<T extends string> = `Eval error: ${T}`;
-
-export type FindInStack<
-  Frame extends StackFrame,
-  NameToFind
-> = NameToFind extends keyof Frame["bindings"]
-  ? Frame["bindings"][NameToFind]
-  : Frame["parent"] extends null
-  ? EvalError<`Can't find name "${ToString<NameToFind>}" on the stack`>
-  : FindInStack<Frame["parent"], NameToFind>;
-
-export type MapOnStack<
-  Node extends ASTNode,
-  Frame extends StackFrame
-> = FindInStack<Frame, Node["name"]>;
-
-export type FnPrim<
-  Args extends readonly ASTNode[] = readonly ASTNode[],
-  Fn extends ASTNode = ASTNode
-> = { args: Args; fn: Fn };
-
-export type HandleFn<Node extends ASTNode> = Node["children"] extends [
-  ...infer Args extends ASTNode[],
-  infer Fn extends ASTNode
-]
-  ? FnPrim<Args, Fn>
-  : never;
-
-export type MapZip<
-  T extends readonly ASTNode[],
-  U extends readonly PropertyKey[]
-> = {
-  [Idx in Exclude<
-    keyof T,
-    keyof any[]
-  > as T[Idx] extends infer Node extends ASTNode
-    ? Node["name"]
-    : never]: Idx extends keyof U ? U[Idx] : never;
-};
-
-export type CallFn<
-  Fn extends FnPrim,
-  Values extends readonly any[],
-  Frame extends StackFrame
-> = Evaluate<Fn["fn"], StackFrame<MapZip<Fn["args"], Values>, Frame>>;
-
-export type Evaluate<
-  Node extends ASTNode,
-  Frame extends StackFrame = EmptyStackFrame
-> = Node["type"] extends NodeType.INT
-  ? Node["value"]
-  : Node["type"] extends NodeType.EXT
-  ? // special builtin
-    Node["name"] extends "fn"
-    ? HandleFn<Node>
-    : MapBuiltins<Node, Frame> extends infer BI
-    ? BI extends SENTINEL_NO_BUILTIN
-      ? MapOnStack<Node, Frame>
-      : BI
-    : never
-  : EvalError<`Unhandled node type ${Node["type"]}`>;
-
-export type GetEvaluatedChildren<
-  Node extends ASTNode,
-  Frame extends StackFrame
-> = Node["children"] extends infer Children extends readonly ASTNode[]
-  ? {
-      [Idx in keyof Children]: Children[Idx] extends ASTNode
-        ? Evaluate<Children[Idx], Frame>
-        : never;
-    }
-  : never;
-
-const input =
-  `map(arr("hello", "world"), fn(s, i, add(tostring(i), ":", s)))` as const;
-const lex_result = null as unknown as Lex<typeof input>;
-const parse_result = null as unknown as Parse<typeof lex_result>;
-const eval_result = null as unknown as Evaluate<typeof parse_result>;
diff --git a/src/lang/core/index.ts b/src/lang/core/index.ts
deleted file mode 100644
index e69de29..0000000
--- a/src/lang/core/index.ts
+++ /dev/null
diff --git a/src/lang/core/lexer.ts b/src/lang/core/lexer.ts
deleted file mode 100644
index 567964f..0000000
--- a/src/lang/core/lexer.ts
+++ /dev/null
@@ -1,91 +0,0 @@
-import { LexerCtx, Token, TokenSubType, TokenType } from "./common";
-
-export type BreakingToken =
-  | TokenType.OPEN_PAREN
-  | TokenType.CLOSE_PAREN
-  | TokenType.COMMA
-  | TokenType.SEMICOLON
-  | TokenType.SPACE;
-
-export type IsWhitespace<T extends string> = T extends `${TokenType.SPACE}`
-  ? true
-  : T extends `${TokenType.COMMA}`
-  ? true
-  : T extends `${TokenType.SEMICOLON}`
-  ? true
-  : false;
-
-export type ProcessNameCollection<
-  Ctx extends LexerCtx,
-  Tail extends string,
-  _Token extends Token | null
-> = {
-  next: Tail;
-  nameCollection: "";
-  tokens: _Token extends null
-    ? [
-        ...Ctx["tokens"],
-        ...(Ctx["nameCollection"] extends ""
-          ? []
-          : [Token<TokenType.NAME, Ctx["nameCollection"]>])
-      ]
-    : [
-        ...Ctx["tokens"],
-        ...(Ctx["nameCollection"] extends ""
-          ? [_Token]
-          : [Token<TokenType.NAME, Ctx["nameCollection"]>, _Token])
-      ];
-};
-
-export type IsOpen<T> = T extends `${TokenType.OPEN_PAREN}` ? true : false;
-export type IsClose<T> = T extends `${TokenType.CLOSE_PAREN}` ? true : false;
-
-export type ChunkedLex<
-  Ctx extends LexerCtx,
-  Depth extends any[] = []
-> = Depth["length"] extends 50
-  ? Ctx & {
-      endChunk: true;
-    }
-  : Ctx["next"] extends `${infer Head}${infer Tail}`
-  ? IsWhitespace<Head> extends true
-    ? ChunkedLex<ProcessNameCollection<Ctx, Tail, null>, [0, ...Depth]>
-    : IsOpen<Head> extends true
-    ? ChunkedLex<
-        ProcessNameCollection<Ctx, Tail, Token<TokenType.OPEN_PAREN>>,
-        [0, ...Depth]
-      >
-    : IsClose<Head> extends true
-    ? ChunkedLex<
-        ProcessNameCollection<Ctx, Tail, Token<TokenType.CLOSE_PAREN>>,
-        [0, ...Depth]
-      >
-    : ChunkedLex<
-        {
-          next: Tail;
-          nameCollection: `${Ctx["nameCollection"]}${Head}`;
-          tokens: Ctx["tokens"];
-        },
-        [0, ...Depth]
-      >
-  : Ctx;
-
-export type InnerLex<
-  Next extends string,
-  NameCollection extends LexerCtx["nameCollection"] = "",
-  AccTokens extends Token[] = []
-> = Next extends ""
-  ? AccTokens
-  : ChunkedLex<{
-      next: Next;
-      tokens: [];
-      nameCollection: NameCollection;
-    }> extends infer U
-  ? U extends LexerCtx & { endChunk: true }
-    ? InnerLex<U["next"], U["nameCollection"], [...AccTokens, ...U["tokens"]]>
-    : U extends LexerCtx
-    ? [...AccTokens, ...U["tokens"]]
-    : never
-  : never;
-
-export type Lex<Raw extends string> = InnerLex<Raw>;
diff --git a/src/lang/core/parser.ts b/src/lang/core/parser.ts
deleted file mode 100644
index 2b481fd..0000000
--- a/src/lang/core/parser.ts
+++ /dev/null
@@ -1,173 +0,0 @@
-import {
-  ASTNode,
-  NodeType,
-  ParserCtx,
-  Token,
-  TokenSubType,
-  TokenType,
-} from "./common";
-import { Lex } from "./lexer";
-
-export type Error<T extends string> = ASTNode<
-  NodeType.PARSER_ERROR,
-  "Error",
-  T,
-  []
->;
-
-export type PushChild<Node extends ASTNode, Child extends ASTNode> = {
-  type: Node["type"];
-  value: Node["value"];
-  name: Node["name"];
-  children: [...Node["children"], Child];
-};
-
-export type PushChildToLastElementOfStack<
-  Stack extends ParserCtx["stack"],
-  Child extends ASTNode
-> = Stack extends [...infer Head, infer Tail extends ASTNode]
-  ? [...Head, PushChild<Tail, Child>]
-  : Stack extends [infer Only extends ASTNode]
-  ? [PushChild<Only, Child>]
-  : never;
-
-export type PushChildToSecondLastElementOfStack<
-  Stack extends ParserCtx["stack"],
-  Child extends ASTNode
-> = Stack extends [
-  ...infer Head,
-  infer Tail extends ASTNode,
-  infer Final extends ASTNode
-]
-  ? [...Head, PushChild<Tail, Child>, Final]
-  : Stack extends [infer Only extends ASTNode, infer Final extends ASTNode]
-  ? [PushChild<Only, Child>, Final]
-  : never;
-
-export type GetLastOnStack<Stack extends ParserCtx["stack"]> = Stack extends [
-  ...infer Head,
-  infer Tail extends ASTNode
-]
-  ? Tail
-  : Stack extends [infer Only extends ASTNode]
-  ? Only
-  : never;
-
-export type StackWithoutLast<Stack extends ParserCtx["stack"]> = Stack extends [
-  ...infer Head extends ASTNode[],
-  infer Tail
-]
-  ? [...Head]
-  : Stack extends [infer Only extends ASTNode]
-  ? []
-  : never;
-
-type NULL_SENTINEL = {
-  NULL: true;
-};
-
-export type ParseNumberLiteral<T extends string> =
-  T extends `${infer Inner extends number}` ? Inner : NULL_SENTINEL;
-
-export type ParseStringLiteral<T extends string> =
-  T extends `"${infer Inner extends string}"` ? Inner : NULL_SENTINEL;
-
-export type ResolveNodeFromToken<_Token extends Token> = ParseNumberLiteral<
-  _Token["name"]
-> extends number
-  ? ASTNode<NodeType.INT, "", ParseNumberLiteral<_Token["name"]>, []>
-  : ParseStringLiteral<_Token["name"]> extends string
-  ? ASTNode<NodeType.INT, "", ParseStringLiteral<_Token["name"]>, []>
-  : ASTNode<NodeType.EXT, _Token["name"], null, []>;
-
-export type _Parse<Ctx extends ParserCtx> = Ctx["remainingTokens"] extends [
-  infer Head extends Token,
-  ...infer Tail extends readonly Token[]
-]
-  ? Ctx["lastToken"] extends Token
-    ? Head["type"] extends TokenType.NAME
-      ? // we already have a lastToken
-        // mutate last element of stack to push lastToken as child
-        // lastToken = nextToken
-        // goto start
-        _Parse<{
-          lastToken: Head;
-          remainingTokens: Tail;
-          stack: PushChildToLastElementOfStack<
-            Ctx["stack"],
-            ResolveNodeFromToken<Ctx["lastToken"]>
-          >;
-        }>
-      : //nextToken is openParen or close paren
-      Head["type"] extends TokenType.CLOSE_PAREN
-      ? // handle lastToken
-        // set last element of stack as child of prev element on stack
-        // pop stack
-        // [stack[last - 1].children.push(stack.pop)
-        // goto start
-        _Parse<{
-          lastToken: null;
-          remainingTokens: Tail;
-          // first push the last name onto the children of the top
-          // then push the top onto the children of the next
-          // then remove the top
-          stack: StackWithoutLast<
-            PushChildToSecondLastElementOfStack<
-              Ctx["stack"],
-              PushChild<
-                GetLastOnStack<Ctx["stack"]>,
-                ResolveNodeFromToken<Ctx["lastToken"]>
-              >
-            >
-          >;
-        }>
-      : Head["type"] extends TokenType.OPEN_PAREN
-      ? // push lastToken onto stack
-        // goto start
-        _Parse<{
-          lastToken: null;
-          remainingTokens: Tail;
-          stack: [...Ctx["stack"], ResolveNodeFromToken<Ctx["lastToken"]>];
-        }>
-      : Ctx & Error<`Was not expecting ${Head["type"]}`>
-    : // expect nextToken to be a name or close paren
-    Head["type"] extends TokenType.NAME
-    ? // lastToken = nextToken
-      // goto start
-      _Parse<{
-        lastToken: Head;
-        remainingTokens: Tail;
-        stack: Ctx["stack"];
-      }>
-    : Head["type"] extends TokenType.CLOSE_PAREN
-    ? _Parse<{
-        lastToken: null;
-        remainingTokens: Tail;
-        // push the top onto the children of the next
-        // then remove the top
-        stack: StackWithoutLast<
-          PushChildToSecondLastElementOfStack<
-            Ctx["stack"],
-            GetLastOnStack<Ctx["stack"]>
-          >
-        >;
-      }>
-    : Ctx &
-        Error<`Expected nextToken to be a name or close paren at ${Head["type"]}`>
-  : Ctx["lastToken"] extends Token
-  ? // case where we ended with a name
-    _Parse<{
-      lastToken: null;
-      remainingTokens: [];
-      stack: PushChildToLastElementOfStack<
-        Ctx["stack"],
-        ResolveNodeFromToken<Ctx["lastToken"]>
-      >;
-    }>
-  : Ctx["stack"][0];
-
-export type Parse<Raw extends readonly Token[]> = _Parse<{
-  lastToken: null;
-  remainingTokens: Raw;
-  stack: [ASTNode<NodeType.EXT, "arr", null, []>];
-}>;
diff --git a/src/lang/index.ts b/src/lang/index.ts
deleted file mode 100644
index 8d119de..0000000
--- a/src/lang/index.ts
+++ /dev/null
@@ -1 +0,0 @@
-export * from "./core";
diff --git a/src/lang/util/index.ts b/src/lang/util/index.ts
deleted file mode 100644
index 00a3e54..0000000
--- a/src/lang/util/index.ts
+++ /dev/null
@@ -1,3 +0,0 @@
-export * from "./number";
-export * from "./utils";
-export * from "./string";
diff --git a/src/lang/util/number.ts b/src/lang/util/number.ts
deleted file mode 100644
index 6e4e360..0000000
--- a/src/lang/util/number.ts
+++ /dev/null
@@ -1,37 +0,0 @@
-export type NumberToArray<
-  Number extends number,
-  Carry extends readonly any[] = []
-> = Number extends Carry["length"]
-  ? Carry
-  : NumberToArray<Number, [...Carry, any]>;
-
-export type NumbersToArray<
-  Numbers extends readonly number[],
-  Carry extends readonly any[] = []
-> = Numbers extends [
-  infer Head extends number,
-  ...infer Tail extends readonly number[]
-]
-  ? NumbersToArray<Tail, [...Carry, ...NumberToArray<Head>]>
-  : Carry;
-
-export type AddNumbers<Numbers extends readonly number[]> =
-  NumbersToArray<Numbers> extends infer T extends readonly any[]
-    ? T["length"]
-    : never;
-
-export type MultiplyInner<
-  N extends number,
-  MS extends readonly any[],
-  Carry extends number = 0
-> = MS extends [infer Head extends number, ...infer Tail extends readonly any[]]
-  ? MultiplyInner<N, Tail, AddNumbers<[Carry, N]>>
-  : Carry;
-
-export type Multiply<M extends number, N extends number> = MultiplyInner<
-  M,
-  NumberToArray<N>
->;
-
-export type ExtractNumber<T extends any> =
-  T extends `${infer Inner extends number}` ? Inner : never;
diff --git a/src/lang/util/string.ts b/src/lang/util/string.ts
deleted file mode 100644
index 5772f40..0000000
--- a/src/lang/util/string.ts
+++ /dev/null
@@ -1,17 +0,0 @@
-export type AddStrings<
-  Strings extends readonly string[],
-  Carry extends string = ""
-> = Strings extends [infer Head extends string, ...infer Tail extends string[]]
-  ? AddStrings<Tail, `${Carry}${Head}`>
-  : Carry;
-
-export type ToString<T, Carry extends string = ""> = T extends string | number
-  ? `${T}`
-  : T extends readonly any[]
-  ? T extends readonly [infer Head, ...infer Tail]
-    ? `${ToString<
-        Tail,
-        `${Carry extends "" ? "" : `${Carry}, `}${ToString<Head>}`
-      >}`
-    : `[${Carry}]`
-  : never;
diff --git a/src/lang/util/utils.ts b/src/lang/util/utils.ts
deleted file mode 100644
index ac36ca1..0000000
--- a/src/lang/util/utils.ts
+++ /dev/null
@@ -1,8 +0,0 @@
-export type UnarrayIfOnlyHead<T extends readonly any[]> = T extends [
-  infer Head,
-  infer Next
-]
-  ? T
-  : T extends [infer Head]
-  ? Head
-  : T;