From c034b4a1291a803028eef8b0950a7090ea54b047 Mon Sep 17 00:00:00 2001
From: Nic Gaffney <gaffney_nic@protonmail.com>
Date: Tue, 21 Oct 2025 00:09:07 -0500
Subject: Currying, Combinators, and organization

---
 src/combinators.zig | 50 ++++++++++++++++++++++++++++++++++++++++++++++++++
 1 file changed, 50 insertions(+)
 create mode 100644 src/combinators.zig

(limited to 'src/combinators.zig')

diff --git a/src/combinators.zig b/src/combinators.zig
new file mode 100644
index 0000000..d78e40c
--- /dev/null
+++ b/src/combinators.zig
@@ -0,0 +1,50 @@
+const std = @import("std");
+const typeVerify = @import("util.zig").typeVerify;
+
+pub fn I(x: anytype) @TypeOf(x) {
+    return x;
+}
+
+pub fn K(x: anytype) fn(anytype) @TypeOf(x) {
+    return struct {
+        fn Kinner(y: anytype) @TypeOf(x) {
+            _=y;
+            return x;
+        }
+    }.Kinner;
+}
+
+fn SHelper(comptime x: anytype) type {
+    return struct {
+        pub fn call(comptime y: anytype) type {
+            return struct {
+                pub fn call(z: anytype) @TypeOf(x(z)(y(z))) {
+                    return x(z)(y(z));
+                }
+            };
+        }
+    };
+}
+
+pub fn S(comptime x: anytype) fn(anytype) fn(anytype) @TypeOf(blk: {
+    const dummy = struct {
+        fn d(a: anytype) @TypeOf(a) { return a; }
+    }.d;
+    break :blk x(dummy)(dummy);
+}) {
+    const Helper = SHelper(x);
+    return struct {
+        fn inner1(y: anytype) fn(anytype) @TypeOf(blk: {
+            const dummy = struct {
+                fn d(a: anytype) @TypeOf(a) { return a; }
+            }.d;
+            break :blk x(dummy)(y(dummy));
+        }) {
+            return struct {
+                fn inner2(z: anytype) @TypeOf(x(z)(y(z))) {
+                    return Helper.call(y).call(z);
+                }
+            }.inner2;
+        }
+    }.inner1;
+}
-- 
cgit v1.2.3