@fraczak/k 3.0.2 → 4.0.0

package/INTRO.md

@@ -1,88 +0,0 @@
-### Introduction to Kernel/Core
-
-**Kernel/Core** is a minimal, gradually typed, first-order functional programming language designed for defining and transforming data using partial functions. It is built on the foundation of Algebraic Data Types (ADTs), specifically tagged unions and products.
-
-#### Core Concepts
-
-1. **Statements**:
-   - The program consists of a possibly empty list of statements, each ending with a semicolon (`;`), followed by an expression.
-   - There are two types of statements:
-     - **Code Definitions**: Define data types and start with a dollar sign (`$`).
-     - **Relation Definitions**: Define partial functions (transformations) of data.
-
-2. **Codes**:
-   - Codes represent data types and can be either unions (`<...>`) or products (`{...}`).
-   - Example: 
-     ```kernelcore
-     $ bool = <{} true, {} false>;
-     $ pair_of_bools = {bool x, bool y};
-     ```
-
-3. **Relations**:
-   - Relations are partial functions defined to transform data from one type to another.
-   - Example:
-     ```kernelcore
-     is_x_true = $pair_of_bools (.x .true);
-     ```
-
-4. **Composition of Partial Functions**:
-   - **Sequential (Functional) Composition**: Sequential application of partial functions.
-     ```kernelcore
-     (.x .true)
-     ```
-   - **Parallel (Product) Composition**: Combine multiple partial functions to construct a new product type.
-     ```kernelcore
-     {.x x_value, .y y_value}
-     ```
-   - **Concurrent (Union) Composition**: Try different functions in sequence, returning the first successful result.
-     ```kernelcore
-     <{.x .true false_bool}, {} true_bool>
-     ```
-
-5. **Constants**:
-   - Constants are defined as partial functions that ignore their input.
-   - Example:
-     ```kernelcore
-     true_bool = {{} true} $bool;
-     false_bool = {{} false} $bool;
-     ```
-
-#### Example Program
-
-```kernelcore
-// Define a boolean type as a union of true and false
-$ bool = <{} true, {} false>;
-
-// Define a pair of booleans as a product of two booleans
-$ pair_of_bools = {bool x, bool y};
-
-// Check if the `x` field is `true`
-is_x_true = $pair_of_bools (.x .true);
-
-// Extract both `x` and `y` fields into a new product
-extract_both = $pair_of_bools {.x x_value, .y y_value} $pair_of_bools;
-
-// Check if either `x` or `y` is `true`
-is_any_true = $pair_of_bools <{.x .true false_bool}, {} true_bool> $bool;
-
-// Define constants
-true_bool = {{} true} $bool;
-false_bool = {{} false} $bool;
-
-// Create instances of `pair_of_bools`
-pair1 = {true_bool x, true_bool y} $pair_of_bools;
-pair2 = {true_bool x, false_bool y} $pair_of_bools;
-pair3 = {false_bool x, false_bool y} $pair_of_bools;
-
-// Example usage of the functions
-result1 = pair1 is_x_true;       // Should return true
-result2 = pair2 is_x_true;       // Should return true
-
-both_values = pair1 extract_both; // Should return {x_value true, y_value true}
-
-any_true1 = pair1 is_any_true;   // Should return true
-any_true2 = pair2 is_any_true;   // Should return true
-any_true3 = pair3 is_any_true;   // Should return false
-```
-
-This brief introduction covers the fundamental concepts of Kernel/Core, enabling you to start defining data types and writing partial functions to transform data.

package/TODO.md

@@ -1,54 +0,0 @@
-# TODO list
-
-- [ ] Incremental compilation
-- [ ] After `annotation` is done, find fully closed patterns, turn them into codes, then rerun
-  the code minimization step
-- [ ] Named relations can be polymorphic:
-  -- can we introduce polymorphic patterns? E.g.,: `{ .x if, .y then} .then`.
-    Here, the input pattern could be "open" product with two fields `.x` and `.y`, end the ouput pattern could be the pattern of field `.y`.
-  -- should we introduce a scope (e.g., syntactic or dynamic?) for all calls to the relation and
-    run annotations for all scopes separately?
-- [ ] Implement support for different relations under a same name as long as they have 
-  "very" different input or output patterns.
-- [ ] In type graphs, we should detect cycles over only product types and reject such programs, e.g.,:
-
-  ```k
-  $boo = {{} _, boo b};
-  ```
-
----
-
-## Type system
-
-Example:
-
-```Examples/pats.k
-xy = .x y;
-y = .y;
-$A = < {} a, {} other >;
-$B = < {} b, {} other >;
-$ya = < {} a, $A y >;
-$yb = < {} b, $B y >;
-$input = {{ya x, {} y} one, {yb x, {} y} two};
-$input {.one xy one, .two xy two}
-```
-
-We would like to correctly type the above program as `$input -> { A one, B two }`.
-
-filters for typing `__main__`:
-
-```?
-          __main__
-         0  /  \ 1
-           /    \
-   $input         {.one xy one, .two xy two}
- 2       3       4          /   \    5          
-                          /      \
-                 (.one xy)         (.two xy)  
-                    / \               / \
-              6    /   \ 7       8   /   \ 9
-                  /     \           /     \
-              .one       xy       .two       xy
-            10    11   12  13    14    15   16  17
-
-```

