research/dope2
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

fix

Browse source
This commit is contained in:
Joeri Exelmans 2025-05-09 15:03:17 +02:00
parent b1c2e7836d
commit 255bc475d7
2 changed files with 20 additions and 16 deletions
Download patch file Download diff file Expand all files Collapse all files

4
examples/environment.js
View file

@ -2,17 +2,17 @@ import { number, select } from "@inquirer/prompts";
import { makeCompareFn } from "../lib/compare/dynamic.js";
import { compareTypes } from "../lib/compare/type.js";
import { assignFn } from "../lib/generics/generics.js";
import { getInst, getType, newDynamic } from "../lib/primitives/dynamic.js";
import { Bool, Double, Int, Type, UUID } from "../lib/primitives/primitive_types.js";
import { eqType, getSymbol } from "../lib/primitives/type.js";
import { ModuleStd } from "../lib/stdlib.js";
import { emptyDict, get, set, fold as foldDict } from "../lib/structures/dict.js";
import { emptyDict, get, set } from "../lib/structures/dict.js";
import { fold as foldList } from "../lib/structures/list.js";
import { add, emptySet, fold as foldSet } from "../lib/structures/set.js";
import { symbolFunction } from "../lib/structures/type_constructors.js";
import { pretty, prettyT } from "../lib/util/pretty.js";
import { genUUID } from "../lib/util/random.js";
import { assignFn, unify } from "../lib/generics/generics.js";
// console.log(ModuleStd);

28
lib/structures/type_constructors.types.js
View file

@ -11,23 +11,27 @@ export const setType = makeTypeConstructor(symbolSet)(1);
export const dictType = makeTypeConstructor(symbolDict)(2);
export const ModuleStructuralSymbols = [
newDynamic(symbolSet )(UUID ),
newDynamic(symbolList )(UUID ),
newDynamic(symbolProduct )(UUID ),
newDynamic(symbolSum )(UUID ),
newDynamic(symbolDict )(UUID ),
newDynamic(symbolFunction )(UUID ),
newDynamic(symbolSet )(UUID),
newDynamic(symbolList )(UUID),
newDynamic(symbolProduct )(UUID),
newDynamic(symbolSum )(UUID),
newDynamic(symbolDict )(UUID),
newDynamic(symbolFunction)(UUID),
];
const unaryTypeConstructor = fnType(_ => Type)(_ => Type);
const unaryTypeConstructor = fnType
(_ => fnType(_ => Type)(_ => Type))
(_ => Type);
const binaryTypeConstructor = fnType(_ => Type)(_ => unaryTypeConstructor);
const binaryTypeConstructor = fnType
(_ => fnType(_ => Type)(_ => Type))
(_ => unaryTypeConstructor);
export const ModuleTypeConstructors = [
newDynamic(setType )(unaryTypeConstructor ),
newDynamic(lsType )(unaryTypeConstructor ),
newDynamic(prodType )(binaryTypeConstructor ),
newDynamic(sumType )(binaryTypeConstructor ),
newDynamic(dictType )(binaryTypeConstructor ),
newDynamic(fnType )(binaryTypeConstructor ),
newDynamic(prodType)(binaryTypeConstructor),
newDynamic(sumType )(binaryTypeConstructor),
newDynamic(dictType)(binaryTypeConstructor),
newDynamic(fnType )(binaryTypeConstructor),
];