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

rename function

Browse source
This commit is contained in:
Joeri Exelmans 2025-03-19 15:43:45 +01:00
parent 97b4e83379
commit e892ade34d
8 changed files with 26 additions and 19 deletions
Download patch file Download diff file Expand all files Collapse all files

12
structures/product.js
View file

@ -1,5 +1,5 @@
import { fnType, prodType } from "../type_registry.js";
import { Function } from "../metacircular.js";
import { Function, Type } from "../metacircular.js";
// In JS, all products are encoded in the same way:
const constructor = left => right => ({left, right});
@ -8,15 +8,17 @@ const getRight = product => product.right;
// Given two types A and B, create the type (A × B).
export const makeProductType = (leftType, rightType) => {
const productType = prodType(leftType, rightType);
const pType = prodType(leftType, rightType);
const leftFnType = fnType({in: productType, out: leftType});
const rightFnType = fnType({in: productType, out: rightType});
const leftFnType = fnType({in: pType, out: leftType});
const rightFnType = fnType({in: pType, out: rightType});
const constructorBoundType = fnType({in: rightType, out: productType});
const constructorBoundType = fnType({in: rightType, out: pType});
const constructorType = fnType({in: leftType , out: constructorBoundType});
return [
{i: pType, t: Type},
{i: getLeft , t: leftFnType},
{i: getRight , t: rightFnType},
{i: leftFnType , t: Function},