package/bug.json

@@ -1,419 +0,0 @@
-{
-  "rels": {
-    "xy": [
-      {
-        "op": "comp",
-        "comp": [
-          {
-            "op": "dot",
-            "dot": "x",
-            "start": {
-              "line": 1,
-              "column": 6
-            },
-            "end": {
-              "line": 1,
-              "column": 8
-            },
-            "patterns": [
-              2,
-              3
-            ]
-          },
-          {
-            "op": "ref",
-            "ref": "y",
-            "start": {
-              "line": 1,
-              "column": 9
-            },
-            "end": {
-              "line": 1,
-              "column": 10
-            },
-            "patterns": [
-              3,
-              4
-            ]
-          }
-        ],
-        "start": {
-          "line": 1,
-          "column": 6
-        },
-        "end": {
-          "line": 1,
-          "column": 10
-        },
-        "patterns": [
-          2,
-          4
-        ]
-      }
-    ],
-    "y": [
-      {
-        "op": "dot",
-        "dot": "y",
-        "start": {
-          "line": 2,
-          "column": 5
-        },
-        "end": {
-          "line": 2,
-          "column": 7
-        },
-        "patterns": [
-          0,
-          1
-        ]
-      }
-    ],
-    "__main__": [
-      {
-        "op": "comp",
-        "comp": [
-          {
-            "op": "code",
-            "code": "BrQwZuzvQqL",
-            "start": {
-              "line": 8,
-              "column": 1
-            },
-            "end": {
-              "line": 8,
-              "column": 7
-            },
-            "patterns": [
-              9,
-              9
-            ]
-          },
-          {
-            "op": "product",
-            "product": [
-              {
-                "label": "one",
-                "exp": {
-                  "op": "comp",
-                  "comp": [
-                    {
-                      "op": "dot",
-                      "dot": "one",
-                      "start": {
-                        "line": 8,
-                        "column": 9
-                      },
-                      "end": {
-                        "line": 8,
-                        "column": 13
-                      },
-                      "patterns": [
-                        9,
-                        5
-                      ]
-                    },
-                    {
-                      "op": "ref",
-                      "ref": "xy",
-                      "start": {
-                        "line": 8,
-                        "column": 14
-                      },
-                      "end": {
-                        "line": 8,
-                        "column": 16
-                      },
-                      "patterns": [
-                        5,
-                        6
-                      ]
-                    }
-                  ],
-                  "start": {
-                    "line": 8,
-                    "column": 9
-                  },
-                  "end": {
-                    "line": 8,
-                    "column": 16
-                  },
-                  "patterns": [
-                    9,
-                    6
-                  ]
-                }
-              },
-              {
-                "label": "two",
-                "exp": {
-                  "op": "comp",
-                  "comp": [
-                    {
-                      "op": "dot",
-                      "dot": "two",
-                      "start": {
-                        "line": 8,
-                        "column": 22
-                      },
-                      "end": {
-                        "line": 8,
-                        "column": 26
-                      },
-                      "patterns": [
-                        9,
-                        7
-                      ]
-                    },
-                    {
-                      "op": "ref",
-                      "ref": "xy",
-                      "start": {
-                        "line": 8,
-                        "column": 27
-                      },
-                      "end": {
-                        "line": 8,
-                        "column": 29
-                      },
-                      "patterns": [
-                        7,
-                        8
-                      ]
-                    }
-                  ],
-                  "start": {
-                    "line": 8,
-                    "column": 22
-                  },
-                  "end": {
-                    "line": 8,
-                    "column": 29
-                  },
-                  "patterns": [
-                    9,
-                    8
-                  ]
-                }
-              }
-            ],
-            "start": {
-              "line": 8,
-              "column": 8
-            },
-            "end": {
-              "line": 8,
-              "column": 34
-            },
-            "patterns": [
-              9,
-              10
-            ]
-          }
-        ],
-        "start": {
-          "line": 8,
-          "column": 1
-        },
-        "end": {
-          "line": 10,
-          "column": 3
-        },
-        "patterns": [
-          9,
-          10
-        ]
-      }
-    ]
-  },
-  "codes": {
-    "DBO": {
-      "code": "product",
-      "product": {},
-      "def": "$C0={};"
-    },
-    "BDAJxzVAZYX": {
-      "code": "union",
-      "union": {
-        "y": "DBO",
-        "a": "DBO"
-      },
-      "start": {
-        "line": 3,
-        "column": 7
-      },
-      "end": {
-        "line": 3,
-        "column": 21
-      },
-      "def": "$C0=<C1\"a\",C1\"y\">;$C1={};"
-    },
-    "CDRPHMxTHrX": {
-      "code": "union",
-      "union": {
-        "y": "DBO",
-        "b": "DBO"
-      },
-      "start": {
-        "line": 4,
-        "column": 7
-      },
-      "end": {
-        "line": 4,
-        "column": 21
-      },
-      "def": "$C0=<C1\"b\",C1\"y\">;$C1={};"
-    },
-    "CJFCNvVySrW": {
-      "code": "product",
-      "product": {
-        "x": "CDRPHMxTHrX",
-        "yb": "DBO"
-      },
-      "start": {
-        "line": 6,
-        "column": 8
-      },
-      "end": {
-        "line": 6,
-        "column": 21
-      },
-      "def": "$C0={C1\"x\",C2\"yb\"};$C1=<C2\"b\",C2\"y\">;$C2={};"
-    },
-    "BrQwZuzvQqL": {
-      "code": "product",
-      "product": {
-        "one": "CJFCNvVySrW",
-        "two": "CJFCNvVySrW"
-      },
-      "start": {
-        "line": 7,
-        "column": 10
-      },
-      "end": {
-        "line": 7,
-        "column": 28
-      },
-      "def": "$C0={C1\"one\",C2\"two\"};$C1={C3\"x\",C4\"ya\"};$C2={C5\"x\",C4\"yb\"};$C3=<C4\"a\",C4\"y\">;$C4={};$C5=<C4\"b\",C4\"y\">;"
-    }
-  },
-  "representatives": {
-    "BrQwZuzvQqL": "BrQwZuzvQqL",
-    "CJFCNvVySrW": "CJFCNvVySrW",
-    "CDRPHMxTHrX": "CDRPHMxTHrX",
-    "BDAJxzVAZYX": "BDAJxzVAZYX",
-    "DBO": "DBO",
-    "{}": "DBO",
-    ":1": "DBO",
-    ":2": "DBO",
-    "ya": "BDAJxzVAZYX",
-    ":4": "DBO",
-    ":5": "DBO",
-    "yb": "CDRPHMxTHrX",
-    ":7": "DBO",
-    "one": "CJFCNvVySrW",
-    ":9": "DBO",
-    "two": "CJFCNvVySrW",
-    "input": "BrQwZuzvQqL"
-  },
-  "patternNodes": [
-    {
-      "_id": 6,
-      "code": null,
-      "type": null,
-      "closed": false
-    },
-    {
-      "_id": 7,
-      "code": null,
-      "type": null,
-      "closed": false
-    },
-    {
-      "_id": 26,
-      "code": null,
-      "type": null,
-      "closed": false,
-      "_from": "(0,1)"
-    },
-    {
-      "_id": 27,
-      "code": null,
-      "type": null,
-      "closed": false,
-      "_from": "(2,3)"
-    },
-    {
-      "_id": 28,
-      "code": null,
-      "type": null,
-      "closed": false,
-      "_from": "(4,5)"
-    },
-    {
-      "_id": 32,
-      "code": "CJFCNvVySrW",
-      "type": "code",
-      "closed": true,
-      "_from": "(14,15)"
-    },
-    {
-      "_id": 33,
-      "code": null,
-      "type": null,
-      "closed": false,
-      "_from": "(16,17)"
-    },
-    {
-      "_id": 35,
-      "code": "CJFCNvVySrW",
-      "type": "code",
-      "closed": true,
-      "_from": "(20,21)"
-    },
-    {
-      "_id": 36,
-      "code": null,
-      "type": null,
-      "closed": false,
-      "_from": "(22,23)"
-    },
-    {
-      "_id": 39,
-      "code": "BrQwZuzvQqL",
-      "type": "code",
-      "closed": true,
-      "_from": "((8,(9,10)),((18,19),((12,13),11)))"
-    },
-    {
-      "_id": 40,
-      "code": null,
-      "type": "product",
-      "closed": true,
-      "_from": "(24,25)"
-    }
-  ],
-  "patternEdges": {
-    "0": {
-      "y": 1
-    },
-    "1": {},
-    "2": {
-      "x": 3
-    },
-    "3": {},
-    "4": {},
-    "5": {},
-    "6": {},
-    "7": {},
-    "8": {},
-    "9": {
-      "one": 5,
-      "two": 7
-    },
-    "10": {
-      "one": 6,
-      "two": 8
-    }
-  }
-}