提交: 530f14a3d6cb9afae5b36e613341c4af10e901e3 - cammy (git)

A categorical programming language

Commit MetaInfo

• 修订版: 530f14a3d6cb9afae5b36e613341c4af10e901e3 (tree)
• 时间: 2024-03-12 06:21:52
• 作者: Corbin <cds@corb...>
• Commiter: Corbin

Log Message

Include zaha.

更改概述

• modified: checklist.txt
• modified: flake.lock
• modified: flake.nix
• modified: todo.txt

差异

--- a/checklist.txt
+++ b/checklist.txt
@@ -12,7 +12,7 @@ You appear to believe that:
 [x] Syntax is what makes programming difficult
 [x] Garbage collection is free                [x] Computers have infinite memory
 [x] Nobody really needs:
-    [x] concurrency  [x] a REPL  [x] debugger support  [x] IDE support  [x] I/O
+    [x] concurrency  [ ] a REPL  [x] debugger support  [x] IDE support  [x] I/O
     [x] to interact with code not written in your language
 [ ] The entire world speaks 7-bit ASCII
 [ ] Scaling up to large software projects will be easy
@@ -27,7 +27,7 @@ Unfortunately, your language (has/lacks):
 [ ] implicit type conversion  [x] explicit casting  [ ] type inference
 [ ] goto  [ ] exceptions  [ ] closures  [ ] tail recursion  [ ] coroutines
 [ ] reflection  [x] subtyping  [ ] multiple inheritance  [ ] operator overloading
-[x] algebraic datatypes  [ ] recursive types  [ ] polymorphic types
+[x] algebraic datatypes  [ ] recursive types  [x] polymorphic types
 [ ] covariant array typing  [x] monads  [ ] dependent types
 [x] infix operators  [x] nested comments  [x] multi-line strings  [ ] regexes
 [ ] call-by-value  [ ] call-by-name  [ ] call-by-reference  [ ] call-cc
@@ -50,7 +50,7 @@ The following philosophical objections apply:
 [ ] Your language relies on an optimization which has never been shown possible
 [x] There are less than 100 programmers on Earth smart enough to use your language
 [x] ____________________________ takes exponential time
-[ ] ____________________________ is known to be undecidable
+[x] ____________________________ is known to be undecidable
 
 Your implementation has the following flaws:
 [x] CPUs do not work that way
@@ -59,8 +59,8 @@ Your implementation has the following flaws:
 [x] Compilers do not work that way
 [ ] Compilers cannot work that way
 [ ] Shift-reduce conflicts in parsing seem to be resolved using rand()
-[ ] You require the compiler to be present at runtime
-[ ] You require the language runtime to be present at compile-time
+[x] You require the compiler to be present at runtime
+[x] You require the language runtime to be present at compile-time
 [x] Your compiler errors are completely inscrutable
 [ ] Dangerous behavior is only a warning
 [ ] The compiler crashes if you look at it funny

--- a/flake.lock
+++ b/flake.lock
@@ -37,7 +37,8 @@
     "root": {
       "inputs": {
         "flake-utils": "flake-utils",
-        "nixpkgs": "nixpkgs"
+        "nixpkgs": "nixpkgs",
+        "zaha": "zaha"
       }
     },
     "systems": {
@@ -54,6 +55,29 @@
         "repo": "default",
         "type": "github"
       }
+    },
+    "zaha": {
+      "inputs": {
+        "flake-utils": [
+          "flake-utils"
+        ],
+        "nixpkgs": [
+          "nixpkgs"
+        ]
+      },
+      "locked": {
+        "lastModified": 1694533980,
+        "narHash": "sha256-ft0zP27uPVDINZscPxBDXwJ/G+dzUu1aZjzQr6H/yh4=",
+        "ref": "refs/heads/master",
+        "rev": "4df5975a87965bab9507e09ac60618dc4318231b",
+        "revCount": 61,
+        "type": "git",
+        "url": "git://riddler.local/zaha.git"
+      },
+      "original": {
+        "type": "git",
+        "url": "git://riddler.local/zaha.git"
+      }
     }
   },
   "root": "root",

--- a/flake.nix
+++ b/flake.nix
@@ -3,8 +3,15 @@
   inputs = {
     nixpkgs.url = "github:NixOS/nixpkgs/nixos-22.11";
     flake-utils.url = "github:numtide/flake-utils";
+    zaha = {
+      url = "git://riddler.local/zaha.git";
+      inputs = {
+        nixpkgs.follows = "nixpkgs";
+        flake-utils.follows = "flake-utils";
+      };
+    };
   };
-  outputs = { self, nixpkgs, flake-utils }:
+  outputs = { self, nixpkgs, flake-utils, zaha }:
     flake-utils.lib.eachDefaultSystem (system:
       let
         pkgs = import nixpkgs {
@@ -77,7 +84,7 @@
             # Honey
             python39Packages.flask purescript
             # Documentation
-            graphviz
+            graphviz zaha.packages.${system}.default
             # experimenting with Honey
             wabt binaryen
             # openapi-generator-cli yaml2json python3Packages.virtualenv

--- a/todo.txt
+++ b/todo.txt
@@ -412,7 +412,13 @@
       * Tile colors are chosen by sampling some underlying function at each
         Voronoi center!
 * Community problems
-  * https://googology.fandom.com/wiki/User_blog:JohnTromp/The_largest_number_representable_in_64_bits
+  * Long-running/fast-growing functions
+    * https://googology.fandom.com/wiki/User_blog:JohnTromp/The_largest_number_representable_in_64_bits
+    * https://codegolf.stackexchange.com/questions/79620/laver-table-computations-and-an-algorithm-that-is-not-known-to-terminate-in-zfc
+    * https://codegolf.stackexchange.com/questions/79470/write-a-program-whose-nontermination-is-independent-of-peano-arithmetic
+    * https://codegolf.stackexchange.com/questions/6430/shortest-terminating-program-whose-output-size-exceeds-grahams-number
+    * https://codegolf.stackexchange.com/questions/139355/golf-a-number-bigger-than-tree3
+    * https://codegolf.stackexchange.com/questions/18912/lifetime-of-a-worm
   * Project Euler
     * take every third element in a list
       * Useful for (1) and (2)