提交: a12a5d8c3511ccb1a85f4464b881de031023c5f0 - cammy (git)

A categorical programming language

Commit MetaInfo

• 修订版: a12a5d8c3511ccb1a85f4464b881de031023c5f0 (tree)
• 时间: 2022-04-09 10:29:59
• 作者: Corbin <cds@corb...>
• Commiter: Corbin

Log Message

Use CPython 2.7 instead of PyPy.

This is a nixpkgs issue, but I genuinely don't know how it'll turn out,
and I can't afford to wait for them.

更改概述

• modified: cammy-rpy/builder.nix
• modified: cammy-rpy/draw.py
• modified: hive/demo/burning-ship-color.cammy
• add: hive/list/flatten.cammy
• add: hive/list/pair.cammy
• add: hive/monads/guard.cammy
• add: hive/monads/list/add.cammy
• add: hive/monads/list/int-bind.cammy
• add: hive/monads/list/join.cammy
• add: hive/monads/list/zero.cammy
• modified: shell.nix
• modified: todo.txt

差异

--- a/cammy-rpy/builder.nix
+++ b/cammy-rpy/builder.nix
@@ -4,7 +4,7 @@ let
   inherit (nixpkgs.pkgs)
   fetchFromGitLab stdenv
   pkg-config libffi stb
-  pypy pypyPackages;
+  python2 python2Packages;
   # https://foss.heptapod.net/pypy/pypy/
   pypySrc = fetchFromGitLab {
     domain = "foss.heptapod.net";
@@ -28,9 +28,9 @@ in
     buildInputs = [
       # always required
       pypySrc pkg-config stb
-      pypy pypyPackages.py
+      python2 python2Packages.py
       # only required for JIT
-      pypyPackages.pytest libffi
+      python2Packages.pytest libffi
     ];
 
     # JELLY_PATH = "${jelly}/bin/jelly";
@@ -42,7 +42,7 @@ in
       cp -r ${pypySrc}/rpython .
       chmod -R u+w rpython/
       # Do the actual translation.
-      ${pypy}/bin/pypy -mrpython -O${opt} ${entrypoint}
+      ${python2}/bin/python2 -mrpython -O${opt} ${entrypoint}
       '';
 
     installPhase = ''

--- a/cammy-rpy/draw.py
+++ b/cammy-rpy/draw.py
@@ -1,3 +1,5 @@
+# coding: utf-8
+
 import math, sys
 
 from rpython.rlib.jit import JitDriver, unroll_safe #, set_param

--- a/hive/demo/burning-ship-color.cammy
+++ b/hive/demo/burning-ship-color.cammy
@@ -1,7 +1,7 @@
 (comp
   (comp
-    (fractal-membership-color v2/burning-ship nat/9)
-    (monads/maybe/guard (pair/of nat/lte id (fun/const nat/8))))
+    (fractal-membership-color v2/burning-ship (comp nat/16 succ))
+    (monads/maybe/guard (pair/of nat/lte id (fun/const nat/16))))
   (case
     (comp (comp nat/to-f f/radians-to-turns) h2rgb)
     (v3/broadcast f-zero)))

--- /dev/null
+++ b/hive/list/flatten.cammy
@@ -0,0 +1,3 @@
+(fold nil list/append)
+
+Flatten a list of lists into a single list.

--- /dev/null
+++ b/hive/list/pair.cammy
@@ -0,0 +1,11 @@
+(uncurry
+  (fold
+    (fun/name (fun/const nil))
+    (curry
+      (comp
+        (pair
+          (pair (comp fst fst) snd)
+          (fun/apppair (comp fst snd) snd))
+        cons))))
+
+Zip a single value into a list.

--- /dev/null
+++ b/hive/monads/guard.cammy
@@ -0,0 +1,4 @@
+(comp (pair @2 id) (uncurry (bool/if (fun/const @1) @0)))
+
+Given the unit and zero of some monad, and some filtering predicate, test a
+value in that monad.

--- /dev/null
+++ b/hive/monads/list/add.cammy
@@ -0,0 +1,3 @@
+list/append
+
+Addition in the list monad.

--- /dev/null
+++ b/hive/monads/list/int-bind.cammy
@@ -0,0 +1,3 @@
+(comp (comp list/pair (list/map (comp pair/swap fun/app))) list/flatten)
+
+Internal bind in the list monad.

--- /dev/null
+++ b/hive/monads/list/join.cammy
@@ -0,0 +1,3 @@
+list/flatten
+
+The join operation in the list monad.

--- /dev/null
+++ b/hive/monads/list/zero.cammy
@@ -0,0 +1,3 @@
+nil
+
+The zero of the list monad.

--- a/shell.nix
+++ b/shell.nix
@@ -23,9 +23,9 @@ in pkgs.stdenv.mkDerivation {
     # using cammy-repl
     rlwrap
     # working with sexps
-    ocamlPackages.sexp
+    # ocamlPackages.sexp
     # benchmarking
-    busybox feedgnuplot
+    busybox feedgnuplot linuxPackages.perf
     # publishing
     keychain mktorrent pngcrush
     # experimenting with GLSL

--- a/todo.txt
+++ b/todo.txt
@@ -63,3 +63,31 @@
 * CI: automatic generation of demo images
   * Would be nice to know how long it takes, too
   * Parameterize by number of iterations?
+* Native code generation with QBE
+  * Strategy: Emit one procedure for each expression under a (curry) or
+    (uncurry), defunctionalizing
+    * Should arity be implied, so that these procedures can take their pairs
+      as two arguments?
+  * Execution proceeds like the CAM
+    * Like ZINC?
+    * There's an accumulator, an environment stack, and a code pointer
+  * Uniform values: every value fits into the same 64-bit cell
+    * Opaque: Polymorphic values are passed as-is, cannot be inspected
+    * Unit: doesn't matter!
+    * Bools: nonzero and zero
+    * Nats: tagged union of smallnat and bignat
+      * smallnat: up to 2**63-1
+      * bignat: pointer to heap-allocated size-prefixed array
+    * Floats: IEEE 754 double-precision, native endianness
+    * Lists: pointer to heap-allocated size-prefixed array of pointers
+      * Maybe lists of bits would be stored as nats
+    * Pairs: pointer to heap-allocated array of two cells
+    * Sums: pointer to heap-allocated array of two cells
+      * The first cell is a Boolean
+      * Maybe sums of unit, bools, nats, lists, pairs can be encoded with
+        tagged pointers
+    * Homs: pointer to heap-allocated array of two cells
+      * The first cell is a code pointer
+      * The second cell is the curried data
+* fun/precomp is an ingredient of CPS transformation
+  * https://okmij.org/ftp/continuations/undelimited.html