createTrivialTypes

TODO.md

@@ -1,5 +1,3 @@
-`createTrivialTypes`
-
 `Type` should be type instead of class
 
 [maybe] quit using `def/` and `defs/`

docs/articles/design-of-new-syntax.md

@@ -85,7 +85,7 @@ end
 We use a simple type system like Haskell (for now).
 
 ```inet
-defnode sole -- !Sole end
+defnode sole -- !Trivial end
 
 defnode null -- !List('a) end
 

src/lang/mod/builtInOperators.ts

@@ -2,7 +2,7 @@ import { Mod } from "."
 import * as Defs from "../defs"
 import { Port } from "../graph"
 import { netConnect } from "../graph/netConnect"
-import { buildTypes } from "../types"
+import { createTrivialTypes } from "../type"
 
 export function builtInOperators(mod: Mod): void {
   mod.defineOperator("swap", (net) => {
@@ -25,13 +25,8 @@ export function builtInOperators(mod: Mod): void {
   })
 
   mod.defineOperator("wire", (net) => {
-    const def = new Defs.NodeDef(
-      mod,
-      "Cons",
-      "wire",
-      [],
-      buildTypes(["Any", "Any"]),
-    )
+    const def = new Defs.NodeDef(mod, "Cons", "wire", [], createTrivialTypes(2))
+
     const node = def.build()
 
     net.portStack.push(...node.output)

src/lang/stmts/DefconsStmt.ts

@@ -2,7 +2,7 @@ import * as Defs from "../defs"
 import { Mod } from "../mod"
 import { Span } from "../span"
 import { Stmt } from "../stmt"
-import { buildTypes } from "../types"
+import { createTrivialTypes } from "../type"
 
 export class DefconsStmt extends Stmt {
   constructor(
@@ -21,8 +21,8 @@ export class DefconsStmt extends Stmt {
         mod,
         "Cons",
         this.name,
-        buildTypes(Array(this.inputArity).fill("Any")),
-        buildTypes(Array(this.outputArity).fill("Any")),
+        createTrivialTypes(this.inputArity),
+        createTrivialTypes(this.outputArity),
       ),
     )
   }

src/lang/stmts/DefelimStmt.ts

@@ -2,7 +2,7 @@ import * as Defs from "../defs"
 import { Mod } from "../mod"
 import { Span } from "../span"
 import { Stmt } from "../stmt"
-import { buildTypes } from "../types"
+import { createTrivialTypes } from "../type"
 
 export class DefelimStmt extends Stmt {
   constructor(
@@ -21,8 +21,8 @@ export class DefelimStmt extends Stmt {
         mod,
         "Elim",
         this.name,
-        buildTypes(Array(this.inputArity).fill("Any")),
-        buildTypes(Array(this.outputArity).fill("Any")),
+        createTrivialTypes(this.inputArity),
+        createTrivialTypes(this.outputArity),
       ),
     )
   }

src/lang/type/Type.ts

@@ -1,7 +1 @@
-export abstract class Type {
-  abstract format(): string
-
-  isPrincipal(): boolean {
-    return false
-  }
-}
+export type Type = {}

src/lang/type/createTrivialTypes.ts

@@ -0,0 +1,5 @@
+import { Type } from "./Type"
+
+export function createTrivialTypes(arity: number): Array<Type> {
+  return Array(arity).fill({})
+}

src/lang/type/index.ts

@@ -1 +1,2 @@
 export * from "./Type"
+export * from "./createTrivialTypes"